学步园

问题描述：

1. 假设有基类CBase

2. 类CInherit1继承了此基类

3. 类CInherit2继承了此基类

4. 类CFinalInherit同时继承了CInherit1和CInherit2

//5. 如今要用CBase *p指针指向new CFinalInherit对象

代码如下：

#include <iostream><br /> using namespace std;<br /> // 基类<br /> class CBase<br /> {<br /> public:<br /> CBase(){ cout<<"CBase constructor."<<endl; }<br /> virtual ~CBase(){ cout<<"CBase deconstructor."<<endl; }<br /> };<br /> // 第一个继承类<br /> class CInherit1<br /> : public CBase<br /> {<br /> public:<br /> CInherit1(){ cout<<"CInherit1 constructor."<<endl; }<br /> virtual ~CInherit1(){ cout<<"CInherit1 deconstructor."<<endl; }<br /> };<br /> // 第二个继承类<br /> class CInherit2<br /> : public CBase<br /> {<br /> public:<br /> CInherit2(){ cout<<"CInherit2 constructor."<<endl; }<br /> virtual ~CInherit2(){ cout<<"CInherit2 deconstructor."<<endl; }<br /> };<br /> // 最终继承类<br /> class CFinalInherit<br /> :public CInherit1<br /> ,public CInherit2<br /> {<br /> public:<br /> CFinalInherit(){ cout<<"CFinalInherit constructor."<<endl; }<br /> ~CFinalInherit(){ cout<<"CFinalInherit deconstructor."<<endl; }<br /> };<br /> // 入口函数<br /> void main()<br /> {<br /> cout<<"调用构造函数："<<endl;<br /> CFinalInherit *pfi = new CFinalInherit();<br /> cout<<endl<<"调用析构函数："<<endl;<br /> delete pfi;<br /> }<br />

上述代码实现了1~4步，输出如下：

调用构造函数：<br /> CBase constructor.<br /> CInherit1 constructor.<br /> CBase constructor.<br /> CInherit2 constructor.<br /> CFinalInherit constructor.<br /> 调用析构函数：<br /> CFinalInherit deconstructor.<br /> CInherit2 deconstructor.<br /> CBase deconstructor.<br /> CInherit1 deconstructor.<br /> CBase deconstructor.

如果把第五步的注释取消。即：

CBase *pfi = new CFinalInherit();

会产生错误，如下（MS VC9.0）：

error C2594: “初始化”: 从“CFinalInherit *”到“CBase *”的转换不明确

这时，需要使用C++的虚继承机制来消除这种二义性。

修改CInherit[12]对CBase的继承方式为：virtual public CBase

执行结果如下：

调用构造函数：<br /> CBase constructor.<br /> CInherit1 constructor.<br /> CInherit2 constructor.<br /> CFinalInherit constructor.<br /> 调用析构函数：<br /> CFinalInherit deconstructor.<br /> CInherit2 deconstructor.<br /> CInherit1 deconstructor.<br /> CBase deconstructor.

这样就正常了，看输出结果，就可以知道virtual 继承比较“明智”。它能辨别CBase是否已经构造过了，如果是，就不需要在构造第二次了。普通继承没这功能，所以就为CInherit1构造一次后，遇到CInherit2还“紧闭着双眼”要再构造一次。