Clang++17 C++模块中Lambda模板实例化编译错误问题

问题分析 #

你碰到的是Clang对C++20模块模板实例化的摇树优化误删问题：当模板类func<void()>仅在模块外实例化时，Clang的摇树优化错误删除了该实例化所需的依赖代码（比如std::unique_ptr<Base>的构造相关实现，或是模板类内部关联的必要逻辑），导致模块外实例化时找不到匹配的构造函数。而在模块内提前实例化该类型（比如用未导出的abc2变量）时，编译器会强制保留实例化的全部依赖代码，所以编译正常。

解决方案 #

1. 禁用链接时摇树优化 #

添加编译选项-fno-lto，直接关闭LTO（链接时优化），避免编译器误删模板实例化的必要代码：

clang++17 -std=c++20 -fno-lto a.cppm main.cpp -o output

2. 显式导出模板特定实例化 #

在模块a.cppm中，显式导出func<void()>的实例化，强制编译器保留该实例的代码：

export module a;

// 你的模板类func定义
template<typename T>
class func {
    // ... 类实现 ...
};

// 显式导出该实例化
export template class func<void()>;

3. 模块内隐式强制实例化 #

如果不想显式导出实例化，可以在模块a.cppm的匿名命名空间里加一个无意义的函数，内部使用func<void()>，强制编译器保留实例化代码：

export module a;

// 你的模板类func定义
template<typename T>
class func {
    // ... 类实现 ...
};

namespace {
    // 强制实例化func<void()>，编译器不会删除这段代码
    void force_instantiate() {
        func<void()> temp;
    }
}

BUG确认 #

这个问题基本可以判定是Clang的BUG，因为C++20模块标准明确要求模板的外部实例化能够正确获取模块内的依赖代码，摇树优化不应误删这些必要逻辑。你可以去LLVM的官方BUG追踪系统搜索类似问题，或者提交新的BUG报告，记得附上能复现问题的最小代码示例。

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