C++中菱形继承中继承不明确问题
class A { public: virtual void func1() { cout << "A::func1()" << endl; } int _a; }; class B:virtual public A { public: virtual void func1() { cout << "B::func1()" << endl; } int _b; }; class C:virtual public A { public: virtual void func1() { cout << "C::func1()" << endl; } int _c; }; class D:public B,public C { public: int _d; }; int main(void) { D d; return 0; }
这段代码是会直接报错的。
那么这是为什么呢？
因为B、C都虚继承于A，主要用于解决数据冗余，但这就会导致在D创建的时候只有一个A的实例，又由于D是多继承，继承了B和C，所以在D当中存在两个虚函数表，但又因为B、C都自己重写了A当中的func1，所以最终会导致如果D去调用func1()的时候不知道调用哪一个，会产生二义性。
虚继承会使得子类共享一个基类的实例，避免了基类在子类中的多次复制
假如有三个类A B C，B和C虚继承A，如果B和C分别重写A当中的test()，是不是重写之后这个test就不再共享了，其他的还是共享。
如果类B和类C分别重写类A中的虚函数test()，那么这个函数就不再被共享，而是存在于类B和类C的虚函数表中的各自实现。此时，在类D中调用这个函数时，需要根据需要分别调用类B和类C中的实现，而不能直接调用类A中的实现。
其他的虚函数仍然是共享的，因为虚继承会使得类B和类C共享同一个类A的实例，包括类A中的其他虚函数。虚继承只会影响基类在派生类中的布局和存储方式，而不会影响函数的重写行为。函数的重写行为是基于函数名称和参数列表的匹配，与虚继承无关。因此，如果类B和类C不重写类A中的其他虚函数，那么这些函数仍然会被共享。
class A { public: virtual void func1() { cout << "A::func1()" << endl; } int _a; }; class B:virtual public A { public: virtual void func1() { cout << "B::func1()" << endl; } int _b; }; class C:virtual public A { public: virtual void func1() { cout << "C::func1()" << endl; } int _c; }; class D:public B,public C { public: virtual void func1() { cout << "D::func1()" << endl; } int _d; };
正确的代码应该是这样的，不过一般不建议使用菱形继承，这样会特别麻烦，能不用就别用。
