#include   
using namespace std;  
  
class ClassA {  
  
};  
class ClassB {  
 private:  
  int b;  
};  
class ClassC : public ClassA {  
  
};  
class ClassD : public ClassB {  
  
};  
class ClassE {  
 public:  
  int GetReturnValue() {  
    return 0;  
  }  
};  
struct StructA {  
  
};  
  
int main() {  
  cout << "ClassA " << sizeof(ClassA) << endl;  
  cout << "ClassB " << sizeof(ClassB) << endl;  
  cout << "ClassC " << sizeof(ClassC) << endl;  
  cout << "ClassD " << sizeof(ClassD) << endl;  
  cout << "ClassE " << sizeof(ClassE) << endl;  
  cout << "StructA " << sizeof(StructA) << endl;  
}
ClassA 1  
ClassB 4  
ClassC 1  
ClassD 4  
ClassE 1  
StructA 1  

一个类能够实例化,编译器就需给它分配内存空间,来指示类实例的地址。这里编译器默认分配了一个字节(如:char,编译器相关),以便标记可能初始化的类实例,同时使空类占用的空间也最少(即1字节)。

对于结构体和空类大小是1这个问题,首先这是一个C++问题,在C语言下空结构体大小为0(当然这是编译器相关的)。这里的空类和空结构体是指类或结构体中没有任何成员。

在C++下,空类和空结构体的大小是1(编译器相关),这是为什么呢?为什么不是0?

这是因为,C++标准中规定,“no object shall have the same address in memory as any other variable” ,就是任何不同的对象不能拥有相同的内存地址。 如果空类大小为0,若我们声明一个这个类的对象数组,那么数组中的每个对象都拥有了相同的地址,这显然是违背标准的。