http://blog.csdn.net/mooke/article/details/6441252?locationNum=4&fps=1
最近在翻Bjarne Stroustrup的《C++程序设计语言》,如他所说,C++在设计时拒绝了要求必须在每个对象里存储某种“簿记信息”,今天特意做了下试验:
#include <iostream>
#include <cstdlib>
#include <limits>
using namespace std;
class CTestA{};
class CTestA_comp{
public:
CTestA_comp(){ x=numeric_limits<int>::max();}
private:
int x;
};
class CTestB
{
public:
CTestB(){};
~CTestB(){};
void fun(){};
};
class CTestC
{
void fun(){int x;};
virtual void f(){};
virtual void g(){};
};
class CTestD
{
int n;
char cha;
char chb;
};
int main()
{
cout<<"size of CTestA: "<<sizeof(CTestA)<<endl;
cout<<"size of CTestA_comp: "<<sizeof(CTestA_comp)<<endl;
cout<<"size of CTestB: "<<sizeof(CTestB)<<endl;
cout<<"size of CTestC: "<<sizeof(CTestC)<<endl;
cout<<"size of CTestD: "<<sizeof(CTestD)<<endl;
system("pause");
}
我用windows7 32bit 下的 Dev-C++ 4.9.9.2版进行编译连接,编译器用的是g++(dev默认),编译器什么版本不太清楚。
得到结果如下:
----------------------------
size of CTestA: 1
size of CTestA_comp: 4
size of CTestB: 1
size of CTestC: 4
size of CTestD: 8
----------------------------
可见空类还是占了1个字节的空间,这里不是很理解,于是网上找了下答案,这里有种说法是:
“空类占字节是为了区分同类的不同对象” (http://topic.csdn.net/u/20091114/22/6a4eba99-4562-44c9-8ef0-9565f39fc015.html)见一楼。
另外这里更加详细一些:http://www.cppblog.com/windcsn/archive/2011/04/15/144174.html (C++中结构体和类有大量相似点)
这里更加本质:http://www.spongeliu.com/clanguage/why-not-null/
那么为什么非空类就不需要这个字节呢?还是实际上产生了一个字节的内存消耗,但通过类内部优化来记录,或者是干脆在内存其他地方申请了这个空间交给C++Runtime或者操作系统管理呢?
我为前者设计了CTestA_comp类,将x的值设为最大,这样大概就无法通过压缩空间来塞进这1个字节了。结果证明,依然只有一个int的开销,看来后者可能性居多。不过既是这样,那么Stroustrup关于C++不要求“每个”对象都必须存储某种簿记信息的说法就得到验证了。
CTestB类用于验证类中是否存储成员函数的相关信息,结果显示是1。看来普通成员函数的信息并不存储在类信息中,如果把CTestB进行实例化,再进行测量会得到一样的结果。应该也是交由其他某种机制去管理了。
CTestC类的意图主要是为了测试虚表的。已知定义或继承了虚函数的类会产生一个隐藏的虚表指针vptr,为了进一步验证带虚函数的类的特点,后来我把两个虚函数改成纯虚函数(即去掉()并加上=0),得到占用空间依然是4,可见无论是否是纯虚函数,还是带实现的虚函数,都会存在虚表,并占用4字节空间。由于对指针类型了解的并不详细,后来我又做实验测量几乎所有指针类型的长度,得到的结果一律是4。
CTestD类是为了测量成员变量中出现非整形或指针的情况而设计的,结果显示,该编译环境下除了空类占用1以外,其余情况类会自动向4字节进行内存补齐(超过4变成8,超过8变成12...)。
另一篇博客分析如下:
类所占的空间 = 类成员变量所占空间 + 4(如果存在虚函数的话);
注意:
1、类成员所占的空间可能会涉及到内存数据对齐的问题,需要谨慎考虑;
1)当成员变量的长度都小于处理器位数时,所有成员变量所占的总空间一定是最长的变量所占空间的整数倍;
2)如果某一成员变量长度大于处理器位数,则以处理器的位数为对齐单位;
关于数据对齐,详见:http://blog.csdn.net/tangbo1987/article/details/6766918
2、如果类成员函数不是虚函数,则它不占空间;
3、如果成员函数中存在虚函数,则所有的虚函数保存在虚函数表中,然后类中会有一个指针指向该表;这个指针需要占用空间,所以需要 +4;
此外,空类所占的空间为1字节,因为:
“一个类能够实例化,编译器就需给它分配内存空间,来指示类实例的地址;这里编译器默认分配了一个字节(如:char),以便标记可能初始化的类实例,同时使空类占用的空间也最少(即1字节)” --引用 http://blog.csdn.net/sunboy_2050/article/details/6589999
空结构体同理。