关于C++ Lambda左值引用捕获的疑问：为何两种写法一禁一允？

核心原因是C++左值引用的绑定规则，以及Lambda捕获初始化的本质：

1. Lambda引用捕获的本质 #

Lambda的捕获初始化（&z = ...）本质是在闭包类中创建一个左值引用成员，然后用等号右侧的表达式初始化这个引用。因为你在Lambda里执行了++z操作，这里的引用必须是可修改的非const左值引用，而C++对这类引用的绑定有严格限制。

2. 左值引用的绑定限制 #

非const左值引用只能绑定到可修改的左值（lvalue），不能绑定到右值（rvalue）或临时对象：

• 左值是拥有持久内存地址、可以被取地址的表达式（比如命名变量z）。
• 右值是临时生成的值（比如10*z的运算结果），没有持久内存地址，表达式执行完毕后就会被销毁。

3. 对两个例子的具体分析 #

• &z = 10*z：10*z是算术运算的结果，属于右值。如果允许左值引用绑定这个临时值，后续Lambda中执行++z时，引用指向的临时对象已经销毁，会导致悬垂引用，触发未定义行为。因此编译器直接报错阻止这种操作。
• &z = z：等号右侧的z是命名变量，属于可修改的左值，有明确的内存地址。闭包中的引用成员会直接绑定到外部的z变量，后续Lambda内的++z操作的就是外部的z，完全符合左值引用的绑定规则，因此被允许。

补充：如果想捕获运算结果怎么办？ #

如果需要捕获10*z的值，可以用值捕获（[z = 10*z]），此时闭包会创建一个成员变量存储这个值，而非引用。如果一定要用引用，只能先把运算结果存到一个左值变量中，再捕获这个变量的引用：

int temp = 10*z;
auto pf = [&z = temp](int x) { /* ... */ };

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