条款09:不要在构造过程和析构过程中调用 virtual 方法
问题背景
我们知道通过指针或引用调用对象的虚函数会触发动态绑定,根据对象的实际类型调用对应的版本。但是如果是在构造函数或析构函数中调用 virtual 函数呢?
构造函数的特殊之处在于,当创建一个扩展类对象时,先调用基类的构造函数,此时扩展类的成员变量都未初始化(某种意义上扩展类部分还不存在),如果此时在基类的构造函数中调用一个 virtual 函数会触发动态绑定吗?因为构造函数中调用成员函数,也是相当于通过 this 指针调用的。
析构函数的特殊之处在于,销毁一个子类对象时,先调用扩展类的析构函数,再调用基类的析构函数,调用基类的析构函数时,扩展类的一些资源已经释放,如果此时调用 virtual 函数会触发动态绑定吗?调用的会是子类的 virtual 函数版本吗?
实验
针对上面的疑问,虽然已经从《Effective C++》中找到了答案,但还是自己动手实验一下深刻一点。
实验一:
代码如下:
#include <iostream>
using std::cout;
using std::endl;
class Base
{
public:
Base()
{
vfunc();
}
virtual void vfunc()
{
cout << "vfunc from Base class" << endl;
}
};
class Sub :public Base
{
public:
Sub() {}
void vfunc() override
{
cout << "vfunc from Sub class" << endl;
}
};
int main()
{
Sub s;
return