08-15 关于类对象大小的 sizeof 计算问题 .

一、类对象大小的 sizeof 计算问题 .

首先，来看看一个只有构造函数和析构函数的空类：

#include <iostream>
using namespace std;
class Base
{
public:
Base();
~Base();
};
int main(int argc, char *argv[])
{
cout << sizeof(Base) << endl;
}

输出结果为：1

      因为一个空类也要实例化，所谓类的实例化就是在内存中分配一块地址，每个实例在内存中都有独一无二的地址。同样空类也会被实例化，所以编译器会给空类隐含的添加一个字节，这样空类实例化之后就有了独一无二的地址了。所以空类的sizeof为1。 而析构函数，跟构造函数这些成员函数，是跟sizeof无关的，也不难理解因为我们的sizeof是针对实例，而普通成员函数，是针对类体的，一个类的成员函数，多个实例也共用相同的函数指针，所以自然不能归为实例的大小。

     如果给这个类添加成员变量，最后输出的大小就是这些成员变量的大小之和（这里涉及到一个成员对齐问题，不再叙述了）。

接下来再来看一个有继承的例子：

#include <iostream>
using namespace std;
class Base
{
public:
	Base();                
	~Base();         
	void set_num(int num)    //普通成员函数
	{
		a=num;
	}
private:
    int  a;                  //占4字节
    char *p;                 //4字节指针
};
class Derive:public Base
{
public:
	Derive():Base(){};     
	~Derive(){};
private:
	static int st;         //非实例独占
        int  d;                //占4字节
};
int main(int argc, char *argv[]) 
{ 
	cout<<sizeof(Base)<<endl;
	cout<<sizeof(Derive)<<endl;
	return 0;
}

输出结果为：8   12

结果很显然， Base 类按4字节对齐，所以是8个字节，Derive 类中不但继承了Base 类的两个成员变量，还多了两个成员变量，但大小却只有12字节，可以得出：静态变量在计算时是不做考虑的。

上面的例子中都没有涉及到虚函数，下面看个有虚函数的例子：

#include <iostream>
using namespace std;
class Base
{
public:
	Base() {}
	virtual ~Base() {}
};
int main(int argc, char *argv[])
{
	cout << sizeof(Base) << endl;
	return 0;
}

 

输出结果为：4

      和第一个程序相比，这个类中，析构函数变成了虚函数，类的大小也变成了4字节，这是因为有了虚函数，编译器就会为类创建一个虚函数表(vtable)，并创建一个指针(vptr)指向这个虚函数表。所以类大小变为4字节。如果在 Base 类中再添加新的虚函数，该类的大小还是不会变，因为指向虚函数的指针是放在虚函数表中的，指向虚函数表的指针不会变。

如果在这个类中添加数据成员，就会在4字节的基础上对象大小。

下面再来看看虚函数的继承问题：

#include <iostream>
using namespace std;
class Base
{
public:
	Base();                
	virtual ~Base();         
	void set_num(int num)    //普通成员函数
	{
		a=num;
	}
private:
    int  a;                  //占4字节
    char *p;                 //4字节指针
};
class Derive:public Base
{
public:
	Derive():Base(){};     
	~Derive(){};
	virtual void foo() { }
private:
	static int st;         //非实例独占
        int  d;                //占4字节
};
int main(int argc, char *argv[]) 
{ 
	cout<<sizeof(Base)<<endl;
	cout<<sizeof(Derive)<<endl;
	return 0;
}

输出结果为：12    16

         如果有虚函数，则sizeof值为类的数据成员的大小加上VTBL（指针，4字节），再加上其基类的数据成员的大小。如果是多重继承，还得加上各基类的VTBL。

 多重继承
        此时子类的布局是 : 由低地址->高地址  为父类p1的元素(p1按照实际情况确定元素中是否包含vptr), 父类p2的元素(p2按照实际情况确定元素中是否包含vptr),子类的元素.
        如果所有父类都没有vptr,那么如果子类定义了新的virtual function,那么子类的元素中会有vptr,对应的vtable会有相应的函数指针.
       如果有的父类存在vptr,我感觉如果子类定义的新的virtual function,会加在第一个有vptr的父类的vtable中.因为子类分配的空间显示并没有新增加一个4字节的指针空间.

         Base类的大小为12字节很显然，Derive 类中，虽然有一个虚函数 foo ，但是因为它是从Base 类继承的，所以也继承了其虚函数表，并没有创新新的虚函数表，只是在继承下来的表中添加了一项，所以大小为16字节。

再来看看一个虚继承的例子：

