虚函数与动态绑定
C++ 通过类的继承与虚函数的动态绑定,实现了多态。这种特性,使得我们能够用基类的指针,访问子类的实例。例如我们可以实现一个名为 Animal
的基类,以及 Cat
, Dog
等子类,并通过在子类中重载虚函数 jump
,实现不同动物的跳跃动作。而后我们可以通过访问 Zoo
类的实例中存有 Animal
指针的数组,让动物园中所有的动物都跳一遍。
1 | class Zoo { |
在每次执行 animal->jump()
的时候,系统会检查 animal
指向的实例实际的类型,然后调用对应类型的 jump
函数。这一步骤需要通过查询虚函数表(vtable
)来实现;由于实际 animal
指向对象的类型在运行时才确定(而不是在编译时就确定),所以这种方式称为动态绑定(或者运行时绑定)。
因为每次都需要查询虚函数表,所以动态绑定会降低程序的执行效率。为了兼顾多态与效率,有人提出了 Curiously Recurring Template Pattern 的概念。