std::ranges::all_of用于检查整个范围是否全满足条件，接受范围（如vector、array）和谓词，返回bool；需c++20、头文件，不支持裸指针对，空范围返回true。
std::ranges::all_of 用法和基本调用形式
直接用 std::ranges::all_of 检查整个范围是否满足某条件，比传统 std::all_of 更简洁、更安全，不需要手动传迭代器对。它接受一个范围（比如 std::vector、std::array 或 C 风格数组）和一个谓词（predicate），返回 bool。
常见错误是传入裸指针范围却没用 std::ranges::subrange 或 std::span 包装——这会导致编译失败或行为未定义。
- 正确写法：
std::ranges::all_of(vec, [](int x) { return x > 0; }) - 错误写法：
std::ranges::all_of(ptr, ptr + n, pred)（C++20 起已删除双迭代器重载） - 若只有指针+长度，先转成
std::span：std::ranges::all_of(std::span{ptr, n}, pred)
谓词参数怎么写才不踩坑
谓词必须可调用、无副作用、且对每个元素返回能隐式转为 bool 的值。Lambda 最常用，但要注意捕获方式和生命周期。
- 避免捕获局部变量地址：
[&x]{ return val > x; }中x若是栈上临时对象，调用时可能已析构 - 推荐值捕获或使用
std::cref显式引用：[x]{ return val > x; }或[x = std::cref(x)]{ return val > x.get(); } - 不能用修改元素的谓词（如
[](int& x) { x *= 2; return x > 0; }），标准不保证执行顺序，且违反纯函数语义
和 std::all_of 的关键差异在哪
核心区别不在功能，而在接口契约和约束检查。C++20 的 std::ranges::all_of 是 concept-aware 的：编译期就验证范围类型是否满足 std::ranges::range，谓词是否满足 std::indirect_unary_predicate。
- 传
std::map的key_set()（如果支持）会立即报错，而非运行时崩溃 - 传一个返回
void的 lambda 会触发 SFINAE 失败，错误信息明确指向谓词约束 - 性能上无差别，但
std::ranges版本在 ADL 友好性上更强，尤其配合自定义范围适配器时
空范围和短路行为要注意什么
std::ranges::all_of 对空范围返回 true（逻辑上“所有零个元素都满足”成立），这点和数学定义一致，但容易被误认为 bug。
- 不会短路：它内部仍按顺序遍历，直到找到第一个
false或走完全部；没有“提前退出优化”的保证（虽然实际实现几乎都短路） - 若需确定性短路行为，别依赖实现细节——只要谓词本身不抛异常，结果就是确定的
- 对
std::ranges::iota_view这类惰性范围，空范围判断依赖其begin() == end()，务必确保该比较是常数时间
真正容易被忽略的是：当范围是自定义类型时，std::ranges::all_of 会尝试调用其 begin()/end() 成员函数，而不是依赖 ADL 的非成员函数——这点和老式算法不同，也意味着你得确保这些成员存在且正确。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
