C++虚继承

C++支持多重继承，若如图所示，BC继承于A，D继承于BC。

 若BC继承于A属于public，当创建D时，会创建2个A和1个BCD。当D调用A的成员函数（包括虚函数）时，会产生二义性，不知道应该调用哪个A。

class A
{
public:
    A() { cout << "constructor A" << endl; }
    ~A() { cout << "destructor A" << endl; }
    void show() { cout << "A" << endl; }
    virtual void test() { cout << "A test" << endl; }
};

class B: public A
{
public:
    B() { cout << "constructor B" << endl; }
    ~B() { cout << "destructor B" << endl; }
};

class C: public A
{
public:
    C() { cout << "constructor C" << endl; }
    ~C() { cout << "destructor C" << endl; }
};

class D: public B, public C
{
public:
    D() { cout << "constructor D" << endl; }
    ~D() { cout << "destructor D" << endl; }
};

int main()
{
    D d;
    d.test();    //  报错，d.test() 不明确
    d.show();    //  报错，d.show() 不明确
    
    return 0;
}

 

 若将BC继承A改为virtual public，那么创建D时，只会创建1个ADCD，且调用A的成员函数不会产生二义性。

 

 扩展：使用 virtual 继承的那些 classes 所产生的对象往往比使用 non-virtual 继承的体积大，访问 virtual base classes 的成员变量时，也比访问 non-virtual base classes 的成员变量速度慢。你得为 virtual 继承付出代价。（来自EFFECTIVE C++）

忠告：第一，非必要不使用 virtual bases。平常使用 non-virtual 继承。第二，如果必须使用 virtual base classes ，尽可能避免在其中放置数据。这样就不需要担心这些 classes 初始化（和赋值）所带来的诡异事情了。（来自EFFECTIVE C++）