虚拟继承下 Virtual Function 的语意

考虑下面的 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 , 如果这么做, 你会距离复杂的深渊越来越近, 终不可拔.