看下面的这段代码,问 print调用的是基类还是派生类的版本?
/**
* @file virtual-constructor.cc
* @brief
* @author L.J.SHOU shoulinjun@126.com
* @version 0.1.00
* @date 2014-06-28
*/
#include
using namespace std;
class Base {
public:
Base() {
print(); //which print() is invoked??
}
virtual void print() const {
cout << "printing Base" << endl;
}
private:
};
class Derived : public Base {
public:
Derived() {
}
virtual void print() const {
cout << "printing Derived" << endl;
}
};
int main(void)
{
Derived d;
return 0;
}
答案是 基类。。。
可能大家会很惊讶,print不是virtual function 吗?为什么不是调用派生类的版本呢?
首先,当定义一个派生类的对象的时候,
由于
base class 构造函数的执行更早于 derived class
构造函数,
所以当 base class constructor 调用的时候,派生类的成员尚未初始化(说明,这个时候真正的 虚函数表尚未完全初始化)。
如果这个时候调用 派生类的函数(可能使用未初始化的成员)的话,必定会出现麻烦。
因此 C++ 禁止你这样做。。
其实,
在派生类对象的 base class 构造期间, 对象的类型是 bass class 而不是 derived class.
因此,虚函数调用的一定是 基类的版本。。
相同的道理,同样适用于析构函数。
大家知道,派生类对象析构的时候,析构函数调用顺序正好与 构造函数相反:
派生类的析构函数先于基类的析构函数。
因此,在 base 析构函数调用的过程中, 编译器视其为基类对象。。