对 clang 中析构函数的未定义引用

Undefined reference to a destructor in clang

本文关键字：未定义 引用 析构函数 clang      更新时间：2023-10-16

编译以下代码给出了"对'A：：~A(("的未定义引用：

#include <cstdlib>
#include <memory>
template <typename T>
struct A {
A() {}
~A() {}
};
struct Aggregate {
using key_vector = A<char>;
using value_vector = A<int>;
value_vector vals;
key_vector keys;
};
int
main()
{
auto x = malloc(sizeof(Aggregate));
new (x) Aggregate{};
return 0;
}

问题存在于 Clang 7.0 和 6.0 上(可能还有一些其他版本(。请参阅：https://godbolt.org/z/GNPk3V

在较新的 clang 版本和 gcc 上，它工作正常。

这是意料之中的还是叮当声中的某种错误？

这似乎是错误 28280，由 https://reviews.llvm.org/D45898 修复：

如果大括号初始化列表中的初始值设定项是具有非平凡析构函数的C++类，请将该析构函数标记为引用。这修复了 CodeGenFunction：:d estroyCXXObject 中的崩溃，当它尝试在堆栈展开路径上发出对析构函数的调用时发生，但该类的 CXXRecordDecl 没有析构函数的 CXXDestructorDecl 时发生。

此示例确实使用大括号的初始化列表，并在调用_Unwind_Resume之前发出析构函数调用。析构函数并非微不足道。将初始化更改为使用()而不是{}会使错误消失，因为它不再使用大括号初始化列表。我的评论中的析构函数调用可能会导致析构函数被标记为引用。也许启用优化与使其仅出现在非平凡析构函数中的相同内容相同。

相关文章：