晚捆绑的实现过程

一、函数调用捆绑

1、定义

　　捆绑：把函数体与函数调用相联系称为捆绑。当捆绑在程序运行之前（由编译器和连接器）完成时，称为早捆绑。（C编译只有一种函数调用，就是早捆绑）如果捆绑发生在运行时，则称为晚捆绑（或动态捆绑、运行时捆绑。

　　虚函数：如果我们在定义基类时在函数前加关键字virtual，则会告诉编译器对于此函数要进行晚捆绑，同时自动安装晚捆绑实现机制。

2、实现

编译器对每个包含虚函数的类创建一个表（称为VTABLE）。在此表中放入特定类的虚函数地址，此外此类中还持有一VPTR指针，指向这个对象的VTABLE。通过基类指针做函数调用时（编译器静态地将子对象的VPTR，这样就能调用正确的函数使晚捆绑实现。

 

#include <typeinfo.h>
#include <iostream.h>

class base {
  public:
      virtual void f() {
          cout << "base-print" << endl;
};

class derived : public base {
 public:
  void f() {
    cout << "derived-print" << endl;
 }
};

void main() {
 base* b;     //(1)
 derived* d = new derived; //(2)
 b = d;        //(3)
 b.f();         //(4)
}

结果：derived-print

 

 

 

 

 

图如下所示：