一、禁止在构造函数与析构函数中调用虚函数
1.1、禁止在构造函数中调用虚函数
下面是一个类的继承结构,在基类的构造函数中调用虚函数doSomething,如下:
class Base{
public:
Base(){
...
doSomething();
}
virtual void doSomething(){
...
}
};
class Derived : public Base{
public:
virtual void doSomething(){
...
}
};
Derived derivedObj;
当创建一个Derived对象时,有一个Derived构造函数会被调用,但首先Base构造函数一定会更早被调用,因为Derived对象内的Base成分会在Derived自身成分被构造之前先构造妥当。Base构造函数最后一行调用virtual函数doSomething(),这正是引发疑惑的地方。这时候被调用的doSomething()是Base内的版本,不是Derived内的版本。Base class 构造期间 virtual 函数绝不会下降到Derived class阶层。造成上面这种现象的根本原因是,在Derived class对象的Base class构造期间,对象的类型是Base class而不是Derived class。
注意:虚函数功能实现依赖vptr与虚函数表,这两个都是在构造函数中创建的。因此、只能在构造函数指定完才能调用虚函数。
1.2、禁止在析构函数中调用虚函数
多态是通过虚函数+基类指针实现的,如果在析构函数中调用虚函数,可能会导致引用分发内存,示例代码如下:
class Base{
public:
Base(){
...
doSomething();
}
virtual void doSomething(){
...
}
};
class Derived : public Base{
public:
virtual void doSomething(){
...
}
~Derived() {
doSomething();
}
};
Base *pBaseObj = new Derived;
一旦Derived class的析构函数开始执行时,对象内的Derived class成员变量便呈现未定义值。此时,如果调用Derived class的虚函数,Derived class的虚函数几乎必然取用Derived自身的成员变量,但是此时的Derived自身的成员变量呈现的是未定义值,会导致不明确的行为。