《深度探索C++对象模型》读书笔记第三章：Data语意学

这是第三章，第三章当时我的博客： C++对象模型Data语意学分析、虚继承底层实现机制 写的比较详细，所以这次可能总结会少一些。

1. 关于 class 的大小分析上面提到的博客有详细分析。
2. 对于 origin.x=0.0 和 pt->x=0.0 两种方式存取数据有什么重大差异？答案是：当调用类是一个派生类，而且在其继承体系中有一个虚基类，并且被存取的成员（如本例的x）是一个从该虚基类继承而来的成员时，就会有重大的差异。因为这时候不能够确定 pt 必然指向哪一种 class 类型（可能多个派生类，不能在编译器确定成员的 offset），所以这个存取操作必须延迟至执行期，经由一个额外的间接导引，才能解决。但如果使用 origin，就不会产生这些问题，其类型无疑是确定的，即使继承自虚基类，虚基类成员的 offset 在编译器就固定了。一个好的编译器甚至可以静态地经由 origin 就解决掉对 x 的存取！
3. 在继承体系中，派生类不会去覆盖基类的内存对齐部分，这样是为了避免当基类赋给派生类时，不会覆盖掉派生类增加的成员。
4. 多重继承中，如果要存取第二或后继基类中的一个数据成员，需要付出额外的成本吗？不，成员的位置在编译时就固定了，因此存取成员（data member） 只是一个一个简单的 offset 运算，就像单一继承一样。
5. g++针对虚继承的处理：g++将虚基类子对象的 offset 也放入了虚函数表当中，虚函数表中属于同一个类对应的信息按顺序分别为：（1）typeinfo，用来支持 RTTI。（2）虚指针到整个对象开始处的偏移值。（3）虚基类子对象偏移量。（4）虚函数地址。
6. 为什么把虚基类子对象也要放入 vtbl 中呢？因为（1）可能继承自多个虚基类，难道派生类中需要多个指针指向不同的虚基类子对象吗？无疑是浪费。不如放一张表把他们放在一块，只需一个指针就可以了。（2）如果有嵌套虚基类（一个虚基类继承自另一个虚基类），使用指针的话，那就需要先访问第一个，再访问第二个。如果嵌套 更深，那复杂度无疑是一场灾难。
7. 为了区分一个 ”没有指向任何数据成员” 的指针和一个 “指向第一个数据成员“ 的指针，所以真正的成员 offset 值都被加上1。&point3d::z 返回的是 z 在 class 中的偏移量，类型是 point3d::* 类型。而 &origin.z ，取一个类对象成员的地址，返回的是该成员在内存中真正的地址。

完了，貌似有点短，实际上这章比较长的，不过细节内容都在我开头提过的博客中，已经分析过一遍了。