避免在构造和析构函数中调用virtual函数
切记:在基类构造期间,virtual
函数会被当作普通函数调用
class Base
{
public:
Base()
{
VirtualFunction();
}
virtual void VirtualFunction()
{
cout << "In the Base Class" << endl;
};
};
class Derived: public Base
{
public:
void VirtualFunction()
{
cout << "In the Derived Class" << endl;
}
};
int main()
{
Derived d;
}
在基类构造期间,virtual
函数绝对不会下降到子类那一层
定义派生类对象时,会先构造基类,调用基类的构造函数,在基类的构造函数中调用了虚函数,如果按照多态的思路,行为的执行者应该是派生类的VirtualFunction(),也就是输出的是In the Derived Class,然而实际跑一下这个程序,运行结果却是In the Base Class,为什么会这样呢?
一种很好的理解方法就是,派生类部分必须在基类部分构造完全之后才会去构造,因此在虚表中尚未注册派生类的VirtualFunction(),这时只能调用基类的VirtualFunction()。对于析构函数,同样是如此,派生类部分先析构,这时基类中的虚函数将无法定位到派生类,只能调用基类自身的函数。书上指出“在base class构造期间,virtual函数不是virtual函数”。
这样的结果会使读者感到困惑,与多态法则的效果不一致,所以本书作者强调“绝不在构造和析构函数中调用virtual函数”。
最后总结一下:
在构造和析构期间不要调用virtual函数,因为这类调用从不下降至派生类。