看了
《Inside c++ object model》
想到一个题目:
#include <iostream>
using namespace std;
class A
{
virtual void f(){};
};
class B : public virtual A{
virtual void f(){};
};
class C: public virtual A{
virtual void f(){};
virtual void t(){};
};
int main()
{
cout<<sizeof(B)<<endl;
cout<<sizeof(C)<<endl;
}
此题在vc6.0下结果是 8 12。
回顾一下虚继承的概念:虚继承主要解决在多重继承中的菱形继承问题。实现方法是,在子类中保存一个父类(虚继承类)的实体,同时保存一个指针指向这个实体。指针+实体都是属于子类,所以sizeof会将两者也算在内。
cout<<sizeof(B)<<endl; 结果是8原因是 sizeof(A)加上 指向A实体的指针。注意此时没有属于B的虚指针。也就是说B没有自己的虚函数。
cout<<sizeof(C)<<endl; C B区别在于C中有一个属于自己的虚函数,所以加上了一个虚指针的大小 所有为12
经过此题学会了一个属于类的虚函数的概念 。
此代码在Linux 64bit机器上编译结果为 8 8 ,我分析了下原因如下。
这是两种编译器对空类的理解的问题。VC属于特殊的编译器,比如说对于下面代码
class A{ };
class B:public A {};
sizeof(A) sizeof(B)
VC结果为 1 4.
GCC为 1 8.
VC认为 如果类是空的那么补一个char进来让类的对象拥有地址,但是如果是个空子类,VC认为父类也是“成员”之一所以拒绝为子类产生char 所以结果为4 (其中涉及到alignment的问题)
GCC认为 父类不是 “成员”所以为子类也产生了一个char。这样 就等于两个空对象相加,再加上alignment结果为8
《Inside c++ object model》