考虑下面的 virtual base class 派生体系:

class Point2d{public:    Point2d(float = 0.0, float = 0.0);    virtual ~Point2d();    virtual void Mumble();    virtual float Z();    //...protected:    float _x, _y;};class Point3d:public virtual Point2d{public:    Point3d(float = 0.0, float = 0.0, float = 0.0);    ~Point3d();    float Z();protected:    float _z;};

虽然 Point3d 有唯一的(同时也是最左边的) base class, 也就是 Point2d, 但 Point3d 和 Point2d 的起始部分并不像非虚拟的单一继承情况那样一致, 这种情况具体如下图, 由于 point2d 和 Point3d 的对象不再相符, 两者之间的转换也就需要调整 this 指针, 至于在虚拟继承的情况下要消除 thunks, 一般而言,已经被证明是一项高难度技术.

当一个 virtual base class 从另一个 virtual base class 派生而来, 并且两者都支持 virtual functions 和 nonstatic data members 时, 编译器对于 virtual base class 的支持简直像是进了迷宫. 所以只需记住: 不要在一个 virtual base class 中声明 nonstatic data members , 如果这么做, 你会距离复杂的深渊越来越近, 终不可拔.

虚拟继承下 Virtual Function 的语意