某童靴前天去理想國際某公司面試，回來在宿舍討論了這樣一道題：

VC++里，有一個空類，沒有聲明任何成員變量或函數(shù)，請問此空類占多大字節(jié)空間？

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

當(dāng)時考慮了32bit和64bit機(jī)器，并且指針地址是int型，32bit占4個字節(jié)或64bit占8個字節(jié)，因此選了C和D

后又想想，這沒有操作指針，也就不需內(nèi)存對齊（視VC++編譯器會自動進(jìn)行對齊優(yōu)化），排除了C和D，選擇了A

當(dāng)時也考慮過侯捷老師譯著的那本《深度探索C++對象模型》，C++中繼承與多態(tài)在編譯器中是如何區(qū)分的，所以0字節(jié)也不靠譜

但至少也不會僅占一個字節(jié)吧，因此當(dāng)時首先就把B徹底killed

面試回來，在VC6.0、 VS2010、 g++（Linux 2.6.31-14）上編譯， 發(fā)現(xiàn)結(jié)果居然是：1

首先，我貼出測試代碼：

#include <iostream> using namespace std; // 空類 class ClassA { }; // 繼承空類的空類 class ClassB : public ClassA { }; // 空結(jié)構(gòu)體 struct StructC { }; // 主函數(shù) int main(int argc, char **argv) { cout<<"A: "<<sizeof(ClassA)<<endl; cout<<"B: "<<sizeof(ClassB)<<endl; cout<<"C: "<<sizeof(StructC)<<endl; return 0; }

然后，在各編譯器上編譯

其結(jié)果分別如下：

VC6.0 （XP Professional SP2 - 32bit）

VS2010 （Win7 Ultimate SP1 - 64bit）

g++ （Ubuntu linux 2.6.31-14 - 64bit）

最后，分析為何結(jié)果會是：1

這里，先看看C++多態(tài)的內(nèi)部實(shí)現(xiàn)

例如，有三個重載函數(shù)：

int add(int a, int b);

int add(int a, int b, int c);

float add(float a, float b);

C++編譯器是如何上面三個函數(shù)呢？

_add_int_int

_add_int_int_int

_add_float_float

編譯器壓棧記錄的是：函數(shù)名+參數(shù)類型+參數(shù)個數(shù)（ 注：返回值類型不足以區(qū)分多態(tài) ）

知道了C++編譯器如何處理和區(qū)分多態(tài)（重載類似）后，現(xiàn)在我們回到正題——sizeof（空類或空結(jié)構(gòu)體）= 1

空類，沒有任何成員變量或函數(shù)，即沒有存儲任何內(nèi)容；

但是由于空類仍然可以實(shí)例化，即 ClassA A; cout<<"sizeof(A): "<<sizeof(A)<<endl;

一個類能夠?qū)嵗?，編譯器就需給它分配內(nèi)存空間，來指示類實(shí)例的地址

這里編譯器默認(rèn)分配了一個字節(jié)（如：char），以便標(biāo)記可能初始化的類實(shí)例，同時使空類占用的空間也最少（即1字節(jié)）

sizeof（空類或空結(jié)構(gòu)體）