开发学院软件开发C++ Bjarne:可以在构造函数中调用虚拟函数吗? 阅读

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

 2008-03-08 22:02:49 来源:WEB开发网   
核心提示:可以,但是要小心,Bjarne:可以在构造函数中调用虚拟函数吗?,它可能不象你期望的那样工作,在构造函数中,任何虚拟函数都无法编写了,因为它们需要依靠基类的固定的创建(invariants established by base classes),虚拟调用机制不起作用,因为继续类的重载还没有发生

  可以,但是要小心。它可能不象你期望的那样工作。在构造函数中,虚拟调用机制不起作用,因为继续类的重载还没有发生。对象先从基类被创建,“基类先于继续类(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)。这将会导致一片混乱。

Tags:Bjarne 可以 构造

编辑录入:爽爽 [复制链接] [打 印]
[]
  • 好
  • 好的评价 如果觉得好,就请您
      0%(0)
  • 差
  • 差的评价 如果觉得差,就请您
      0%(0)
赞助商链接