C++ 析构函数末尾的分段错误

我不知道这个问题是否会很清楚，因为我不能给出太多细节（我使用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”的行上。类数据只有A、B和C作为动态分配的属性。我还尝试显式地调用其他非动态复合属性的析构函数，以查看它们在销毁过程中是否出错，但是segfault再次发生在析构函数的末尾。在这一点上，什么样的错误会导致segfault

我希望问题足够清楚，如果需要，我会补充细节

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

• 关于删除和原始指针之前的检查：正如我所说，这不是我的选择。我想这是一种双重保护，以防出现问题，并且数据结构的其他所有者已经删除了a、B或C。选择raw指针与shared_ptr或其他安全/智能指针可能是因为该类几乎从未直接使用过，而仅由具有数据指针的类映射对象使用。这个类映射是在同一个库中实现的，所以他们可能会选择原始指针，因为他们知道自己在处理什么以及如何处理
• 是的，数据结构由同一对象的所有副本共享。特别是，有一个Map类包含指向数据对象的指针。所有相互复制的地图共享相同的数据。引用计数器跟踪有多少个映射持有指向数据的指针。最后一个要销毁的映射将删除数据
• 数据结构的引用计数器工作正常，我检查了它
• 我不是在调用这个类的析构函数。它由类映射对象的析构函数自动调用，该对象的属性为指向数据的指针
• 数据继承自BaseData，BaseData的（虚拟）析构函数不做任何事情，因为它只是一个接口定义类
• 很难发布重现问题的代码。原因很多。这个错误只出现在2个以上的进程（这是一个mpi程序）中，我猜一个进程的某个列表是空的，并且试图访问某个元素
• 关于错误详细信息。我可以在这里为您提供调试过程中错误回溯的最后一项（我为错误的格式道歉，但我不知道如何正确地表达）：

• 0x00007FF432FBA5位于../nptl/sysdeps/unix/sysv/linux/raise.c:64处的raise（sig=）中

• 0x00007ffff43336b0在中止中（）在中止处。c:92

• 0x00007FF436965B位于../sysdeps/unix/sysv/linux/libc_fatal.c:189的libc_消息（do_abort=，fmt=）中

• malloc_printerr中的0x00007ffff43736d6（action=3，str=0x7ffff4447780“free（）：损坏的未排序块”，ptr=）位于malloc.c:6283

• 在malloc.c:3738处的0x00007ffff4379ea3 in_uuuulibc_free（mem=）

• Epetra_BlockMapData中的0x0000000000c21f71:：~Epetra_BlockMapData（this=0x1461690，u in_chrg=）位于/home/bartgol/LifeV/trilinos/trilinos-10.6.4-src/packages/Epetra/src/Epetra_BlockMapData.cpp:110

---

最后，让我重申我的疑问：哪种错误会出现在析构函数的末尾，即使所有属性都已被删除？再次感谢

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

一个可能导致函数出口出现segfault的问题是

可能是程序的其他部分导致了问题。类似于双重破坏或的东西可能会导致内存损坏

---

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

当类析构函数的显式主体完成时，它将继续执行一些隐式操作：它调用基类和成员析构函数（如果您有基类和具有非平凡析构函数的成员），如果需要，它调用原始内存释放函数

运算符delete

（是的，在典型的实现中

运算符delete

实际上是从析构函数内部调用的）。显然，这两个隐式过程中的一个导致了您案例中的崩溃。没有更多的信息，就无法准确地说

---

另外，从风格上讲，代码很糟糕。为什么他们在执行

删除
之前要检查空值？将析构函数中已删除的指针置零有什么意义？
如何调用析构函数？为什么不使用valgrind之类的memcheck工具？
delete
将空指针置零是完全有效的（它是NOP），因此不需要所有这些
if
语句。为什么要在析构函数中将删除的指针设置为0？为什么，为什么你们班要管理3个原始指针？你最好把每一个都粘在一个智能指针上（比如
unique\ptr
），请发布重现问题的代码。你是否复制周围的
数据
对象？那样的话，你需要跟进。谢谢你的回复。我就是这么想的。但我以前也尝试过手动销毁所有属性