透视C++对象模型

 一、c++对象模型

   在C++中，有两种类数据成员：静态和非静态，以及三种类成员函数：静态、非静态和虚拟。比如下面的class Point的声明：

   class Point { pulic: Point (float xval) virtual ~point(); float x() const; static int PointCount(); protected: virtual ostream& print (ostream &os) const; float _x; static int _point_count; }

    C++对象模型对内存空间和存取时间做了优化。在此模型中，在cfront2.0编译器中，非静态数据成员配置于每一个类对象内；静态数据成员则存放于所有类对象之外（比如存放在data segment中）；虚函数则分两个步骤来进行支持：

1. 每一个类 产生一个虚表，除第1个slot指向类的type_info外，虚表中的每个slot为一个虚函数的指针。

2. 每一个类对象添加一个指针数据成员vptr，指向相关的虚表

 

以上面的Point类为例，对象模型如下：

 

  二、含有虚基类的多重继承

    值得注意的是，虚表已经成为一种公认的方法支持虚函数，而对于虚基类的支持不同编译器有自己的方式：在VC在每个类中增加了一个虚基类表，同时在添加一个指针数据成员指向这个虚基类表；而有些编译器如cfront喜欢在虚表中放置虚基类的offset。

    比如Point2d，Point3d类的声明：

    class Point2d { public: ... void operator += (const Point2d& rhs) { _x += rhs.x(); _y += rhs.y(); } protected: float _x, _y; } class Point3d: public virtual Point2d { public: ... void operator += (const Point3d& rhs) { Point2d::operator +=( rhs) _z += rhs.z(); } protected: float _z }

在cfront中的布局如下：

  采用上述布局，则在cfront实现模型之下，因为类的数据成员（比如基类，此例中派生类的数据成员_z的offset没变）operator运算符必须转换成如下形式：

        //虚拟c++码

       (this + _vptr_Point3d[-1])->_x += (&rhs + rhs._vptr_Point3d[-1])->_x ;

       (this + _vptr_Point3d[-1])->_y += (&rhs + rhs._vptr_Point3d[-1])->_y ;

       _z += rhs._z

 

三、对象的大小

    在实际计算类的大小的过程中，可能和我们想象的不同，主要可能是以下两个方面造成的：

1. 因为需要支持虚函数、虚基类所增加的指针数据成员（比如虚表指针vptr、虚基类指针bptr。在32位机器上，指针的大小均为4个字节）。

2. 字节对齐。每个类按照数据成员大小的最大值进行字节对齐。

按这种计算方法，使用cfront的对象实现模型：Point2d对象的大小为4+4+4=12字节，Point3d对象的字节为16字节。