C++中lambda结合std::for_each无法更新传入的引用vector<int>数组元素的原因

我有一个方法，基本功能是为传入的引用数组的每个值统一增加5。
最初我尝试了以下几种实现方案，但都无法实现对该引用数组的更新。

尝试的无效实现 #

方案1 #

void Int_Array_Update(std::vector<int>& param)
{   
    auto f1 = [](int n) { return n + 5; };
    std::for_each(param.begin(), param.end(), f1);
}

方案2 #

void Int_Array_Update(std::vector<int>& param)
{   
    auto f1 = [&](int n) { return n + 5; };
    std::for_each(param.begin(), param.end(), f1);
}

方案3 #

void Int_Array_Update(std::vector<int>& param)
{   
    auto f1 = [&param](int n) { return n + 5; };
    std::for_each(param.begin(), param.end(), f1);
}

临时可行实现 #

void Int_Array_Update(std::vector<int>& param)
{   
    for (int i = 0; i < param.size(); ++i)
        param[i] = param[i] + 5;
}

疑问 #

找不到lambda函数无法更新该引用vector的原因，也不清楚是否是自身实现存在误区。

你的代码没有生效，和lambda捕获方式基本无关，核心是两个C++算法与lambda的基础用法误区：

• std::for_each 不会自动回填可调用对象的返回值：这个算法的设计逻辑是，把范围内的每个元素依次传给你传入的可调用对象，仅仅执行调用动作，完全不处理调用后的返回值——就算你的lambda算出了n+5的结果，这个值也会被直接丢弃，不会写回原vector。
• 你的lambda接收的是元素的值拷贝，不是引用：三个方案里的lambda入参都是int n，这意味着for_each把元素传进来的时候，会临时拷贝一份值传给lambda，你在lambda里修改的、计算的都是栈上的临时拷贝，和原vector里存的元素没有任何绑定关系。

三个无效方案的具体问题 #

• 方案1：lambda无捕获，值传递参数，返回计算结果——既没有拿到原元素的访问权限，计算结果又被for_each丢弃，完全没有修改效果。
• 方案2：[&]按引用捕获上下文变量，值传递参数——哪怕捕获了param，lambda内部根本没有访问param的成员，拿到的还是元素的临时拷贝，返回值依旧被丢弃，和方案1没有实质区别。
• 方案3：显式按引用捕获param，值传递参数——和方案2的问题完全一致，捕获行为没有给lambda提供任何修改原数组的路径。

正确实现方式 #

1. 适配std::for_each的写法 #

如果要继续用for_each，需要把lambda的入参改成元素的引用类型，让lambda直接操作原内存位置的元素，不需要返回值：

void Int_Array_Update(std::vector<int>& param)
{   
    auto f1 = [](int& n) { n += 5; };
    std::for_each(param.begin(), param.end(), f1);
}

这里的核心改动是lambda入参从int n改为int& n，for_each解引用迭代器得到元素的引用后直接传入lambda，修改操作会直接作用在原vector的元素上。

2. 保留“计算返回值”逻辑的写法 #

如果你更习惯写返回新值的lambda，就不应该用for_each，换用设计语义完全匹配的std::transform——这个算法的作用就是把源区间的元素传给可调用对象，将返回值写入指定的目标区间：

void Int_Array_Update(std::vector<int>& param)
{   
    auto f1 = [](int n) { return n + 5; };
    // 源区间为param的全量元素，目标区间从param起始位置开始，将每个计算结果写回原位置
    std::transform(param.begin(), param.end(), param.begin(), f1);
}

常见认知误区：很多人会混淆for_each和transform的语义，误以为for_each会像函数式编程的map操作一样自动把返回值映射回原数组。实际上for_each从设计之初就只负责遍历执行传入的可调用对象，本身的函数返回值是你传入的可调用对象实例，从来不会处理可调用对象的返回值向原元素的回填逻辑。

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