众所周知的C++中空类的大小为1,但是除了空类之外的其他一些没有成员变量的类的大小,还是有相当一部分开发人员对此有很多不明之处的。
这里我们以如下代码为例:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#include using namespace std; class a {}; class b{}; class c : public a{ virtual void fun() = 0; }; class d : public b, public c{}; int main() { cout << "sizeof(a)" << sizeof (a) << endl; cout << "sizeof(b)" << sizeof (b) << endl; cout << "sizeof(c)" << sizeof (c) << endl; cout << "sizeof(d)" << sizeof (d) << endl; getchar (); return 0; } |
程序执行的输出结果为:
1
2
3
4
|
sizeof (a)=1 sizeof (b)=1 sizeof (c)=4 sizeof (d)=8 |
为什么会出现这种结果呢?初学者肯定会对此疑惑不解,类a,b明明是空类,它的大小应该为为0,为什么编译器输出的结果为1呢?这就是我们刚才所说的实例化的原因(空类同样可以被实例化),每个实例在内存中都有一个独一无二的地址,为了达到这个目的,编译器往往会给一个空类隐含的加一个字节,这样空类在实例化后在内存得到了独一无二的地址,所以a,b的大小为1。
而类c是由类a派生而来,它里面有一个纯虚函数,由于有虚函数的原因,有一个指向虚函数表的指针(vptr,有多个虚函数仍然是只有一个指针),在32位的系统分配给指针的大小为4个字节,所以最后得到c类的大小为4。
类d的大小更是会让很多的初学者疑惑,类d是由类b,c派生而来的,它的大小应该为二者之和5,为什么却是8呢?这是因为为了提高实例在内存中的存取效率,内存中会有数据对齐,于是类的大小往往被调整到4字节的整数倍。并采取就近的法则,往大的方向取最近的倍数,就是该类的大小,所以类d的大小为8个字节(假如d由3个空类和c派生而来,仍然是8)。