Question

可能重复：
Calling virtual functions inside constructors

看看这段代码。在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

您必须永远不要在构造函数中调用虚函数。

虚拟函数不会以您认为的方式发送。相反，在构造期间，正在构造的基础子对象的 dynamic 类型是基类型，因此函数被分派到基函数（在您的情况下是纯虚拟的）。 / p>

就是不要这样做。

（原因很明显：构造派生对象时，必须首先构造基础子对象，因此在构造基础时甚至不存在环境派生对象。）

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

另一方面，如果调度发生动态，即在运行时，则有可能（尽管不寻常）调度实际上最终选择Base::foo()作为最终目标。这在“正常”条件下不会发生，因为编译器不允许您使用纯虚函数实例化类，因此普通动态调度的目标始终是必须存在实现的函数（或者至少是您如果你没有链接它，会出现链接器错误。

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

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

Answer 2

这是您可能尝试做的不正确的程序。

您需要一个两阶段构造，为此您应该使用创建该类的工厂对象，然后在其上调用虚拟方法。

实际上可以从构造函数或析构函数中调用非纯虚函数，但是你必须知道将要调用的是来自类本身的方法，而不是任何多态的方法。

从构造函数调用纯虚函数是未定义的行为。无论何时构造类，无论是直接从构造函数（编译器可能能够捕获和警告）调用它，还是从构造函数调用的方法调用它（这可能超出了编译器或链接器来检测）。

调用纯虚函数

2 个答案: