Lambda表达式中引用捕获与非显式捕获constexpr变量的差异

咱们一步一步拆解这个问题，核心是C++对constexpr函数的参数规则，加上递归场景下的变量生命周期限制：

1. constexpr函数引用参数的硬性要求 #

C++标准明确规定：constexpr函数的引用参数必须绑定到满足特定条件的对象——要么是具备静态/线程存储期的常量表达式对象，要么是在当前常量表达式求值过程中创建的临时对象，或者是生命周期被显式延长到求值结束的对象。

当你用[&]捕获foo里的constexpr局部变量x，再在lambda里调用bar(x)时，本质是把x的引用传递给bar的const T&参数。但这里的x是foo函数内的自动存储期局部变量（哪怕它是constexpr），它的生命周期只限于当前foo的调用实例，完全不符合constexpr函数引用参数的绑定要求。

2. 递归场景放大了问题 #

foo是递归调用的模板函数，每一层递归都会生成一个全新的模板实例（因为传入的lambda类型每次都不同）。当你把lambday传递到下一层foo时，lambda里捕获的x引用，指向的是上一层foo中的局部变量。

在编译期求值l()（也就是调用lambda）时，编译器需要访问这个引用指向的x，但这个x属于上一层foo的自动存储期变量——常量表达式求值过程中，编译器不允许引用外部的自动存储期对象，因为无法保证该对象在整个编译期求值过程中始终稳定存在。

3. 传值版bar(T x)为什么没问题？ #

当bar使用传值参数时，lambda里调用bar(x)是直接传递x的值。x本身是constexpr变量，它的值是编译期可知的常量，传值操作完全符合constexpr函数的要求，彻底绕过了引用的生命周期问题，自然不会触发报错。

4. 补充：为什么不捕获（[]）反而可以？ #

如果改成不捕获直接在lambda里用x，C++17及以后的标准允许lambda在constexpr上下文中直接访问外部的constexpr变量——此时编译器会直接把x的常量值嵌入到lambda中，相当于直接使用字面量常量，而非引用。不管bar是传值还是传引用，传递的都是编译期确定的常量值，完全符合规则。

总结来说：引用捕获让lambda持有了自动存储期局部变量的引用，而递归的编译期求值过程不认可这种引用的合法性；传值版本则绕过了引用的生命周期限制，因此可以正常编译。

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