std::ranges::all_of用于检查范围所有元素是否满足谓词，需C++20、包含<algorithm>和<ranges>，接受范围（如vector、数组）和谓词，空范围返回true，不支持裸指针，谓词应返回bool且无副作用。
std::ranges::all_of 的基本用法和必要头文件
必须包含 <algorithm> 和 <ranges>（C++20 起 <algorithm> 通常已隐式提供 std::ranges::all_of，但显式包含更稳妥）。它接受一个范围（如 std::vector、数组、std::string）和一个谓词（predicate），返回 bool：仅当范围内**所有元素都满足谓词**时才为 true。
注意：它不判断“是否全为 true”，而是“是否所有元素都使谓词返回 true”——这是关键区别。常见误用是直接传 std::identity{} 想检查容器里是否全是 true 值，这在 std::vector<bool> 上会因代理迭代器出问题。
- 谓词可以是 lambda、函数指针、或标准函数对象如
std::logical_not{} - 范围必须满足
std::ranges::range概念，原生数组、std::vector、std::list等都满足 - 不修改原范围，是只读操作
判断 vector 是否全为 true 的正确写法
std::vector<bool> 是特化容器，其迭代器返回的是代理对象（std::vector<bool>::reference），不是真正的 bool&。直接用 std::ranges::all_of(v, std::identity{}) 可能编译失败或行为异常（尤其在某些 libstdc++ 版本中）。
安全做法是显式转换每个元素为 bool：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
std::vector<bool> v = {true, true, true};
bool all_true = std::ranges::all_of(v, [](bool b) { return b; });
- 避免用
std::identity{}，改用带参数类型声明的 lambda，强制解包代理 - 如果范围为空，
std::ranges::all_of返回true（空集 vacuously true） - 若需兼容旧标准库（如 GCC 11 前），建议先用
v.begin(), v.end()形式调用传统std::all_of
与传统 std::all_of 的主要差异
核心区别在于参数形式：std::ranges::all_of 接收单个范围对象（如 v），而传统 std::all_of 需要两个迭代器（v.begin(), v.end()）。前者更简洁，且支持范围适配器链式调用。
- 可直接配合视图使用：例如
std::ranges::all_of(v | std::views::filter([](int x){return x > 0;}), [](int x){return x < 100;}) - 不支持传入裸指针范围（如
int*+ size），除非包装成std::span或用std::ranges::subrange - 性能上无本质差异，底层仍是遍历；但范围版本在编译期能更好推导概念约束，错误信息更明确
常见编译错误及修复
典型报错如 no matching function for call to 'all_of' 或 concept 'range' not satisfied，多因传入了非范围类型或谓词签名不匹配。
- 传了 C 风格数组但没加
std::views::all：应写std::ranges::all_of(std::views::all(arr), pred)或直接用std::ranges::all_of(std::span{arr}, pred) - 谓词返回非布尔值（如
int）：确保 lambda 最终返回bool，哪怕只是return x != 0; - 在 C++17 项目中误用：确认编译器启用
-std=c++20，且标准库支持（libstdc++ ≥ 12 / libc++ ≥ 14）
最易忽略的是空范围语义和 vector<bool> 的代理陷阱——这两个点不处理好，逻辑可能在边界 case 上静默失败。
