菱形虚拟继承子类的重写问题

继承环节时，菱形虚拟继承解决了菱形继承的数据冗余和二义性问题。菱形虚拟继承在多态中使用会出现一些问题，有如下代码：

class A
{
public:virtual void func() {}int _a;
};
//继承A
class B : virtual public A
{
public:virtual void func() {}virtual void func1() {}int _b;
};
//继承A
class C : virtual public A
{
public:virtual void func() {}int _c;
};
//继承B和继承C
//当B和C都采用虚继承继承A，并且重写了A中的func虚函数，D继承了B和C，D必须重写A中的func虚函数
//否则D无法知道将B的虚函数写入虚表中还是将C的虚函数写入虚表中
class D : public B,  public C
{
public://必须重写func//virtual void func() {}int _d;
};int main()
{D d;d.B::_a = 1;d.C::_a = 2;d._b = 3;d._c = 4;d._d = 5;return 0;
}

运行如上代码，编译器报错，报错如下：

当B和C都采用虚继承继承A，并且重写了A中的func虚函数，D继承了B和C，D必须重写A中的func虚函数，否则D无法知道将B的虚函数写入虚表中还是将C的虚函数写入虚表中，因此D必须重写func函数。

菱形虚拟继承中的偏移量补充

(1条消息) c++——继承_Hiland.的博客-CSDN博客

将上述代码修改后运行并查看内存窗口里的偏移量时，之前发现偏移量上方还有一个00000000的数据，在多态时使用到了该数据。如下图：

此时由于B类增加了一个虚函数，所以B中有一个对应的虚表，根据内存窗口查看得知第二个就是之前在继承阶段每个类距离a的偏移量，查询b中的偏移量地址，发现如下图：

本该在继承阶段的那个00000000 变成了fcffffff，这个其实是该类到虚表的偏移量，所以该值是在多态中使用到的。

逆向思维——汇编查看多态中被重写的虚函数

当我们在vs下针对多继承问题想查看子类后面的虚函数时会使用以下代码：

class Base1 {
public:virtual void func1() { cout << "Base1::func1" << endl; }virtual void func2() { cout << "Base1::func2" << endl; }
private:int b1;
};
class Base2 {
public:virtual void func1() { cout << "Base2::func1" << endl; }virtual void func2() { cout << "Base2::func2" << endl; }
private:int b2;
};
class Derive : public Base1, public Base2 {
public:virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func3" << endl; }
private:int d1;
};
typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{cout << " 虚表地址>" << vTable << endl;for (int i = 0; vTable[i] != nullptr; ++i){printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);VFPTR f = vTable[i];f();}cout << endl;
}
int main()
{Derive d;VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);//Base1类PrintVTable(vTableb1);VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d + sizeof(Base1)));//Base2类PrintVTable(vTableb2);return 0;
}

我们已经查看了派生类的虚函数也进了虚表中，但是在vs的监视窗口中我们发现了基类和派生类的func1函数地址不同，在debug下查看监视窗口，出现如下图的情况：