Thinking in C++积累集（勿抄书，无自己思考的东西不要就不要写）

1. 晚绑定

• 功能
  为什么一个基类的指针可以知道自己指向的自己旗下的哪个派生类的实例呢？其实现机制就是晚绑定。
  所谓的晚绑定，就是在程序运行时（而不是编译时）决定应该执行哪个版本的虚函数
• 实现
  编译器为每个带有虚函数的类都分配一个VPTR，VPTR指向虚函数表（VTABLE）
• 做实验
  sizeof这样的类，可以发现比没有virtual函数的时候，多了4字节（一个void *的空间）
• 函数寻址原理
  当通过基类指针访问某个派生类的virtual函数时，就通过这个VTABLE来寻找该执行哪个版本的虚函数

2. 虚函数的调用规则

• 基类指针无法调用派生类中新加入的virtual或non-virtual函数（容易理解，安全考虑。另外从C++语法层面来讲，基类中也没有派生类新增函数的定义）
• 如果实在需要使用基类指针来调用派生类中新加入的virtual或non-virtual函数，可以考虑向下转型（不安全），这种情况必须事先知道Base *指向的派生类的确切类型，否则会造成难以预知的错误。

3.向上/向下转型

上 ---继承-----------继承------------继承---------> 下
Base Derived1 Derived2 Derived3
向上转型就是派生类 --强制转换--> 基类 安全
向下转型就是基类 --强制转换--> 派生类 不安全

4.构造函数与虚函数

• 不要在构造函数中调用虚函数
  因为所有派生类的构造函数结束之前，虚函数机制不工作，此时只会调用本地版本
• 构造函数也不能为虚的。
  解释：由于基类到派生类的构造函数的运行顺序是：先基类在派生类，连派生类的虚函数表都还未构建，何谈多态

4. 析构函数与虚函数

• 准则：尽量使用虚析构函数（也可以是“总是”使用，如果你决定要在程序中使用多态性质的话。“尽量”是因为运行时多态有额外开销，你可以选择不用它）
• 执行顺序：从最下的派生类依次往最上的基类执行
• 使用场景：使用基类指针Base *pb释放派生类对象时，由于整个派生链以及虚函数表已经构造好，并且析构函数的执行顺序与构造函数相反，所以delete pb可以依次析构从派生类到基类的所有类