深度探索c++对象模型学习笔记

1. 使用struct的一个合理理由是在与c代码接口时，并且struct是组合而非继承而来

2. c++的多态必须要通过pointer或reference来存取

3. 编译器会为empty class分配一个char，用来区分不同类实例，sizeof=1

4. static data member会被放在一个global data segment，所有的类实例共享这一份，即使没有类实例，static data member也是存在的

5. 嵌套typedef应放置在被引用点之前

类成员变量的数据绑定发生在类声明结束之后

6. origin.x这种访问方式是在编译期就已经决定了，pt->x这种通过指针的访问必须要等到运行期才可以决定，因为编译器无法确认指针在运行时指向的是基类还是派生类

7. 将vptr放在类实例最后的好处是可以保证单一继承的自然多态不被打破，即指向基类和指向派生类的指针可以轻松互换，编译器无需介入调整地址，但目前看到的编译器VC++和g++都是将vptr放在类实例起始处

8. Data语义学这一章主要阐述了c++对象static和non-static成员变量的内存布局模型

其中non-static是关键，在设计对象模型时主要关注的点是：

i. 多态，也就是使用父类指针可以正确访问到子类中的变量

ii. 访问效率，做到O(1) 与继承的层级无关，第一种是virtual base class table，第二种是在虚函数表的-1处放置与virtual class 的offset，通过offset来访问虚基类的成员

9. 虚继承的开销overhead

单一继承和多重继承时，父类的成员变量就是在子类对象的内存实例中，通过offset即可访问到

虚继承为了保证只有一份虚基类的实例，以前的做法是在内存实例中提供virtual base class table或是在虚函数表中加入offset，这样在访问时增加一级指针的寻址

目前GCC应该是将虚基类放在子类对象的最后，通过类的sizeof来查询

function语意学

1. static函数不可以存取member data，也不可以被声明为const

2. non static member function编译时被处理为non member function，名字是唯一的，命名的过程为name mangling，与类名和参数相关，保证唯一性，各家编译器的编码命名方式不同

3. 声明extern c的函数会disable name mangling

4. ptr->z()会被翻译为(*ptr->vptr[0])(ptr)，而obj.z()会被翻译为z_7Point3dFv()

5. 编译器会在构造函数中添加初始化虚函数表的代码，虚函数表就是在构造函数中被初始化

6. 多重继承时要考虑到使用第二base class指针来访问子类的函数，这种多态的实现使用到thunk技术，也就是在第二base class的vptr中放置thunk，这是一段汇编，将this设定到第二base class处，然后调用函数并传递新的this指针进去

7. 不要在virtual base class中声明nonstatic data member，因为访问虚基类的成员效率要低

8. 成员函数会被翻译为有固定地址的指针，&Foo::foo得到的是函数在内存中的地址，但是必须要类实例的指针也就是this指针才可以调用成员函数，每个成员函数在编译时会加入一个参数，就是类实例的指针

9. 取虚函数的地址，得到的是其在vtab中的索引值

 

10. 函数的效率排行，在没有优化的条件下

nonmember func > non virtual member func = non virtual member func多重继承 >non virtual member func 虚拟继承 > virtual member func > virtual member func多重继承 > virtual member func虚拟继承

11. thunk技术是用于处理virtual func的技术，thunk的作用就是在多重继承时，通过第二基类指针访问虚函数时，需要调整this指向第二基类，这里通过thunk来高效实现，virtual table slot中放置的是这段thunk的汇编代码地址，保证多重继承下函数访问效率

 

12. a默认构造函数会先调用基类的default ctor，b调用内涵对象的default ctor，c还会做初始化vtbl和vtpr的操作，d.virtual base class的默认构造函数会产生访问virtual base class过程代码，除这四种情况，编译器不会生产默认构造函数，要分清编译器该做的和程序员该做的

13. 每个类虚函数表只有一份，与类型相关，与类实例无关，当用父类指针指向子类实例时，两种

Base *p = new Derived()调用构造函数初始话vtpr，指向类的vtbl

Base *p = &derived;调用拷贝构造函数来初始化

动态绑定是指修改了vptr，而不是vtbl，按照哪个类指针访问就改为这个类的vtbl

14. 默认构造函数与拷贝构造函数只有在必要时编译器才会为其定义

必要条件：

i.member object

ii.父类具有default ctor或者copy ctor

iii.具有虚函数

ix.虚基类

第五章

1. dtor不适合定义为pure virtual func，因为子类的dtor会被扩张，加入调用父类dtor的代码，如果父类是pure virtual func，将会出现连接错误

2. 基类中virtual func在声明为const时要考虑清楚子类是否需要修改member

3. c++中的global data都是初始化过得，在c++中BSS并不重要，但是我在vc++和g++都是将全局的类对象放在.bss段

4. c++编译器对于Plain OI' Data的处理时在copy ctor中执行的是bitwise操作，new的时候只需要分配内存空间，不需要ctor

5. 当类需要以传值的方式返回，那就为其定义copy ctor，这样可以出发NRV优化

6. ctor中调用virtual function，相当于调用显示调用本类中函数，因为此时的vptr指向的是当前的类vtabl

    因此在ctor中不要调用虚函数，因为函数本身可能会依赖某些未被初始化的member

7. ctor的执行顺序如下：

调用父类的ctor -> 初始化vptr -> 展开成员初始化列表 -> 执行ctor中的代码