4

可能重复：
在构造函数中调用虚函数

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

2 回答 2

16

绝对不能在构造函数中调用虚函数。

虚函数不会像你想象的那样被调度。相反，在构造期间，正在构造的基本子对象的动态类型是基本类型，因此该函数被分派给基本函数（在您的情况下是纯虚拟的）。

只是不要这样做。

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

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

另一方面，如果调度是动态发生的，即在运行时，那么尽管不寻常，调度实际上有可能Base::foo()最终被选为最终目标。这在“正常”条件下不会发生，因为编译器不会让你用纯虚函数实例化一个类，所以普通动态调度的目标总是一个必须存在实现的函数（或者至少你如果你不链接它会得到一个链接器错误）。

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

当然，所有这一切都只是实施的结果，并被笼统的“未定义行为”所涵盖。如果你想从中拿走一件事，那就是动态调度找不到纯虚函数。当然，你绝不能在构造函数中调用虚函数。

于 2012-03-02T06:46:38.113 回答
1

对于您可能尝试做的事情，这是不正确的程序。

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

一个人可能实际上从构造函数或析构函数调用了一个非纯虚函数，但是你必须知道要调用的是类本身的方法，而不是任何多态的。

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

于 2012-03-02T07:30:06.183 回答