LLVM 18中-flto与-ffat-lto-objects组合导致虚表未定义错误

问题本质 #

这是LLVM 18中Unified LTO管道与Fat LTO Objects特性组合的兼容性bug，并非代码虚函数定义缺失或编译标志遗漏导致。当同时启用-ffat-lto-objects和-funified-lto时，LTO阶段对C++虚表符号的生成与解析逻辑出现异常，导致本该合并的虚表被标记为未定义，尤其在虚函数定义分散在多个编译单元时会大规模触发。

临时解决方案 #

针对这个问题，有三种可行的临时处理方式：

1. 禁用Unified LTO #

移除-funified-lto编译选项，使用传统Thin/Full LTO搭配-ffat-lto-objects。虽然会失去Unified LTO的部分优化能力，但能保证编译链接正常完成：

clang++-18 main.cpp file1.cpp -o prog -flto -ffat-lto-objects -fuse-ld=lld-18

2. 放弃Fat LTO Objects #

如果必须使用Unified LTO的优化，暂时移除-ffat-lto-objects选项，回归常规Unified LTO流程：

clang++-18 main.cpp file1.cpp -o prog -flto -funified-lto -fuse-ld=lld-18

3. 显式指定Key Function #

对所有含虚函数的类，将其中一个虚函数（通常选析构函数）的定义放在类外部的源文件中，强制编译器在特定编译单元生成虚表，从而绕过符号解析bug。以你的示例代码为例：

修改file2.hpp：

#include "file1.hpp"

class child : public base {
public:
  ~child() override; // 仅声明析构函数
  void fun1() override {}
};

新增file2.cpp：

#include "file2.hpp"

child::~child() = default; // 在源文件中定义析构函数

然后重新编译：

clang++-18 main.cpp file1.cpp file2.cpp -o prog -flto -ffat-lto-objects -funified-lto -fuse-ld=lld-18

后续建议 #

这个问题属于LLVM 18新特性组合的边缘场景bug，建议关注LLVM官方的bug修复进度，等待后续版本的补丁完善。在修复前，根据项目对优化特性的优先级选择上述方案。

内容的提问来源于stack exchange，提问作者Az Kalaak