深度探索C++对象模型（1）

编译器会自动给我带来许多优化：

例如：

#include<iostream>
using namespace std;


class A
{
public:
static int x;
};


class B:virtual public A
{};


class C:virtual public A
{};


class D:public B,public C
{
};


int main()
{
cout<<sizeof(A)<<endl;
cout<<sizeof(B)<<endl;
cout<<sizeof(C)<<endl;
cout<<sizeof(D)<<endl;
}

我们会看到

1 4  4 8 的结果

这是因为

1.类A之所以是1，编译器为他添加了一个char ,例如A  a1,a2;那么对象a1,a2 就会因为char的关系在内存中的配置独一无。

2.类B之所以是4 ，是因为类B中有个隐含的VPTR指针，指向他的VPTR表，一般指向派生类中从虚拟基类中继承下来的那一部分。

3.类D之所以是8，这个有点复杂：

a.如果编译器没有帮助我们优化的话，那么sizeof(D)=12;为什么，应为B+C+A=1+4+4=9 加上边界调整3就是12

b.现在编译器帮助我们做了一些事情，例如A里的1，在D里面被拿掉了，那么D=B+C=8，不需要边界调整了。

但是问题远远没有那么简单，例如：

#include<iostream>
using namespace std;


class A
{
public:
int y;
static int x;
};


class B:virtual public A
{};


class C:virtual public A
{};


class D:public B,public C
{
};


int main()
{
cout<<sizeof(A)<<endl;
cout<<sizeof(B)<<endl;
cout<<sizeof(C)<<endl;
cout<<sizeof(D)<<endl;
}

我们会看到

4 8  8 12 的结果

而不是 4,8,8,16.原因在于：类D只继承B,C中公共的一份配置，就是一份类A的配置。

那么现在类D中有2个VPTR指针和一个int y.