Question

我有时会注意到计算机崩溃的程序出现错误：“纯虚函数调用”。

当无法创建抽象类的对象时，这些程序如何编译？

Answer 1

如果您尝试从构造函数或析构函数进行虚函数调用，则会导致它们。由于您无法从构造函数或析构函数进行虚函数调用（派生类对象尚未构造或已被销毁），因此它调用基类版本，在纯虚函数的情况下，它不会不存在。

（参见现场演示here）

class Base
{
public:
    Base() { doIt(); }  // DON'T DO THIS
    virtual void doIt() = 0;
};

void Base::doIt()
{
    std::cout<<"Is it fine to call pure virtual function from constructor?";
}

class Derived : public Base
{
    void doIt() {}
};

int main(void)
{
    Derived d;  // This will cause "pure virtual function call" error
}

Answer 2

除了从具有纯虚函数的对象的构造函数或析构函数调用虚函数的标准情况之外，如果在对象之后调用虚函数，也可以获得纯虚函数调用（至少在MSVC上）已被摧毁。显然，尝试这样做是一件非常糟糕的事情，但是如果你正在使用抽象类作为接口而你搞砸了，那么你可能会看到它。如果您使用引用的计数接口并且您有一个引用计数错误或者如果您在多线程程序中有对象使用/对象破坏竞争条件，则可能更有可能...关于这些类型的纯粹调用的事情是它的通常不太容易理解正在发生的事情，因为检查ctor和dtor中虚拟呼叫的“常见嫌疑人”会变得干净。

为了帮助调试这些类型的问题，您可以在各种版本的MSVC中替换运行时库的purecall处理程序。您可以使用此签名提供自己的功能：

int __cdecl _purecall(void)

并在链接运行时库之前链接它。这使您可以控制检测到纯调用时发生的情况。一旦掌握了控制权，就可以做一些比标准处理程序更有用的事情。我有一个处理程序，可以提供purecall发生位置的堆栈跟踪;请参阅此处：http://www.lenholgate.com/blog/2006/01/purecall.html了解更多详情。

（注意，您也可以调用_set_purecall_handler（）在某些版本的MSVC中安装处理程序。）

Answer 3

通常当您通过悬空指针调用虚函数时 - 很可能该实例已被破坏。

也可能有更多“创造性”的原因：也许你已经设法切掉了实现虚拟功能的对象部分。但通常只是实例已经被破坏了。

Answer 4

我猜有一个为抽象类创建的vtbl由于某些内部原因（某些运行时类型信息可能需要它）并且出现问题并且真实对象获得它。这是一个错误。仅此一点应该说不可能发生的事情是。

纯粹猜测

编辑：看起来我在这个案子中错了。 OTOH IIRC有些语言允许vtbl调用构造函数析构函数。

Answer 5

我使用VS2010，每当我尝试直接从公共方法调用析构函数时，我在运行时遇到“纯虚函数调用”错误。

template <typename T>
class Foo {
public:
  Foo<T>() {};
  ~Foo<T>() {};

public:
  void SomeMethod1() { this->~Foo(); }; /* ERROR */
};

所以我把里面的内容~Foo（）移动到单独的私有方法，然后它就像一个魅力。

template <typename T>
class Foo {
public:
  Foo<T>() {};
  ~Foo<T>() {};

public:
  void _MethodThatDestructs() {};
  void SomeMethod1() { this->_MethodThatDestructs(); }; /* OK */
};

Answer 6

如果你使用Borland / CodeGear / Embarcadero / Idera C ++ Builder，你可以实现

NotImplementedError

调试时在代码中放置一个断点并在IDE中查看callstack，否则如果你有适当的工具，则在你的异常处理程序（或那个函数）中记录调用堆栈。我个人使用MadExcept。

PS。原始函数调用位于[C ++ Builder] \ source \ cpprtl \ Source \ misc \ pureerr.cpp

Answer 7

我遇到了这样一个场景：纯虚拟函数由于对象被破坏而被调用，Len Holgate已经有了一个很好的答案，我想通过示例添加一些颜色：

已创建派生对象，并且指针（作为基类）为保存在某个地方
已删除“派生”对象，但不知何故指针是仍然被引用
指向已删除的指针派生对象被调用

Derived类的析构函数将vptr点重置为具有纯虚函数的基类vtable，因此，当我们调用虚函数时，它实际上会调用纯虚函数。

之所以会发生这种情况，是因为存在明显的代码错误，或者是在多线程环境中出现了复杂的竞争状况。

这是一个简单的示例（关闭优化功能的g ++编译-简单的程序可以轻松地优化掉）：

 #include <iostream>
 using namespace std;

 char pool[256];

 struct Base
 {
     virtual void foo() = 0;
     virtual ~Base(){};
 };

 struct Derived: public Base
 {
     virtual void foo() override { cout <<"Derived::foo()" << endl;}
 };

 int main()
 {
     auto* pd = new (pool) Derived();
     Base* pb = pd;
     pd->~Derived();
     pb->foo();
 }

堆栈跟踪如下：

#0  0x00007ffff7499428 in __GI_raise (sig=sig@entry=6) at ../sysdeps/unix/sysv/linux/raise.c:54
#1  0x00007ffff749b02a in __GI_abort () at abort.c:89
#2  0x00007ffff7ad78f7 in ?? () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#3  0x00007ffff7adda46 in ?? () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#4  0x00007ffff7adda81 in std::terminate() () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#5  0x00007ffff7ade84f in __cxa_pure_virtual () from /usr/lib/x86_64-linux-gnu/libstdc++.so.6
#6  0x0000000000400f82 in main () at purev.C:22

要点：

如果对象已被完全删除，这意味着调用了析构函数，并且回收了内存，由于内存已返回操作系统，我们可能只是得到Segmentation fault，而程序无法访问它。因此，这种“纯虚函数调用”场景通常发生在将对象分配到内存池上的情况下，而删除对象时，底层内存实际上并没有被OS回收，它仍然可以被进程访问。

Answer 8

这是一种偷偷摸摸的方式。我今天基本上发生了这件事。

class A
{
  A *pThis;
  public:
  A()
   : pThis(this)
  {
  }

  void callFoo()
  {
    pThis->foo(); // call through the pThis ptr which was initialized in the constructor
  }

  virtual void foo() = 0;
};

class B : public A
{
public:
  virtual void foo()
  {
  }
};

B b();
b.callFoo();

“纯虚函数调用”崩溃来自何处？

8 个答案: