警钟长鸣
在秋招时参加并通过了科大讯飞的笔试,一面就是技术面,被问到 C++中sizeof(空类)这种问题,等回到宿舍,我才发现,这是剑指offer上的一个题。从此恶补剑指offer。最终估计是薪资说14K,要的太高了,完全不了解合肥的消费水平,都是教训啊。。。
问题描述:
- 定义一个空的类型,里面没有任何成员变量和成员函数。对该类型求sizeof,得到的结果时多少?
- 在该类中添加构造函数和析构函数,再对该类型求sizeof,得到的结果时多少?
- 如果析构函数标记为虚函数呢?再对该类型求sizeof,得到的结果时多少?
代码验证
#include <iostream>
using namespace std;
//空类
class classA
{
classA(){}
~classA(){}
};
//sizeof(classB)为1B
class classB :public classA
{ };
//定义一个成员变量,4B大小
class classC
{
private:
int a;
};
//sizeof(classD)为8B
class classD :public classC
{
public:
virtual void funtion1() {}
};
class classE
{
public:
//virtual classE(){} //error,构造函数不能为虚函数
virtual ~classE(){} //析构函数可以是虚函数
};
int main()
{
cout << sizeof(classA) << " ";
cout << sizeof(classB) << " ";
cout << sizeof(classC) << " ";
cout << sizeof(classD) << " ";
cout << sizeof(classE) << endl;
system("pause");
return 0;
}
结果分析
- 第一问:答案是1B,而不是0B。我们在声明该类型实例的时候,必须给实例在内存中分配一定的空间,否则无法使用该实例。由于空类型不含任何信息,故而所占的内存大小由编译器决定。codeblocks和Visual Studio中每个空类型的实例占1B。切忌:一旦类中有其他的占用空间成员,则这1个字节就不在计算之内。
- 第二问:在该类中添加构造函数和析构函数,再对该类型求sizeof,结果仍未1B。因为成员函数只与类型相关,而与具体实例无关。进一步引申:如果有其他成员函数(非虚函数),则还是只占用1个字节。
- 第三问:C++编译器一旦发现类型中有虚函数,就会为该类型生成虚函数表,并在该类型的每个实例中添加一个指向虚函数表的指针。在32位的机器上,一个指针占4B;在64位的机器上,一个指针占8B。为何需要虚函数表?因为虚函数表是C++实现多态的一种机制。具体见下面的链接:
C++多态的实现机制——虚函数
重要参考
1 . 剑指offer 何海涛著
2.c++ 类大小(含虚函数)