C++如何使用std::ranges::for_each遍历范围-C++-PHP中文网

c++oding="utf-8" ?>

std::ranges::for_each 不能直接遍历，它需要可调用对象；很多人误写为 std::ranges::for_each(v, std::cout)，但 std::cout 不是可调用对象，正确用法应传入 lambda 或函数对象。

c++如何使用std::ranges::for_each遍历范围

std::ranges::for_each 不能直接遍历，它需要可调用对象

很多人写 std::ranges::for_each(v, std::cout 这类代码，编译失败——因为 <code>std::ranges::for_each 的第二个参数必须是可调用对象（如 lambda、函数指针、functor），不是表达式模板。C++20 没有内置占位符（如 _1）支持，std::placeholders::_1 也不适用于 ranges 版本。

正确做法是显式传入 lambda：

std::vector<int> v = {1, 2, 3};
std::ranges::for_each(v, [](int x) { std::cout <ul>
<li>lambda 捕获需谨慎：若需修改原容器元素，用 <code>[&](int& x) { x *= 2; }</code>（注意参数为引用）</li>
<li>不支持返回值用于短路：它总是遍历全部元素，不提供类似 <code>std::ranges::find_if</code> 的提前退出能力</li>
<li>与传统 <code>std::for_each</code> 行为一致，但接受 range 而非迭代器对，更简洁</li>
</ul>
<h3>和 std::for_each 的主要区别在参数类型和 ADL 可见性</h3>
<p><code>std::ranges::for_each</code> 接收一个 <code>range</code>（自动推导 <code>begin()/end()</code>），而 <code>std::for_each</code> 需要显式传入两个迭代器。这意味着：</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
														src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
													<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>
<ul>
<li>对 C 风格数组、初始化列表、自定义 range 类型更友好：<code>std::ranges::for_each("hello", [](char c) { ... });</code> 合法；<code>std::for_each("hello", "hello"+5, ...)</code> 才行</li>
<li>依赖 ADL：若你重载了 <code>begin</code>/<code>end</code> 在自定义命名空间，且 range 类型在该命名空间中，<code>std::ranges::for_each</code> 能通过 ADL 找到它们；<code>std::for_each</code> 则不能</li>
<li>不接受 <code>std::initializer_list</code> 的右值临时量（如 <code>{1,2,3}</code>）直接传入，会触发 lifetime extension 限制；需先绑定到 const 引用或变量</li>
</ul>
<h3>常见编译错误：no matching function for call to ‘for_each’</h3>
<p>典型报错信息是 <code>no matching function for call to ‘for_each(...)</code>，原因往往有这几个：</p>
<ul>
<li>忘记包含头文件：<code>#include <algorithm></algorithm></code>（C++20 中 <code>std::ranges::for_each</code> 在 <code><algorithm></algorithm></code>，不在 <code><ranges></ranges></code>）</li>
<li>传入的不是 valid range：比如裸指针 <code>int* p</code>，它不是 range；应改为 <code>std::span(p, n)</code> 或 <code>std::ranges::subrange(p, p+n)</code>
</li>
<li>可调用对象参数类型不匹配：例如容器是 <code>std::vector<:string></:string></code>，却写了 <code>[](int x) {...}</code>，编译器不会隐式转换</li>
<li>使用了过时的 libstdc++（GCC std::ranges 算法，需升级标准库或改用传统接口</li>
</ul>
<h3>性能和约束：没有额外开销，但要求 range 满足 input_range</h3>
<p><code>std::ranges::for_each</code> 是零成本抽象：编译后和手写 for 循环或 <code>std::for_each</code> 几乎一致，无运行时分支或动态分发。</p>
<p>但它会对 range 施加概念约束：</p>
<ul>
<li>必须满足 <code>std::input_range</code>：即能提供 <code>begin()</code>/<code>end()</code>，且迭代器满足 <code>input_iterator</code>
</li>
<li>不支持输出范围（如 <code>std::ostream_iterator</code>）作为第一个参数——它只读取，不写入目标</li>
<li>若 range 是 <code>const</code>，lambda 参数也必须接受 <code>const T&</code> 或值类型；否则编译失败</li>
</ul>
<p>真正容易被忽略的是：当你封装一个通用处理函数并接受任意 range 时，别假设所有 range 都支持多次遍历——<code>std::ranges::for_each</code> 对单次遍历 range（如某些 generator view）也合法，但它不会帮你缓存或重放。</p></int>

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！