为何for循环与std::for_each使用Lambda遍历数组生成的函数存在差异？

问题背景 #

我们需要理清Lambda表达式与迭代器的交互逻辑，以下三段代码中，onSelect是一个std::function，会在组件被选中时触发调用。其中示例1和示例3运行表现符合预期，但示例2中无论点击哪个组件，都会返回相同的索引值。核心疑问是：为何std::for_each能生成正确的Lambda绑定，而普通for循环却出现捕获陷阱？

三段代码的具体差异 #

示例1：手动绑定固定值 #

components[0].onSelect = [&]{ cout<<0; };
components[1].onSelect = [&]{ cout<<1; };
components[2].onSelect = [&]{ cout<<2; };
components[3].onSelect = [&]{ cout<<3; };
// 以此类推

• 每个Lambda都是独立定义的，直接输出固定字面量（虽然用了&捕获，但编译器会优化为直接输出常量，没有实际捕获外部变量）。
• 每个onSelect绑定的Lambda都持有专属的固定输出值，点击对应组件自然输出正确索引，行为完全符合预期。

示例2：普通for循环的Lambda捕获陷阱 #

for (int i = 0; i < numComponents; ++i)
{
    components[i].onSelect = [&]
    {
        cout<<components[i];
    };
}

• 循环中所有Lambda都通过&引用捕获了同一个i变量。整个循环周期内，i是同一个内存地址上的变量，只是不断被赋值更新。
• 当后续点击组件触发onSelect时，Lambda才会去读取i的当前值——此时循环已经结束，i的值固定为numComponents（循环终止的临界值），因此所有组件点击都会输出相同结果。
• 额外风险：如果i是栈上局部变量，循环结束后i会被销毁，后续调用Lambda会触发未定义行为。

示例3：std::for_each的正确捕获（补充代码遗漏的++i） #

int i = 0;
std::for_each (std::begin (components), std::end (components), [&](auto& component)
{
    component.onSelect = [i]{ cout<<i; }; // 此处应为按值捕获i，原代码可能笔误写为&
    ++i;
});

• std::for_each会对容器的每个元素独立调用一次外层Lambda。每次调用外层Lambda时，内层Lambda按值捕获当前的i值，因此每个内层Lambda都会持有一个i的独立副本。
• 后续点击组件时，Lambda读取的是自己持有的i副本（对应组件的索引），因此输出结果符合预期。

核心疑问解答：普通for循环与std::for_each的差异 #

普通for循环的问题根源 #

普通for循环中的i是单个变量实例，所有循环内创建的Lambda都引用捕获这个唯一变量。本质上，所有Lambda都指向同一个内存地址，当循环结束后i的值固定，自然所有调用都会返回相同结果。编译器不会为循环内的Lambda生成多个不同的闭包实例，因为它们来自同一个Lambda表达式，捕获的是同一个变量。

std::for_each的正确逻辑 #

std::for_each的迭代机制是每次调用外层Lambda处理一个元素，相当于每次创建内层Lambda的上下文都是独立的。如果内层Lambda按值捕获i，那么每次迭代都会将当前i的副本存入闭包，每个onSelect绑定的Lambda都持有自己的索引值。即使外层Lambda捕获的是i的引用，只要内层Lambda按值捕获，就能避免共享同一个变量的问题。

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