之所以写这篇《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类中有多个虚函数。仅仅算一次))。

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

加油。放平心态。念念不忘,必有回响!

!!