本条款开始前我要先阐述重点:你不该在构造函数和析构函数期间调用virtual函数,因为这样的调用不会带来你预想的结果,就算有你也不会高兴。
实例:
#include <iostream>
using namespace std;
class AppLogController {
public:
AppLogController();
virtual void logOutput() const;
};
AppLogController::AppLogController() {
cout<<"AppLogController construction"<<endl;
logOutput();
}
void AppLogController::logOutput() const{
cout<<"AppLogController logOutput"<<endl;
}
class AppDebugLogController : public AppLogController {
public:
AppDebugLogController();
virtual void logOutput() const;
};
AppDebugLogController::AppDebugLogController() {
cout<<"AppDebugLogController construction"<<endl;
}
void AppDebugLogController::logOutput() const{
cout<<"AppDebugLogController logOutput"<<endl;
}
int main() {
AppDebugLogController applog;
return 0;
}
输出:
AppLogController construction
AppLogController logOutput
AppDebugLogController construction
上述结果可以看出子类构造函数被调用时会先调用基类构造函数,但是虚函数调用的是基类函数不是派生类。
具体原因是:由于base class构造函数的执行更早于derived class 构造函数,当base class构造函数执行时derived class的成员变量尚未初始化。如果此期间调用virtual函数下降至derived阶层,要知道derived class的函数几乎必然取用local成员变量,而那些成员变量尚未初始化。“要求使用对象内部尚未初始化的成分”是危险的代名词,所以C++不让你走这条路。
其实还有比上述理由更根本的原因:在derived class对象的base class 构造期间,对象的类型是base class而不是derived class。
相同道理也适用于析构函数。一旦derived class析构函数开始执行,对象内的derived class成员变量便呈现未定义值,所以C++视它们仿佛不存在。进入base class析构函数后对象就成为一个base class对象,而C++的任何部分包括virtual函数、dynamic_casts等等也就那么看待它。
如果要让基类能输出派生类信息,则需要将函数改成non-virtual,然后将对应数据传递给基类:
#include <iostream>
using namespace std;
class AppLogController {
public:
AppLogController(const std::string& logInfo);
void logOutput(const std::string& logInfo) const;
};
AppLogController::AppLogController(const std::string& logInfo) {
cout<<"AppLogController construction"<<endl;
logOutput(logInfo);
}
void AppLogController::logOutput(const std::string& logInfo) const{
cout<<"AppLogController logOutput = "<<logInfo<<endl;
}
class AppDebugLogController : public AppLogController {
public:
AppDebugLogController():AppLogController("test") { //给基类传值
cout<<"AppDebugLogController construction"<<endl;
}
};
int main() {
AppDebugLogController applog;
return 0;
}
输出:
AppLogController construction
AppLogController logOutput = test
AppDebugLogController construction
请记住
-
在构造和析构期间不要调用virtual函数,因为这个类调用从不下降至derived class(比起当前执行的构造函数和析构函数的那层)。