虚拟继承是否会增加派生类的大小？

Question

可能重复:
虚拟对象大小

虚拟继承是否会更改派生类的大小？我执行了以下代码,其中有两个派生类,一个是虚拟继承的,另一个是非虚​​拟继承的:

class A {
 public:
int a;
  virtual void a1();
};


class non_vir_der: public A{
 public:
int c;
  virtual void aa();
};


class vir_der: public virtual A{
public:
int d;
virtual void bb();
};

int main()
{
cout<<sizeof(non_vir_der)<<"\n";
cout<<sizeof(vir_der)<<"\n";
return 0;
}

---

输出:

12(imo:4(int a)+ 4(int c)+ 4(vir ptr))

16(额外4？)

再次检查我是否错过了什么,我尝试了所需的最小代码,删除了类中的所有整数,输出为:

4

4

第二个输出表明两个派生类的大小相同.为什么第一次运行中的vir_der 16的大小,为什么不是12？

Answer 1

此行为完全针对特定于实现,并且无法保证将会发生什么.也就是说,大多数编译器通过使用基类的单个副本来实现虚拟继承,然后让派生类的每个实例在其类主体内存储指向该唯一实例的指针.这样,如果将对象转换为其虚拟基础,编译器可以发出代码以找出该对象的位置.在32位系统上,这意味着虚拟继承可能会将对象的大小增加四个字节,正如您所观察到的那样.

那么,如果没有数据成员,为什么没有区别呢？我不确定,但我猜这是因为编译器足够聪明地意识到如果你有一个没有数据成员的虚拟基类,你实际上并不需要访问其中包含的任何内容.因此,可以通过消除指向虚拟基础的额外指针来优化对象,因为从来没有一种方法可以访问它.不过,我可能错了.

希望这可以帮助!