c++oding="utf-8" ?>
c++23标准中不存在std::ranges::views::chunk_by；它未被标准化，实际应使用std::ranges::views::group_by实现连续分组，但需确保谓词满足等价关系，否则行为未定义。
std::ranges::views::chunk_by 不能用于“连续分组”——它根本不存在。C++23 标准库中没有这个视图，你看到的很可能是拼写错误、实验性实现（如 GCC 的 libstdc++ 早期草案）、或与其他语言/库（如 Rust 的 chunk_by）混淆了。
为什么找不到 chunk_by？编译器报错的常见原因
当你写 std::ranges::views::chunk_by 并编译失败时，典型错误是：
error: 'chunk_by' is not a member of 'std::ranges::views'
这是因为：
- C++20 和 C++23 标准均未定义
chunk_by； - 标准里存在的类似功能是
std::ranges::views::chunk（按固定大小切分）和std::ranges::views::adjacent_remove_if（用于相邻去重），但都不做“按谓词连续分组”； - 某些编译器（如 GCC 13+）在实验模式下曾短暂提供过
chunk_by草案，但已被移除或重命名——它从未标准化。
想实现“连续分组”，该用什么？
所谓“连续分组”，即把相邻且满足某条件的元素聚成一组（比如连续正数、连续相同字符、连续递增序列）。标准库没直接视图，但可用以下组合达成：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
std::ranges::views::group_by：C++23 新增，**这才是你要找的**——它按二元谓词对相邻等价元素分组； - 手动用
std::ranges::subrange+ 迭代器遍历：更底层，但完全可控； - 第三方库如
range-v3提供chunk_by（非标准，但稳定），需额外依赖。
示例（C++23）：
std::vector<int> v = {1,2,3,0,4,5,-1,2,2,2};<br>auto groups = v | std::ranges::views::group_by([](int a, int b) { return a > 0 && b > 0; });<br>// 注意：group_by 谓词判断「是否属于同一组」，不是「是否开启新组」</int>
⚠️ 谓词语义易错：它接收**相邻两个元素**，返回 true 表示它们应归入同一组；false 才触发分组边界。
用 group_by 实现“连续正数分组”的坑
直接写 [](int a, int b) { return a > 0 && b > 0; } 是错的——它会在 [3,0,4] 处把 3 和 0 判为不同组（✓），但 0 和 4 也判为不同组（✓），可 4 和 5 判为同组（✓）……看似对，实则逻辑脆弱。
真正健壮的写法是：
- 谓词应只依赖「等价关系」：比如
std::signbit(a) == std::signbit(b)分正负零； - 若要“连续正数”，更安全的是先映射状态再
group_by：v | views::transform([](int x){return x > 0;}) | views::group_by(std::equal_to{})； -
group_by返回的是subrange范围，不是 vector，不能直接索引，需用范围 for 或std::ranges::to转换。
最常被忽略的一点：C++23 的 group_by 要求谓词满足等价关系（自反、对称、传递），否则行为未定义。而 a>0 && b>0 不满足自反性（当 a 时，<code>a>0 && a>0 为 false），所以不能直接用——必须先提取特征再分组。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
