翻译单元间共享Lambda变量遇GCC未定义错误的原因及解决

在头文件中定义了一个共享变量，该变量通过调用make_lambda()函数返回的Lambda初始化，尝试在另一个翻译单元中调用函数并传入这个Lambda变量时，GCC编译报错：

used but never defined [-fpermissive]

简化示例代码 #

头文件代码

// in shared header file
const auto make_lambda() { return [](){ }; }
inline const auto lambda = make_lambda();

cpp文件代码

// in cpp file
void func(const decltype(lambda)&);

int main() {
    func(lambda);
}

但将Lambda变量改为直接初始化时，问题消失：

inline const auto lambda = [](){ }; // <-- 此写法正常工作

错误原因 #

问题核心是Lambda类型的ODR（单一定义规则）合规性：

• 直接使用[](){}这种Lambda表达式初始化inline变量时，C++标准保证该Lambda的匿名类型在所有包含头文件的翻译单元中是完全一致的，inline变量的定义会被编译器正确合并，符合ODR要求。
• 而通过make_lambda()函数返回Lambda时，若函数未加inline修饰，每个翻译单元在包含头文件时都会独立实例化这个函数。此时函数内部返回的Lambda会被编译器视为每个翻译单元独有的匿名类型——即使代码逻辑完全相同，底层生成的类型也是不同的。
• 这种情况下，inline变量lambda在不同翻译单元中的实际类型不一致，违反了ODR。链接阶段编译器发现无法找到一个统一的、类型匹配的lambda定义，就会抛出"used but never defined"错误。

解决办法 #

有两种可靠的修复方式：

1. 直接用Lambda表达式初始化inline变量（即你已经验证可行的写法）：

   inline const auto lambda = [](){ };
   

   这种写法符合标准对inline变量和Lambda类型的规定，能保证跨翻译单元的类型一致性，不会触发ODR违规。

2. 给make_lambda()函数添加inline修饰：
   修改头文件中的函数定义：

   inline const auto make_lambda() { return [](){ }; }
   inline const auto lambda = make_lambda();
   

   加inline后，make_lambda()会被视为跨翻译单元的单一定义，其内部返回的Lambda类型也会被统一，lambda变量的类型在所有翻译单元中保持一致，满足ODR要求，编译链接即可正常通过。

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