1.什么是静态联编和动态联编?
程序调用函数时,要是用哪个可执行代码块呢?编译器负责完成这个问题,在编译阶段编译器会将函数调用解释为去到某个地址执行代码块,这称为函数名联编。
在C++中,由于存在重载,编译器需要查看特征标来确认到底是用哪个函数,C++的编译器也可以在编译阶段完成这项工作,这称为静态联编。
而虚函数的存在使得C++编译器无法在编译阶段完成这项工作,比如之前的例子中的基类指针数组,根据数组中具体存放的是基类对象还是派生类对象,才能确定调用哪个虚函数,这在编译阶段是不确定的,因此C++编译器只能在运行时选择正确的虚函数代码块执行,这称为动态联编。
2.虚函数的工作原理
编译器处理虚函数的方法是:给每个对象添加一个隐藏成员,该隐藏成员中保存了一个指向函数地址数组的指针,该数组称为虚函数表(virtual function table,vtbl)。
例如,基类对象包含一个指针,该指针指向基类中所有虚函数的地址表,即虚函数表;
当派生类对象被创建时,也会有一个指针,指向的时派生类对象的虚函数表;
若该派生类没有对基类中的虚函数进行重写ÿ