C++虚基类的实现机制：笔记

在《深度探索C++对象模型》里，有一个问题，也是去公司面试的时候那些技术人员常问的问题：在C++中，obj是一个类的对象，p是指向obj的指针，该类里面有个数据成员mem，请问obj.mem和p->mem在实现和效率上有什么不同。


答案是：只有一种情况下才有重大差异，该情况必须满足以下3个条件：

（1）、obj 是一个虚拟继承的派生类的对象
（2）、mem是从虚拟基类派生下来的成员
（3）、p是基类类型的指针

当这种情况下，p->mem会比obj.mem多了两个中间层。（也就是说在这种情况下，p->mem比obj.mem要明显的慢，呵呵）

WHY？

如果好奇心比较重的话，请往下看 :)


1、虚基类的使用，和为多态而实现的虚函数不同，是为了解决多重继承的二义性问题。

举例如下：

class A
{
public:
    int a;
};

class B : virtual public A
{
public:
   int b;
};

class C :virtual public A
{
public:
   int c;
};

class D : public B, publi