某童靴前天去理想国际某公司面试,回来在宿舍讨论了这样一道题:

VC++里,有一个空类,没有声明任何成员变量或函数,请问此空类占多大字节空间?

A、 0           B、 1            C、 4           D、8

当时考虑了32bit和64bit机器,并且指针地址是int型,32bit占4个字节或64bit占8个字节,因此选了C和D

后又想想,这没有操作指针,也就不需内存对齐(视VC++编译器会自动进行对齐优化),排除了C和D,选择了A

当时也考虑过侯捷老师译著的那本《深度探索C++对象模型》,C++中继承与多态在编译器中是如何区分的,所以0字节也不靠谱

但至少也不会仅占一个字节吧,因此当时首先就把B彻底killed

 

面试回来,在VC6.0、 VS2010、 g++(Linux 2.6.31-14)上编译,

发现结果居然是:1


首先,我贴出测试代码:

#include <iostream>
using namespace std;

// 空类
class ClassA
{
};

// 继承空类的空类
class ClassB : public ClassA
{
};

// 空结构体
struct StructC
{
};

// 主函数
int main(int argc, char **argv)
{
	cout<<"A: "<<sizeof(ClassA)<<endl;
	cout<<"B: "<<sizeof(ClassB)<<endl;
	cout<<"C: "<<sizeof(StructC)<<endl;

	return 0;
}


然后,在各编译器上编译

其结果分别如下:
VC6.0(XP Professional SP2  -  32bit)


VS2010(Win7 Ultimate SP1  -  64bit)


g++(Ubuntu linux 2.6.31-14  -  64bit)


最后,分析为何结果会是:1

这里,先看看C++多态的内部实现

例如,有三个重载函数:
int  add(int a, int b);
int add(int a, int b, int c);
float add(float a, float b);

C++编译器是如何上面三个函数呢?
_add_int_int
_add_int_int_int
_add_float_float

编译器压栈记录的是:函数名+参数类型+参数个数(
    注:返回值类型不足以区分多态

知道了C++编译器如何处理和区分多态(重载类似)后,现在我们回到正题——sizeof(空类或空结构体)= 1

空类,没有任何成员变量或函数,即没有存储任何内容;

但是由于空类仍然可以实例化,即

ClassA A;  cout<<"sizeof(A): "<<sizeof(A)<<endl;

一个类能够实例化,编译器就需给它分配内存空间,来指示类实例的地址

这里编译器默认分配了一个字节(如:char),以便标记可能初始化的类实例,同时使空类占用的空间也最少(即1字节)

 

原文: sizeof(空类或空结构体)