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

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

　　看看这个：

#include

　　#include

　　using namespace std;

　　class B {

　　　public:

　　B(const string& ss) { cout << "B constrUCtor

"; f(ss); }

　　virtual void f(const string&) { cout << "B::f

";}

　　};

　　class D : public B {

　　public:

　　　D(const string & ss) :B(ss) { cout << "D constructor

";}

　　　void f(const string& ss) { cout << "D::f

"; 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)。这将会导致一片混乱。