虚函数经典问题

经典问题

继承体系下 vptr 构造时机？

C++ 规则告诉我们：在一个 class 的 constructor（和 destructor）中，经由构造中的对象来调用一个 virtual function，其函数实例应该是在此 class 中有作用的那个。

由此得出了构造时机：在 base class constructors 调用操作之后，但是在程序员提供的代码或是 member initialization ilst 中所列的 members 初始化操作之前。

理解了 vptr 初始化时机，也就能更好的理解虚函数的调用。

虚函数表是在什么阶段生成的，存在哪的？

虚函数表是在编译阶段生成的，存储在只读数据段（.rodata）。

详细分析请见：虚函数表存储位置

构造函数可以是虚函数吗？

不可以，构造函数成为虚函数没有价值。虚函数的意义是构成多态调用，多态调用就要根据虚表指针到虚函数表中找虚函数，对象的虚表指针又是在构造函数中初始化的。

可以在构造函数中调用虚函数吗？

可以调用，但结果可能并不是我们所想的那样。

C++ 语言规则告诉我们，经由构造中的对象来调用一个 virtual function，其函数实体应该是在此 class 中有作用的那个。

在 derived class 对象的 base class 构造期间，对象的类型是 base class，而不是 derived class。因此 base class 构造期间 virtual 函数绝不会下降到 derived classes 阶层，而且此时 derived class 的 vptr 还未设定，也没办法调到 derived class 的虚函数。

对象访问普通函数快还是虚函数快？

如果不构成多态，都是编译时期确定调用的实际函数，一样快。

如果构成多态，那么虚函数调用是运行时去 vtbl 中确定调用的实际函数，普通函数编译时直接确定调用的实际函数，因此普通函数更快。

虚函数可以声明为 inline 函数吗？

可以，调用时，如果不构成多态，这个函数就保持内敛属性。如果构成多态，这个函数就没有内敛属性了，因为需要在运行时到对象的 vtbl 中找到虚函数地址。

静态成员函数可以是虚函数吗？

不可以，虚函数的关键是根据对象的实际类型进行动态绑定。然而，静态成员函数在类中只有一份，与对象的类型无关。在编译时确定调用的实际函数，属于静态绑定。