重温《C++ Primer》笔记七 VTABLE与VPTR的实现

函数调用的两种绑定

在学习虚函数之前，我们必须了解什么叫做绑定。在程序中调用一个函数，编译阶段会对其类型进行检查，而在链接阶段将与函数定义进行链接。对于一个函数调用，将执行哪个函数体，这是通过绑定来设置的，即把函数体与函数调用相联系称为绑定（binding）。而根据确定能够确定绑定关系的时间，将绑定分为早绑定和晚绑定两种。

1、早绑定（early binding）

早绑定即绑定在程序运行之前被确定，也就是在编译链接后即可确定一个函数调用将对应哪个函数体。在C中的函数调用方式全部都是早绑定。

2、晚绑定（late binding）

晚绑定即绑定在程序运行时才被确定，因此也被成为动态绑定和运行时绑定。晚绑定只有在运行时，根据具体对象的类型来确定具体调用的函数体。

虚函数

如果要实现晚绑定，必须以某种机制来确定在运行时该调用哪个函数体。在C++中通过将这个函数声明为virtual来告诉编译器这个函数不能像普通函数那样进行调用，而需要通过虚函数机制来执行之，当然，晚绑定也只对虚函数才起作用。

只需要在声明的时候加上virtual关键字，而在虚函数定义的时候不需要，如果在基类中一个函数被声明为virtual，那么所有继承该类的子类中的这个函数都是virtual的，但是在子类中重写虚函数时并不需要加上virtual关键字。

下面是摘自《Thinking in C++》中的一段代码，其通过定义虚函数来实现了动态绑定。

#include <iostream>
using namespace std;

class Instrume