C++对象存储空间探讨

对象的存储空间

一个对象要占用多大的内存空间，权威结论是：非静态成员变量总和加上编译器为CPU数据对齐和支持虚函数所产生的负担的总和。

#include <iostream>
using namespace std;
class Box {

};
int main() {
	Box boxobj;
	cout << sizeof(boxobj) << endl;
	return 0;
}

程序执行结果为
1

空类型对象中不包含任何信息，但是创建对象时必须在内存中占用一部分空间，至于占多少内存由编译器决定。C++中每个空类型实例占用1个字节空间。

#include <iostream>
using namespace std;
class Box {
private:
	int length, width, height;
};
int main() {
	Box boxobj;
	cout << sizeof(boxobj) << endl;
	return 0;
}

程序执行结果
12  

类中有3个成员变量，由于整型变量占用4个字节，对象占用空间为12个字节。

#include <iostream>
using namespace std;
class Box {
private:
	int length, width, height;
	static int count;
};
int main() {
	Box boxobj;
	cout << sizeof(boxobj) << endl;
	return 0;
}

程序执行结果
12

类中有3个成员变量和1个静态成员变量，程序执行结果仍是12，证明静态数据成员不占用对象的内存空间，静态数据成员是与类的存储空间所绑定的。

#include <iostream>
using namespace std;
class Box {
public:
	Box() {}
	~Box() {}
};
int main() {
	Box boxobj;
	cout << sizeof(boxobj) << endl;
	return 0;
}

程序执行结果
1

类中有构造函数和析构函数，对象仍是1个字节，构造函数和析构函数是不占用空间的。

#include <iostream>
using namespace std;
class Box {
public:
	Box() {}
	virtual ~Box() {}
};
int main() {
	Box boxobj;
	cout << sizeof(boxobj) << endl;
	return 0;
}

程序执行结果
8

类中有构造函数和虚析构函数，占用8个字节，编译器为了支持虚函数产生额外的负担，正是虚函数表的指针的大小（指针变量在64位机器上占用8个字节）。

#include <iostream>
using namespace std;
class A {

};
class B {

};
class C: public A {

};
class D: public virtual B {

};
class E: public A, public B {

};
int main() {
	A a;
	B b;
	C c;
	D d;
	E e;
	cout << sizeof(a) << endl;
	cout << sizeof(b) << endl;
	cout << sizeof(c) << endl;
	cout << sizeof(d) << endl;
	cout << sizeof(e) << endl;
}

程序执行结果
1
1
1
8
1

空类A和B，类C继承了类A，类D继承了虚基类B，类E继承了类A和类B。单一继承空类的空间是1，多继承空类的空间还是1，涉及虚继承和虚表就有多余的负担，指向虚函数表的指针空间，8个字节。