晚捆绑的实现过程

一、函数调用捆绑

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

图如下所示：