C++如何使用 std::ranges::views::chunk_by 进行序列的连续分组遍历-C++-PHP中文网

chunk_by 的核心行为是按相邻元素谓词结果分组，将连续满足 pred(a,b) 为 true 的相邻元素聚成一组，遇 false 即切分，本质为“连续等价类”划分，非按值分组或去重。

c++如何使用 std::ranges::views::chunk_by 进行序列的连续分组遍历

chunk_by 的核心行为：按相邻元素的谓词结果分组

std::ranges::views::chunk_by 不是按固定长度切分，而是把连续满足「谓词返回 true」的相邻元素聚成一组。它只看相邻元素对的比较结果，一旦 pred(a, b) 为 false，就在此处切开——所以它本质是“连续等价类”划分，不是「按值分组」也不是「去重」。

常见误用是把它当 group_by（比如按 value 分组），但 C++20 标准库里没有 group_by；若需按值归并相同元素，必须先确保序列已排序或已按目标属性有序，否则结果不可靠。

谓词签名必须是 bool(decltype(*it), decltype(*it))，即接收两个同类型参数（通常是迭代器解引用结果）
输入范围必须是 forward_range，不能是 input_range（比如 istream_view）
返回的是一个 view of views：外层是 chunk 组，每组内是原 range 的子视图（非拷贝）

正确写法示例：按连续正负号分组

假设有一串整数，想把连续的正数、连续的负数、连续的零各自归为一组：

std::vector<int> v = {1, 2, -3, -4, 0, 5, 6, 7};
auto chunks = v | std::views::chunk_by([](int a, int b) {
    return (a > 0) == (b > 0) && (a 
<p>注意这个谓词逻辑：它判断两个数是否「属于同一符号类别」。如果写成 <code>std::signbit(a) == std::signbit(b)</code> 会把 -0 和 +0 错判（虽然实际中少见），更稳妥的是显式分类。</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
														src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
													<p class="overflowclass">C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。</p>
												</div>
												<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div>
<ul>
<li>不要写 <code>a == b</code> —— 这只会把连续相等的数分组，而非按语义分组</li>
<li>不要传 <code>std::equal_to{}</code> —— 它只适用于完全相等，无法表达「同类」逻辑</li>
<li>chunk_by 不保证每组至少有一个元素：空 range 输入时输出也是空 view</li>
</ul>
<h3>和 chunk 的关键区别：长度 vs 谓词</h3>
<p><code>std::views::chunk(n)</code> 是按固定大小切块，而 <code>chunk_by</code> 完全无视长度，只响应谓词变化。两者语义完全不同，混用会导致逻辑错误。</p>
<ul>
<li>
<code>views::chunk(3)</code> 对 <code>{1,2,3,4,5}</code> 输出三组：<code>{1,2,3}</code>、<code>{4,5}</code>（最后一组不满也保留）</li>
<li>
<code>views::chunk_by([](int a,int b){return a%2 == b%2;})</code> 对同样数据输出：<code>{1}</code>、<code>{2}</code>、<code>{3}</code>、<code>{4}</code>、<code>{5}</code>（因为奇偶交替，相邻都不满足）</li>
<li>性能上，<code>chunk_by</code> 每次都要调用谓词比较相邻元素，有额外函数调用开销；<code>chunk</code> 是纯算术计算，更快</li>
</ul>
<h3>容易忽略的生命周期与求值时机问题</h3>
<p><code>chunk_by</code> 返回的子视图（每个 chunk）是惰性求值的，且内部持有原始 range 的迭代器。如果原始容器在遍历中途被修改或析构，后续访问 chunk 内容将导致未定义行为。</p>
<ul>
<li>不要把 <code>chunk_by</code> 结果存为 <code>auto</code> 后，再对源容器做 <code>push_back</code> 或 <code>clear</code>
</li>
<li>若需多次遍历或跨作用域使用，应先用 <code>std::vector</code> 等容器把每个 chunk 的内容复制出来（例如 <code>std::vector<:vector>>(chunks.begin(), chunks.end())</:vector></code>）</li>
<li>调试时打印 chunk 大小可用 <code>std::ranges::distance(chunk)</code>，但注意这会强制遍历该 chunk —— 若 chunk 来自耗尽型 range（如某些 generator），重复调用可能出错</li>
</ul>
<p>真正麻烦的地方在于：chunk_by 的谓词执行时机不透明，它可能在你没意识到的时候多次调用；尤其当嵌套多个 views 时，谓词可能被反复触发，副作用（比如日志打印）会意外重复。</p></int>

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