深度探索C++ 对象模型(7)-Data member的布局(虚继承)

• 虚拟继承
  

namespace ObjectMultiDerived {
   class Point2d {
   	public:
   		// has virtual functions
   		virtual void print() {};
   	private:
   		float _x;
   		float _y;
   }; 
   class Point3d : public virtual Point2d {        // virtual inheritance
   	public:
   		virtual void Point3dPrint() {};
   	private:
   		float _z;
   }; 
   class Vertex : public virtual Point2d {         // virtual inheritance
   	public:
   		// has virtual functions
   		virtual void VertexPrint() {};
   	private:
   		Vertex* next;
   }; 
   class Vertex3d : public Point3d, public Vertex {
   	public:
   		// ...
   	private:
   		float mumble;
   };
   void test()
   { 
   	cout << "Point2d类、Point3d类、Vertex、Vertex3d类的大小:" << sizeof(Point2d) << " " 
   	<< sizeof(Point3d) << " " << sizeof(Vertex) << " " << sizeof(Vertex3d) << endl;
   }
}

布局分为两种情况

• windows方案

ObjectConDerived::test();//输出结果：Point2d类、Point3d类、Vertex、Vertex3d类的大小:12 24 24 40
- virtual base class subobject部分在最后面，而base class根据继承的顺序依次排列
- 在每一个derived class object中安插了一个指针，这个指针用来指向virtual base class subobject（共享部分）//缺点:占空间
- 因此要对共享部分进行存取，可以通过相关指针间接

• unix方案

ObjectConDerived::test();//输出结果???
- 在virtual function table 中放置virtual base class的offset（不是地址）
- 共享局部的位置会因为每次的派生而发送变化
- 虚拟继承串链的加长，导致间接存取层次的增加。例如：如果我们有三层虚拟衍化，我就需要三次间接存取（经由三个virtual base class指针）。解决方案有：拷贝所有的virtual base class 的指针到drived class中。这样就解决了存取时间的问题，虽然会有空间的开销。



【引用】
[1]: <<深度探索C++ 对象模型 Inside The C++ Object Model >> Stanley B.Lippman 候捷 译
[2]: 代码地址 https://github.com/thefistlei/cplusStudy.git