一个有趣的问题：下列 类 sizeof大小

class X{}    //1 

class Y:public virtual X{} //4 or 8

class Z:public virtual X{} // 4 or 8

class A:public Y,public Z{} // 8 or 12

主要原因：为了保持每一个类生成对象在内存中的唯一性，编译器必须要给空类生成一个char来维持object的唯一性；

而virtual继承中，仅保持了base class的指针，有些编译器会继承base的一个char数据，有些编译器会舍去。如果保持，则包含数据，且为5bytes，需要保持alignment，则为8bytes。Class A，同时继承Y和Z。// Visual C++和G++采取empty virtual base class被视为derived class object最开头的一部分，则derived class不需要耗费1char 来维持object的独一性。

G++ 上结果为 1，8，8，16 （由于sizeof(int *) = 8） 

sizeof(Y) = sizeof(pointer in machine)

class W{char b;} sizeof(W) = 1;W w ; sizeof(w) = 1; 表示实际占用的大小，（针对alignment编译器已经做好了优化，不用考虑）

C++对象模型尽量以空间优化和存取速度的考虑来实现nonstatic data members。数据直接存放在每一个class object中。

class object 大小：

1） 实际的数据对象 non-static data member

2） 编译器自动加上的额外data member，用于支持语言特性（主要是virtual）

3） 因为alignment的需要（这个目前来说由底层实现，一般不用考虑，sizeof得到的是实际大小）

3.1 Data Member 的绑定

有意思的一章节，虽然了Class数据绑定的发展

extern float x;

typedef int type；

class A { public : float X(type val) const { return x;} private: float x;typedef float type；} 

//抛出一个问题，函数X返回值是全局的x还是class内部的x?

当然，现在的C++模型肯定是内部的；而之前不一定，从前向后解析，并进行绑定；所以x被绑定到了全局。 

现在进行了改进:只有当把class扫描完之后才对函数本体进行解析。并且遇到新的类型，就标记前一个标记为非法（如float x覆盖int x），用正确的解析。但对于参数，但对于参数仍可能绑定到全局变量（如type val，仍绑定到全局）。

因此我们仍需要采用防御性程序风格： 保证变量声明在定义之前，来确保非直觉绑定的正确性。

1） 总是把声明放到class的最开头

2）总是把inline function放在class体外部；

3.2 Data Member 的布局（Data Member Layout）

由编译器确定，一般规则相同的access section的数据放在同一个区域，也可以多个section放在同一个区域。

3.3 数据的存取

抛出一个问题：origin.x和pt->x 访问有什么区别？ origin.x 主要是编译期间静态绑定，根据x的offset偏移量进行访问；而pt可能会不确定类型，需要运行时确定；

主要区别静态数据和非静态数据，静态数据保存在data segment段，可以被类直接访问，所有继承的类也都共享该静态对象，在内存中是唯一性；

为了避免多个静态变量的命名冲突，可以采用name-mangling才进行映射，保证唯一性，并可以反推回来。

非静态数据位只有object才可以访问，默认访问时需要有this（implicit class object）

有一个问题：本文中指出一个指向data member的指针，用以指出class的第一个member，和一个指向data member的指针，两者之间相差一个byte，类似于空class一样。但我在G++上测试，两者的基地址保持一致，并无1byte的相差；

包含virtual function的布局：有的vptr放在数据尾部，保持和struct兼容性；但目前普遍放在class的头部，便于访问virtual function。

3.4 继承与data member

单一继承，多重继承（不包含虚拟继承）：按照继承class声明的顺序继承数据，当然继承顺序主要由编译器决定；

书中提到：多重继承中可能由于alignment导致多重继承之后class的size变大。但似乎在G++中，能够有效的优化，没有带来alignment的开销。（经测试）

主要难点是virtual inheritance，虚拟继承主要用来保持数据的唯一性，但也带来了复杂性和效率问题。不同的编译器有不同的处理方式。这里提到两种方法：

1)子类保存对虚拟继承父类的指针，随着虚拟继承嵌套层数的增多，会导致间接访问时间开销过大，需要多层间接访问；

2）为了避免上述情况，保持访问的一致性，将virtual function entries 和virtual base class offset放在一起；可以将虚拟继承的父类对象拷贝到自己的对象空间，同时保持对该空间的指针；

如果同时继承来自多个虚拟class，则仅保留一份对原始父类； （指向父类的指针放在class空间的开头） 【补图】

3.5 和 3.6 主要谈到效率问题和指向members指针

作者测试的环境和现在的不太一样，下一步在探究。