#include <iostream>
using namespace std;
class Base
{
public:
	Base();                
	virtual ~Base();         
	void set_num(int num)    //普通成员函数
	{
		a=num;
	}
private:
    int  a;                  //占4字节
    char *p;                 //4字节指针
};
class Derive:virtual public Base
{
public:
	Derive():Base(){};     
	~Derive(){};
	virtual void foo() { }
private:
	static int st;         //非实例独占
        int  d;                //占4字节
};
int main(int argc, char *argv[]) 
{ 
	cout<<sizeof(Base)<<endl;
	cout<<sizeof(Derive)<<endl;
	return 0;
}

输出结果为：12    24

      这里由于虚继承而引入了一个间接的指针(vbc)，该指针是指向虚函数表的一个slot，表中存放着该slot中存放虚基类子对象的偏移量的负值。所以大小比之前多了4字节。就算同时虚继承自两个类，也只会有一个这样的间接指针，也就是大小也只多4字节。

 

从二总结到有虚继承时求类的大小的方法：

该类的虚函数指针+该类的成员（不包括继承来的）+间接指针+父类大小

比如最后一个例子：4（vfptr_Derive）+4(d)+4(vbtbl_ptr_Derive)+12(Base)=24

 

二、虚继承之单继承的内存布局

先看一段代码

class A
{
      virtual aa(){};
};

class B : public virtual  A
{
      char j[3];                                    //加入一个变量是为了看清楚class中的vfptr放在什么位置
      public:
            virtual bb(){};
};
class C : public virtual B
{
      char i[3];
      public:
            virtual cc(){};
};

这次先不给结果，先分析一下，也好加强一下印象。
1、对于class A，由于只有一个虚函数，那么必须得有一个对应的虚函数表，来记录对应的函数入口地址。同时在class A的内存空间中之需要有个vfptr_A指向该表。sizeof（A）也很容易确定，为4。
2、对于class B，由于class B虚基础了class A，同时还拥有自己的虚函数。那么class B中首先拥有一个vfptr_B，指向自己的虚函数表。还有char j[3]，做一次alignment，一般大小为4。可虚继承该如何实现咧？首先要通过加入一个虚l类指针（记vbptr_B_A）来指向其父类，然后还要包含父类的所有内容。有些复杂了，不过还不难想象。sizeof（B）= 4＋4＋4＋4＝16（vfptr_B、char j[3]做alignment、vbptr_B_A和class A）。
3、在接着是class C了。class C首先也得有个vfptr_C，然后是char i[3]，然后是vbptr_C_B，然后是class B，所以sizeof（C）＝4＋4＋4＋16＝28（vfptr_C、char i[3]做alignment、vbptr_C_A和class B）。

在VC 6.0下写了个程序，把上面几个类的大小打印出来，果然结果为4、16、28。

VC中虚继承的内存布局——单继承
画了个图，简单表示一下我跟踪后的结果

虚基础之单继承时的内存布局图

class A的情况太简单，没问题。从class B的内存布局图可以得出下面的结论。
1、vf_ptr B放在了类的首部，那么如果要想直接拿memcpy完成类的复制是很危险的，用struct也是不行的。

2、vbtbl_ptr_B，为什么不是先前我描述的vbptr_B_A呢？因为这个指针与我先前猜测的内容有很大区别。这个指针指向的是class B的虚类表。看看VB table，VB table有两项，第一项为FFFFFFFC，这一项的值可能没啥意义，可能是为了保证虚类表不为空吧。第二项为8，看起来像是class B中的class A相对该vbtbl_ptr_B的位移，也就是一个offset。类似的方法在C＋＋ Object Model（P121）有介绍，可以去看看。
class C的内存布局就比较复杂了，不过它的内存布局也更一步说明我对vbtbl_ptr_B中的内容，也就是虚类表的理解是正确的。不过值得关注的是class B中的class A在布局时被移到前面去了，虽然整个大小没变，但这样一来如果做这样的操作  C c; B *b;b=&c;时b的操作如何呢？此时只要从c的虚类表里获得class B的位置既可赋值给b。但是在构建class C时会复杂一些，后面的使用还是非常简单的，效率也比较高。class A的内存布局被前移可能是考虑倒C的虚继承顺序吧。

结论
1、VC在编译时会把vfptr放到类的头部；
2、VC采用虚表指针（vbtbl_ptr）来确定某个类所继承的虚类。
3、VC会重新调整虚继承的父类在子类中内存布局。（具体规则还不清楚）
4、VC中虚类表中的第一项是无意义的，可能是为了保证sizeof（虚类表）!=0;后面的内容为父类在子类中相对该虚类表指针的偏移量。