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;
};

正确的代码应该是这样的，不过一般不建议使用菱形继承，这样会特别麻烦，能不用就别用。