std::ranges::views::chunk_by 根据相邻元素是否满足二元谓词划分逻辑组，返回懒求值的子范围视图，首元素必为新组起点，谓词返回 true 表示同组，仅比较相邻元素且不聚合全局相同值。
chunk_by 的核心行为：它不切分数据，只标记分组边界
std::ranges::views::chunk_by 不是按固定长度切块（那是 chunk），而是根据相邻元素是否满足二元谓词来划分逻辑组。它返回的是一个视图，每个元素是一个子范围（subrange），这些子范围对应连续的、被谓词判定为“属于同一组”的元素段。
常见误解是把它当成分组工具（比如按值相等分组），但注意：它只看相邻元素，不聚合全局相同值——{1,2,1} 中的两个 1 会被分在不同组里。
- 谓词必须是二元的，签名类似
bool(const T&, const T&)，接收前一个和当前元素 - 第一个元素总是新组的起点，没有“前一个”可比，所以首组至少含 1 个元素
- 返回的视图是懒求值的，不拷贝原始数据，也不预分配内存
正确写法：用 lambda 表达式捕获相等性判断
最常用场景是“相邻相等分组”，比如把 {1,1,2,2,2,3} 变成三组 {1,1}、{2,2,2}、{3}。这时谓词应返回 false 表示“断开”，即当前元素与前一个不相等时开启新组：
auto grouped = data | std::views::chunk_by([](const auto& a, const auto& b) {
return a == b; // 注意：这里返回 true 表示“继续同组”，false 才分隔
});
别写成 a != b——那会导致每两个不同元素就切一刀，结果全是单元素组。
立即学习“C++免费学习笔记（深入）”；
- 如果想按奇偶分组：
[](int a, int b) { return (a & 1) == (b & 1); } - 如果源是
std::vector<:string></:string>，想按首字母分组：[](const auto& s1, const auto& s2) { return !s1.empty() && !s2.empty() && s1[0] == s2[0]; } - 谓词里不要修改传入参数，也不能抛异常（否则未定义行为）
迭代 chunk_by 结果时，必须解引用 subrange 获取底层迭代器
返回的每个“组”是 std::ranges::subrange<It> 类型，不是容器，不能直接用 size() 或 begin()/end() ——得先取 .begin() 和 .end()：
for (const auto& group : grouped) {
std::cout << "Group size: " << std::ranges::distance(group) << "\n";
for (const auto& x : group) { // 这里 range-for 自动调用 group.begin()/end()
std::cout << x << " ";
}
std::cout << "\n";
}
错误写法：group.size() 编译不过；std::vector(group) 会触发拷贝，失去视图的零开销优势。
- 如果需要存储某组内容，显式构造：
std::vector<int>(group.begin(), group.end()) -
std::ranges::distance(group)是安全的 O(1)（对随机访问迭代器）或 O(n)（对输入迭代器），别用std::ranges::size(group)——它可能不可用 - 原序列若在
chunk_by视图存活期间被修改，行为未定义
兼容性陷阱：GCC 12+ 和 Clang 14+ 才完整支持，MSVC 19.3x 有 bug
std::ranges::views::chunk_by 是 C++23 标准特性，但早期实现不一致。GCC 12.1 之前不支持；Clang 14 开始支持但需 -std=c++2b；MSVC 19.32–19.34 在某些组合下会崩溃（比如谓词捕获局部变量后绑定到临时视图）。
- 检查编译器版本：
__cpp_lib_ranges_chunk_by >= 202207L（C++23 要求） - 生产环境建议加 fallback：对简单相邻相等场景，手写循环更可控
- 别依赖
chunk_by的移动语义——它的视图对象本身小且廉价，但内部状态依赖原序列生命周期
真正容易被忽略的点是：它不处理空序列的边界情况——输入为空时，chunk_by 视图也为空，但没人会提前检查这点，直到运行时报错说“试图遍历空视图的 begin()”。
