在c++面试中,sizeof是经常被问到的概念。
问:定义一个空类型,里面没有任何成员变量和成员函数,对该类型求sizeof,结果是多少?
答:结果是1。
问:为什么不是0?
答:空类型的实例中不包含任何信息,本来求sizeof应该是0,但是当声明该类型的实例时,它必须在内存中占有一定的空间,否则无法使用这些实例。至于占用多少内存,由编译器决定。Visual Studio中每个空类型的实例占1个字节的空间。
问:如果在该类型中添加一个构造函数和析构函数,再对该类型求sizeof,结果是多少?
答:仍然是1。调用构造函数和析构函数只需要知道函数地址即可,而这些函数的地址只与类型相关,与类型的实例无关,编译器不会因为这两个函数而在实例内添加任何额外信息。
问:如果把析构函数标记为虚函数呢?
答:c++编译器一旦发现一个类型中有虚函数,就会为该类型生成虚函数表,并在该类型的每一个实例中添加一个指向虚函数表的指针。在32位的机器上,一个指针占4个字节,因此sizeof结果为4;在64位机器上,一个指针占8个字节,因此sizeof结果为8。
【学习资料】 《剑指offer 名企面试官精讲典型编程题》