先上代码:
#include <iostream>
using namespace std;
class B {
public:
virtual void fun0() {
cout << "B" << endl;
}
};
class B1 : public virtual B {
public:
virtual void fun1() {
cout << "B1" << endl;
}
};
class B2 : public virtual B {
public:
virtual void fun2() {
cout << "B2" << endl;
}
};
class D : public B1, public B2 {
public:
virtual void fun() {
cout << "D" << endl;
}
};
int main() {
D *pd = new D();
B2 *pb2 = pd;
void ***p = (void***)pb2;
cout << **p << endl;
pb2->fun0();
return 0;
}
最后输出结果为:
0
B
上面运行结果说明当派生类D指针被转换为基类B2指针,且该基类拥有虚基类B,派生类的另一基类B1也有该虚基类,B1在D中的继承顺序先于B2,则这个转换后的B2指针的虚函数表中对应于虚基类B的值均为0。
然而程序最终正确输出了B,即B的虚函数fun0打印的信息。这就说明最终程序能正确找到fun0的入口。编译器是如何做到的?