问:定义一个空类型,里面没有任何成员变量和成员函数,对该类型求sizeof,得到的结果为?
答:1。
问:为什么不是0?
答:空类型的实例中不包含任何信息,本来求其sizeof应为0,但当声明该类型的实例时,它必须在内存中占有一定的空间,否则无法使用
这些实例。而其所占空间的大小,由编译器决定。VS中,每个空类型的实例占用1字节的空间。【linux下实践也为1】
问:如果在该类型中添加一个构造函数和析构函数,再对该类型求sizeof,得到的结果为?
答:仍为1。因为调用构造函数和析构函数只需要知道函数的地址即可,而这些函数的地址只与类型相关,而与类型的的实例无关,编译器
也不会因为这两个函数而在实例内添加任何额外的信息。
问:如果把析构函数标记为虚函数呢?
答:C++的编译器一旦发现一个类型中有虚函数,就会为该类型生成虚函数表,并在该类型的每一个实例中添加一个指向虚函数表的指针。
在32位机器上,一个指针占4字节的空间,因此求sizeof为4;同样的,64位机器上,一个指针占8个字节,求sizeof为8。
总结:类的sizeof一般是看类的非静态、非全局成员,但涉及虚函数、虚继承就会有所不同。如果有虚函数,就应该加上一个指向虚表的指针。
具体实例:
- 空类
class Base { };
sizeof(Base) = 1
- 简单的类
class Base { int value; virtual void fun(); };
sizeof(Base) = sizeof(Base.a) + 4(指向虚标的指针) = 8
-
子类普通继承、父类中不含虚函数
class Base { int a; }; class Derive : public Base { int b; virtual void fun(); };
sizeof(Derive) = sizeof(Base) + sizeof(Derived.b) + 4(指向虚标的指针) = 12
- 子类普通继承、父类含虚函数
class Base { int a; virtual void fun1(); }; class Derive : public Base { int b; virtual void fun(); };
sizeof(Derive) = sizeof(Base)(已包含指向虚标的指针) + sizeof(Derived.b) = 12【对于普通继承,子类和父类的虚函数放在同一个虚表中,只需保存一个虚表的指针即可】
-
子类虚继承、父类不含虚函数
class Base { int a; }; class Derive : virtual public Base { int b; virtual void fun(); };
sizeof(Derive) = sizeof(Base)(对需基类的拷贝) + 4(指示父类存放空间的起始偏移地址,指向虚基类指针) + sizeof(Derived.b) + 4(指向子类的虚表指针) = 16
-
子类虚继承、父类含虚函数
class Base { int a; virtual void fun1(); }; class Derive : virtual public Base { int b; virtual void fun(); };
sizeof(Derive) = sizeof(Base)(对需基类的拷贝) + 4(指示父类存放空间的起始偏移地址,指向虚基类指针) + sizeof(Derived.b) + 4(指向子类的虚表指针) = 16
注意:虚继承是为解决多重继承而出现的。虚继承时,父类和子类的虚函数表分开放(正常情况下是一张表),所以,分别存储
两个指向虚表的指针,而无需减去基类的虚表指针。
参考:《剑指offer》
http://blog.sina.com.cn/s/blog_728161840100u2ib.html