调用纯虚函数

Question

可能重复:
在构造函数内调用虚函数

看看这段代码.在Base类的构造函数中,我们可以使用'this'指针调用纯虚函数.现在,当我想创建一个指向同一个类的类型指针并将"this"转换为相同类型时.它抛出运行时异常'纯虚函数调用异常'.为什么会这样？

#include <iostream>

using namespace std;

class Base
{
  private:
  virtual void foo() = 0;
  public:
  Base()
  {
    //Uncomment below 2 lines and it doesn't work (run time exception)
    //Base * bptr = (Base*)this;
    //bptr->foo();
    //This call works
    this->foo();
  }
};

void
Base::foo()
{
  cout << "Base::foo()=0" << endl;
}

class Der : public Base
{
  public:
  Der()
  {
  }
  public:
  void foo()
  {
    cout << "Der::foo()" << endl;
  }
};

int main()
{
  cout << "Hello World!" << endl;
  Der d;
}

Answer 1

您绝不能在构造函数中调用虚函数.

虚拟函数不会以您认为的方式发送.相反,在构造期间,正在构造的基础子对象的动态类型是基类型,因此将函数调度到基函数(在您的情况下是纯虚拟的).

只是不要这样做.

(原因很明显:构造派生对象时,必须首先构造基础子对象,因此在基础构造时甚至不存在环境派生对象.)

编辑:这里有更多解释.完全允许并鼓励编译器静态执行虚拟调度,如果他们可以这样做的话.在这种情况下,在编译时确定将调用哪个实际函数.当你在构造函数中说foo()或者this->foo()在某个其他上下文中Base说你的对象时,会发生这种情况.当分派静态发生时,则直接调用实现,或者如果没有实现,则会出现链接器错误.x.Base::foo()Derived x;Base::foo()

另一方面,如果调度是动态发生的,即在运行时发生,则有可能(虽然不寻常)调度实际上最终选择Base::foo()作为最终目标.这不是"正常"的情况下发生的,因为编译器不会让你实例化纯虚函数的类,所以普通动态调度的目标始终是其实现必须存在的函数(或者至少你如果你没有链接它会得到链接器错误.

但是还有一种情况,即问题:编译器决定在运行时执行调度,无论出于何种原因,并且dipatch结束于纯虚函数.在这种情况下,您的程序将终止.函数是否实现无关紧要,但是在多态类层次结构中没有条目(将其视为"vtable中的空指针",因此= 0).为此,对象的动态类型必须是抽象基类的类型,并且调度必须动态发生.前者只能在派生对象的基础构造函数内部实现,而后者要求您说服编译器不要静态调度调用.这是this->foo()(静态)和Base * p = this; p->foo();(动态)之间的区别所在.(也与此形成鲜明对比x.Base::foo(),静态调度.)

所有这些仅仅是实施的结果,当然还包括全面的"未定义的行为".如果你想从它那里拿走一件东西,那么动态调度就是找不到纯虚函数.当然,您必须永远不要在构造函数中调用虚函数.