C++类的实例化对象的大小之sizeof()

之所以写这篇《C++类的实例化对象的大小之sizeof()》。是由于在參加笔试的时候遇到例如以下这么一道题，当时感觉就是这个一个坑，但。我还是义无反顾的跳了下去，由于存在知识点盲区啊。现，总结一下。你不知道的C++类的实例化对象的大小之sizeof()。

class D
{
public:
	D()
	{

	}

	virtual ~D()
	{

	}

private:
	int a ;
	char *p;
};

实例一：

class A
{
};

A a;
cout << sizeof(a) << endl;

执行结果：1

解释：空类，没有不论什么成员变量或函数。即没有不论什么存储内容；可是由A a可知，空类仍然可以实例化。一个类可以实例化，编译器就需给它分配内存空间，来指示类实例的地址。这里编译器默认分配了一个字节，以便标记可能初始化的类实例。同一时候使空类占用的空间最少（即1字节）。

实例二：

class B
{
private:
	int a;
};
B b;
cout << sizeof(b) << endl;

执行结果：4

解释：当类中有其他成员占领空间时，那一个字节就不算在内了，如本题：结果是4，而不是1+4=5。

实例三：

class BB
{
private:
	int a ;
	char b;
};
BB bb;
cout << sizeof(bb) << endl;

执行结果：8

解释：什么？怎么会是8？不应该是4 + 1 = 5吗？这里考察了对齐，涉及到编译器的优化。

对于大多数CPU来说，CPU字长的整数倍操作起来更快，因此对于这些成员加起来不够这个整数倍，有可能编译器会插入多余的内容凑足这个整数倍。此外，有时候相邻的成员之间也有可能由于这个目的被插入空白，这个叫做“补齐”（padding）。所以，C++标准紧紧规定成员的排列依照类定义的顺序，可是不要求在存储器中是紧密排列的。因此，如上的一个字节的char在存储时被补全了，成为了4个字节。

实例四：

class C
{
private:
	int a ;
	char *p;
};
C c;
cout << sizeof(c) << endl;

执行结果：8

解释：普通情况下，假设是指针，则不管指针指向的是什么数据类型，都占4个字节的存储空间。

实例五：

class D
{
public:
	D()
	{

	}

	virtual ~D()
	{

	}

private:
	int a ;
	char *p;
};
D d;
cout << sizeof(d) << endl;

执行结果：12

解释：考察虚函数。当类含有虚函数时，（不论是自己的虚函数，还是继承来的），那么类中就有一个成员变量信息：虚函数指针（4个字节）。这个指针指向一个虚函数表，虚函数表的第一项是类的typeinfo信息，之后的项为此类的全部虚函数的地址。

更进一步的解释：当类中有虚函数的时候，编译器会为类插入一个我们看不及爱你的数据并建立一个表。这个表就是虚函数表。那个我们看不见的数据就是指向虚函数表的指针——虚表指针。虚函数表就是为了保存类中的虚函数的地址。

我们能够把虚函数表理解成一个数组，数组中的每一个元素存放的就是类中虚函数的地址。当调用虚函数的时候，程序不是像普通函数那样直接跳到函数的代码处，而是先取出虚表指针即得到虚函数表的地址，依据这个来到虚函数表里，从这个表理取出该函数的指针。最后调用该函数。

实例六：

class E
{
public:
	E()
	{

	}

	virtual ~E()
	{

	}

private:
	int a ;
	char *p;
	static int b;
};
E e;
cout << sizeof(e) << endl;

执行结果：12

解释：考察静态成员变量的内存分配。

因为静态成员变量是在静态存储区分配空间的，它不属于实例的一部分。因此类中的static成员变量不占领空间。

实例七：

class F:public E
{
public:
	F()
	{

	}

	~F()
	{

	}

private:
	int c;
};
E e;
cout << sizeof(e) << endl;

执行结果：16

解释：派生类对象的存储空间 = 基类存储空间 + 派生类特有的非static数据成员的空间

实例八：

class G: public virtual E
{
public:
	G()
	{

	}

	~G()
	{

	}

private:
	int c;
};
G g;
cout << sizeof(g) << endl;

执行结果：20

解释：假设是虚继承的话，类对象的存储空间大小 = 基类的存储空间 + 派生类特有的非static数据成员的存储空间 + 每个类的虚函数存储空间（这个是额外加的。即依照这个公式。sizeof(g) = 12(E基类的存储空间) + 4(G特有的非static数据成员的存储空间) + 4（E类的虚函数的存储空间。假设E类中有多个虚函数，仅仅算一次））。

实例九：

class H: public virtual E
{
public:
	H()
	{

	}

	~H()
	{

	}

	virtual void GetValue()
	{

	}

private:
	int c;
};
H h;
cout << sizeof(h) << endl;

执行结果：24

解释：对照实例八，依照上面的解释：类对象的存储空间大小 = 基类的存储空间 + 派生类特有的非static数据成员的存储空间 + 每个类的虚函数存储空间（sizeof(h) = 12(E基类的存储空间) + 4(G特有的非static数据成员的存储空间) + 4（E类的虚函数的存储空间，假设E类中有多个虚函数，仅仅算一次）+ 4（H类的虚函数的存储空间，假设H类中有多个虚函数。仅仅算一次））。

如上，就是我对于这样的类型的总结，这样的问题仅仅能出现一次！

！

！

加油。放平心态。念念不忘，必有回响！

！！