std::views::chunk_by按谓词翻转切分，非固定大小；chunk按位置等长切分，二者语义完全不兼容：前者值驱动（如equal_to得[1,1],[2,2,2],[3],[1]），后者位置驱动（如每3个一组）。
std::views::chunk_by 不是按固定大小切块，它只关心相邻元素之间“谓词是否翻转”——比如值相等、符号变化、奇偶切换。用错场景（例如想每 3 个一组）会导致结果完全不符合预期。
为什么 std::views::chunk_by 和 std::views::chunk 完全不兼容
两者语义根本不同：std::views::chunk 是纯位置驱动（第 1–3 个、4–6 个…），而 std::views::chunk_by 是值驱动的分组：只要 pred(a, b) 为 false，就切一刀。常见误用是传入 std::equal_to{} 想模拟 groupby，却忘了它只比较相邻对，且首元素永远开启新块。
- 输入
{1,1,2,2,2,3,1}+std::equal_to{}→ 得到[1,1],[2,2,2],[3],[1] - 输入
{1,2,2,3,3,3}+std::less_equal{}→[1,2,2]（因为2 为真，不切），<code>[3,3,3]（2 为真，但前一块已结束；真正切点在 <code>2和3之间） - 若谓词返回
true表示“应归为同一组”，则false才触发分块 —— 这和直觉相反，容易写反逻辑
std::views::chunk_by 编译失败的三个高频原因
报错不是因为语法错，而是约束没满足。最常卡在这三处：
- 没传二元谓词：只写
v | std::views::chunk_by编译不过，必须带可调用对象，如v | std::views::chunk_by(std::equal_to{}) - 谓词参数类型不匹配：若 range 元素是
int*，而谓词签名是bool(int, int)，会因类型不匹配 SFINAE 失败 —— 改成bool(int*, int*)或用auto捕获 - 输入 range 不是
forward_range：传std::list可能通过，但传std::forward_list直接编译失败（后者不支持多遍遍历，而chunk_by内部需回溯确认块边界）
如何安全地把 chunk_by 用于字符串连续字符分组
对 std::string 做“相同字符连续段”切分是典型用例，但要注意空字符串、单字符、全相同字符三种边界：
- 必须用
std::equal_to{}，不能用std::equal_to<char>{}</char>—— 后者模板实参过早固化，无法适配char&和const char&的引用折叠 - 对空 string 调用会得到空视图，迭代器 begin == end，不崩溃但需判空
- 若想跳过空白字符再分组，不能在
chunk_by外套filter（会破坏相邻性），得先用transform把空格映射为统一占位符，或改用手动循环 - 示例：
std::string s = "aaabbbccca"; auto groups = s | std::views::chunk_by(std::equal_to{}); for (const auto& g : groups) { std::cout
真正难处理的是谓词逻辑隐含状态（比如“首次出现某值”），chunk_by 本身无状态，这种需求必须退回到 for 循环或封装自定义 view —— 它只解决“局部等价性判断”，不负责全局计数或记忆。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
