打印本文 打印本文  关闭窗口 关闭窗口  
Bjarne：可以在构造函数中调用虚拟函数吗
作者：佚名  文章来源：不详  点击数  更新时间：2008/5/12 14:49:41  文章录入：杜斌  责任编辑：杜斌
　　可以，但是要小心。它可能不象你期望的那样工作。在构造函数中，虚拟调用机制不起作用，因为继承类的重载还没有发生。对象先从基类被创建，“基类先于继承类(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)。这将会导致一片混乱。
打印本文 打印本文  关闭窗口 关闭窗口