Bjarne:可以在构造函数中调用虚拟函数吗？

可以，但是要小心。它可能不象你期望的那样工作。在构造函数中，虚拟调用机制不起作用，因为继承类的重载还没有发生。对象先从基类被创建，“基类先于继承类(base before derived)”。

　　看看这个：

#include<string> #include<iostream> using namespace std; class B { 　public: 　　B(const string& ss) { cout << "B constructor\n"; f(ss); } 　　virtual void f(const string&) { cout << "B::f\n";} }; class D : public B { public: 　D(const string & ss) :B(ss) { cout << "D constructor\n";} 　void f(const string& ss) { cout << "D::f\n"; s = ss; } private: 　string s; }; int main() { 　D d("Hello"); }

　　程序编译以后会输出：

B constructor B::f D constructor

　　注意不是D::f。设想一下，如果出于不同的规则，B::B()可以调用D::f()的话，会产生什么样的后果：因为构造函数D::D()还没有运行，D::f()将会试图将一个还没有初始化的字符串s赋予它的参数。结果很可能是导致立即崩溃。

　　析构函数在“继承类先于基类”的机制下运行，因此虚拟机制的行为和构造函数一样：只有本地定义(local definitions)被使用——不会调用虚拟函数，以免触及对象中的（现在已经被销毁的）继承类的部分。

　　更多的细节，参见《C++语言的设计和演变》13.2.4.2和《C++程序设计语言》15.4.3。

　　有人暗示，这只是一条实现时的人为制造的规则。不是这样的。事实上，要实现这种不安全的方法倒是非常容易的：在构造函数中直接调用虚拟函数，就象调用其它函数一样。但是，这样就意味着，任何虚拟函数都无法编写了，因为它们需要依靠基类的固定的创建(invariants established by base classes)。这将会导致一片混乱。

查看本文来源