众所周知的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)。