Question

我不知道这个问题是否会明确，因为我不能提供太多细节（我正在使用TPL并且自己写了大量的行）。但我会试一试。

我遇到了一个我无法理解的分段错误。有一个结构（我没有设计但应该经过充分测试），其析构函数看起来像这样

Data::~Data()
{
  if(A_ != 0) {
    delete A_;
    A_ = 0;
  }

  if(B_ != 0) {
    delete B_;
    B_ = 0;
  }

  if(C_ != 0) {
    delete C_;
    C_ = 0;
  }
} // HERE

困扰我的是，在调试时，我发现segfault发生在标有“HERE”的行。类Data只有A_，B_和C_作为动态分配的属性。我还尝试在其他非动态复合属性上显式调用析构函数，以查看在销毁过程中是否出现了问题，但是在析构函数结束时又发生了段错误。什么样的错误可以在这一点上产生段错误？。

我希望问题很清楚，如果需要，我会添加细节。

编辑：感谢您的回复。我知道这是一段稀疏的代码，但整个库当然太大了（顺便说一下，它来自Trilinos，但我认为错误不是他们的错，在处理他们的结构时一定是我的错误。我使用过短名称，以保持问题更紧凑）。有人在评论中回答说：

关于删除前的检查和原始指针：正如我所说，这不是我的选择。我猜这是一个双重保护，以防出现问题并且A_，B_或C_已经被数据结构的其他所有者删除了。选择原始指针vs shared_ptr或其他安全/智能指针可能是因为这个类几乎从不直接使用，而只是由具有指向Data的指针的Map类的对象。这个类Map在同一个库中实现，因此他们可能会选择原始指针，因为他们知道他们正在处理什么以及如何处理。
是的，数据结构由同一对象的所有副本共享。特别是，有一个Map类，它包含一个指向Data对象的指针。所有Map都是彼此的副本，共享相同的数据。引用计数器跟踪有多少Map持有指向数据的指针。要销毁的最后一个Map，删除数据。
数据结构的引用计数器正常工作，我检查了它。
我不是在调用这个类的析构函数。它由类Map的对象的析构函数自动调用，该对象具有指向Data作为属性的指针。
数据继承自BaseData，其（虚拟）析构函数不执行任何操作，因为它只是一个定义类的接口。
很难发布重现问题的代码。因为许多的原因。该错误只出现在2个以上的进程中（这是一个mpi程序），我猜这个进程有一些空的列表，并尝试访问某个元素。
关于错误详情。我可以在这里给你在调试期间错误的回溯中的最后一项（我为糟糕的格式道歉，但我不知道如何妥善表达）：
1. 0x00007ffff432fba5 in raise（sig =）at ../ nptl / sysdeps / unix / sysv / linux / raise.c：64
2. 0x00007ffff43336b0 in abort（）at abort.c：92
3. 0x00007ffff436965b in __libc_message（do_abort =，fmt =）at ../sysdeps/unix/sysv/linux/libc_fatal.c:189
4. malloc_printerr中的
  0x00007ffff43736d6（action = 3，str = 0x7ffff4447780“free（）：在malloc.c中损坏的未排序块”，ptr =）：6283
5. 0x00007ffff4379ea3 in __libc_free（mem =）at malloc.c：3738
6. 在/home/bartgol/LifeV/trilinos/trilinos-10.6.4-src/packages/epetra/src/Epetra_BlockMapData.cpp:110 0x0000000000c21f71 >

最后，让我重申一下我的疑问：即使所有属性都已被删除，析构函数的结尾会出现什么样的错误？再次感谢！

Answer 1

在功能退出时可能导致 segfault 的一个问题是 heap or stack corruption 。

程序的某些其他部分可能会导致问题。像双重破坏或 buffer overrun 之类的东西会导致内存损坏。

通常，程序的调试版本将包括在函数出口处检查以确保堆栈完好无损。如果不是，那么，你会看到结果。

Answer 2

当类析构函数的显式体完成时，它继续执行一些隐式操作：它调用基类和成员析构函数（如果你有基类和具有非平凡析构函数的成员），并且如果需要，它调用它原始内存释放函数operator delete（是的，在典型的实现中operator delete实际上是从析构函数内部调用的）。显然，这两个隐式进程中的一个导致了你的情况崩溃。没有更多的信息，没有办法准确说出来。

P.S。风格上代码很糟糕。他们为什么在做delete之前检查null？在析构函数中清除已删除指针的重点是什么？

Answer 3

很难从您展示的稀缺代码中辨别出来。您可能很容易就已经释放了一个类成员或基类在其自己的析构函数中使用的资源。

析构函数结束时的分段错误

3 个答案: