如何将for_each的循环语法糖改写为长尾简化集合迭代？

本文共计960个文字，预计阅读时间需要4分钟。

c++for_each 是 C++ 标准库提供的算法，本质上是函数模板，不是语法糖——它不改变语言结构，也不支持 break 或 continue，也不能修改循环变量本身（如 i++）。很多人误以为它是增强 for 循环，但实际上 C++11 引入的 for 循环（for (auto)）才是增强版的 for 循环。

常见错误现象：for_each(v.begin(), v.end(), [](int x) { if (x == 5) break; }) —— 编译失败，lambda 内的 break 无效，因为没在循环语境中。

• 适用场景：纯遍历 + 副作用（如打印、插入日志、修改元素值）
• 不适用场景：需要提前退出、依赖索引、或需访问迭代器位置（如相邻元素比较）
• 性能影响：和手写循环几乎无差别，但额外一层函数调用开销可忽略（编译器通常内联）

什么时候该用范围 for 而不是 for_each

范围 for 更简洁、直观，且天然支持引用、const、移动语义等。例如遍历并修改原容器元素：

std::vector<int> v = {1, 2, 3}; for (auto& x : v) x *= 2; // 直接改原值

而用 for_each 实现同样效果，得写成：

for_each(v.begin(), v.end(), [](int& x) { x *= 2; });

• 范围 for 自动推导 begin()/end()，对自定义类型更友好（只要支持 ADL 查找）
• for_each 要显式传迭代器区间，容易写错边界（比如用 v.end() - 1 漏掉最后一个）
• 调试时，范围 for 的断点更易定位；for_each 的 lambda 可能被内联，堆栈不清晰

for_each 配合 lambda 的实用技巧

真正发挥 for_each 价值的地方，在于它作为算法接口，能自然接入函数对象组合、绑定或状态捕获。比如统计偶数个数：

int count = 0; for_each(v.begin(), v.end(), [&count](int x) { if (x % 2 == 0) ++count; });

注意必须用 [&count] 捕获引用，否则 count 是副本，修改无效。

• 避免值捕获大对象（如 [v]），会触发拷贝；优先用引用 [&v] 或只捕获所需字段
• 如果要复用逻辑，把 lambda 提取为具名函数对象或 std::function，但注意虚调用开销
• 与 std::bind 混用时容易产生可读性灾难，不如直接写 lambda

for_each 在 C++20 中的替代选择

C++20 引入了 std::ranges::for_each，支持更灵活的范围概念，无需手动传迭代器：

std::ranges::for_each(v, [](int x) { std::cout << x << " "; });

但它仍不具备提前退出能力。若需要条件中断，应转向 std::ranges::find_if 或手写循环。

• 兼容性：C++20 起可用，旧项目慎用；MSVC 19.28+、GCC 10+、Clang 10+ 支持
• 注意 std::ranges::for_each 返回的是传入的函数对象，不是 void，可用于链式调用（极少用）
• 别和 std::for_each_n 混淆——后者只处理前 N 个元素，参数数量和语义都不同

最常被忽略的一点：无论用哪种方式，只要涉及多线程并发修改同一容器，for_each 和范围 for 都不会自动加锁——同步责任完全在使用者手上。