程序调用函数时,将使用哪个可执行代码块呢?编译器负载回答这个问题。将源代码中的函数调用解释为执行特定的函数代码块被称为函数名联编(binding);在C语言中,这非常简单,因为每个函数名都对应一个不同的函数。在C++中,由于函数重载的缘故,这项任务更复杂。编译器必须查看函数参数以及函数名才能确定使用哪个函数。然而,C/C++编译器可以在编译过程完成这种联编。在编译过程中进行联编被称为静态联编(static binding),又称为早起联编(early binding)。然而,虚函数使这项工作变得更加困难。当使用虚函数时,使用哪一个函数是不能在编译时确定的,因为编译器不知道用户将选择哪种类型的对象。所以,编译器必须生成能够在程序运行时选择正确的虚方法的代码,这被称为动态联编(dynamic binding),又成为晚期联编(late binding)。
为什么有两种类型的联编以及为什么默认为静态联编?
原因有两个:效率和概念模型
首先看效率。在使程序能够运行阶段进行决策,必须采取一些方法来跟踪基类指针或引用指向的对象类型,者增加了额外的处理开销。例如,如果类不会用作基类,则不需要动态联编。同样,如果派生类不重新定义基类的任何方法,也不需要使用动态联编。在这些情况下,使用静态联编跟合理,效率也更高。由于静态联编的效率更高,因此被设置为C++的默认选择。Strousstrup说,C++的指导原则之一是,不要为不使用的特性付出代价(内存或者处理时间)。仅当程序设计确实需要虚函数时,才使用它们。
接下来看概念模型。在设计类时,可能包含一些不再派生类重新定义的成员函数。不将该函数设置为虚函数,有两方面的好处:首先效率更高;其次,指出不要重新定义该函数。这表明,仅将那些预期将被重新定义的方法声明为虚的。