调用纯虚函数

Calling pure virtual function

本文关键字：函数 调用      更新时间：2023-10-16

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

看看这个代码。在基类的构造函数中，我们可以使用"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;
}

切勿在构造函数中调用虚函数。

虚拟函数不会像您想象的那样被调度。 相反，在构造期间，正在构造的基本子对象的动态类型是基类型，因此函数被调度到基函数(在您的例子中是纯虚拟的(。

只是不要这样做。

(原因很明显：在构造派生对象时，

必须首先构造基子对象，因此在基构造时甚至不存在环境派生对象。

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

另一方面，如果调度是

动态发生的，即在运行时，那么尽管不寻常，调度实际上最终会选择Base::foo()作为最终目标，尽管这很不寻常。这在"正常"条件下不会发生，因为编译器不允许你实例化具有纯虚拟函数的类，因此普通动态调度的目标始终是必须存在实现的函数(或者如果你不链接它，至少你会得到一个链接器错误(。

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

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

对于

您可能尝试执行的操作，这是不正确的过程。

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

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

从构造函数调用纯虚函数是未定义的行为。每当构造类时，无论是直接从构造函数(编译器可能能够捕获和警告(还是从构造函数调用的方法(这可能超出编译器或链接器要检测的范围(调用它，都会

出现这种情况。
相关文章：