sizeof(空类)问题总结

警钟长鸣

在秋招时参加并通过了科大讯飞的笔试，一面就是技术面，被问到 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;
}

结果分析

1. 第一问：答案是1B，而不是0B。我们在声明该类型实例的时候，必须给实例在内存中分配一定的空间，否则无法使用该实例。由于空类型不含任何信息，故而所占的内存大小由编译器决定。codeblocks和Visual Studio中每个空类型的实例占1B。切忌：一旦类中有其他的占用空间成员，则这1个字节就不在计算之内。
2. 第二问：在该类中添加构造函数和析构函数，再对该类型求sizeof，结果仍未1B。因为成员函数只与类型相关，而与具体实例无关。进一步引申：如果有其他成员函数（非虚函数），则还是只占用1个字节。
3. 第三问：C++编译器一旦发现类型中有虚函数，就会为该类型生成虚函数表，并在该类型的每个实例中添加一个指向虚函数表的指针。在32位的机器上，一个指针占4B；在64位的机器上，一个指针占8B。为何需要虚函数表？因为虚函数表是C++实现多态的一种机制。具体见下面的链接：
   C++多态的实现机制——虚函数

重要参考

1 . 剑指offer 何海涛著
2.c++ 类大小（含虚函数）