std::ranges::views::chunk_by生成逻辑分组视图而非切分容器，依据相邻元素二元谓词结果划分边界，返回惰性计算的subrange序列，需用for-range遍历或ranges::to显式转换。
chunk_by 的核心行为：它不切分容器，而是生成“逻辑分组视图”
std::ranges::views::chunk_by 不像 std::ranges::views::chunk 那样按固定大小切片，它根据相邻元素是否满足二元谓词来划分边界——每次遇到 pred(a, b) 为 false 时，就开启新组。这意味着它只产生一个 view，内部是惰性计算的子范围（subrange），不会拷贝或重排原数据。
常见误解是以为它返回 vector<vector>></vector>，实际返回的是 ranges::chunk_by_view，必须用 for 循环或 ranges::to 显式转出才可遍历每组。
- 谓词必须接受两个同类型参数（如
bool(const T&, const T&)），且应满足等价关系的部分性质（自反、对称）；否则行为未定义 - 输入范围必须是
forward_range（vector、list可以，istream_view不行） - 不能用于
const容器的非常量视图（因内部需迭代器推进，而某些const迭代器不满足forward_iterator要求）
正确写法：用 for-range 遍历每个 chunk_by 子范围
直接对 chunk_by 视图使用 for (auto&& group : ...) 是最自然的方式。每个 group 是一个 ranges::subrange，支持 begin()/end() 和范围算法（如 ranges::size、ranges::max_element）。
std::vector<int> v = {1,2,2,3,3,3,4,1,1};
auto groups = v | std::views::chunk_by(std::equal_to{});
for (auto&& g : groups) {
std::cout << "Group size: " << ranges::size(g) << ", ";
std::cout << "first: " << *g.begin() << "\n";
}
// 输出：
// Group size: 1, first: 1
// Group size: 2, first: 2
// Group size: 3, first: 3
// Group size: 1, first: 4
// Group size: 2, first: 1
- 别写
for (auto g : groups)（值语义），会触发不必要的复制；用auto&&或const auto& -
std::equal_to{}是推荐写法，比std::equal_to<int>{}</int>更泛化，也比std::less等非等价谓词更安全 - 若想提取每组首元素，直接解引用
g.begin()即可；不要试图用g[0]（subrange不一定支持随机访问）
常见错误：谓词捕获外部变量导致视图失效
如果谓词是 lambda 且捕获了局部变量（尤其是栈上对象），而该变量在视图生命周期外销毁，后续遍历时就会读取悬垂指针或未定义值。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
// ❌ 危险：s 在函数返回后析构，但 views::chunk_by 延迟求值
std::string s = "abc";
auto bad_view = vec | std::views::chunk_by([&s](char a, char b) {
return std::tolower(a) == std::tolower(b) && s.size() > 0; // s 已销毁！
});
<p>// ✅ 安全：所有捕获都为值，或确保生命周期覆盖整个视图使用期
auto good_view = vec | std::views::chunk_by([s = s](char a, char b) {
return std::tolower(a) == std::tolower(b);
});</p>- 捕获
[=]或[&]都可能出问题；优先用[s = std::move(s)]或[s]（C++20 起支持隐式移动） - 若必须引用外部状态，确保该对象的生存期严格长于视图及其所有迭代器的使用期
- 调试时可加断点在谓词内，观察是否被多次调用——
chunk_by每次比较相邻元素，调用次数 ≈size - 1
性能与兼容性注意点：C++20 起可用，但 GCC 12/Clang 14 才完整支持
std::ranges::views::chunk_by 是 C++20 标准新增，但早期编译器实现不完整。GCC 11 默认禁用，GCC 12+ 启用；Clang 13 有部分支持，Clang 14+ 稳定。MSVC 2019 16.11+ 支持，但需 /std:c++20。
- 编译失败提示类似
'chunk_by' is not a member of 'std::ranges::views'，先检查标准版本和编译器更新 - 替代方案：手动用
std::ranges::adjacent_find+ 迭代器手动分组，但代码冗长且易错 - 性能上无额外内存分配，时间复杂度 O(N)，但每次访问子范围都要重新计算起始位置（不是随机访问）
真正麻烦的是谓词设计——它决定分组逻辑是否符合业务语义，比如按绝对值差分组时，abs(a-b) 不满足等价性，可能导致意外断组。这种细节没法靠编译器报错，只能靠测试用例覆盖边界情况。
