C++中菱形继承中继承不明确问题
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;
};
正确的代码应该是这样的,不过一般不建议使用菱形继承,这样会特别麻烦,能不用就别用。