应优先使用 std::ranges::all_of 检查容器是否全满足条件，因其直接接收 range、自动推导边界、类型安全且支持 ADL；需 C++20、 头文件，不支持裸 initializer_list。
直接说结论：用 std::ranges::all_of 检查容器是否“全满足条件”，比手写循环或 std::all_of 更简洁、更安全——前提是容器支持 range（如 std::vector、std::array、C 风格数组、甚至字符串字面量），且你已启用 C++20。
什么时候该用 std::ranges::all_of 而不是 std::all_of
核心区别在参数：旧版 std::all_of 要传两个迭代器（begin/end），容易传错范围或悬垂；std::ranges::all_of 直接接收整个 range（比如一个 std::vector<int></int> 变量），编译器自动推导范围边界，零手动计算。
常见误用场景：
- 传入
std::vector但忘了取.begin()/.end()→ 编译失败（类型不匹配） - 对临时对象调用
.begin()后又用.end()→ 迭代器失效（尤其在 debug 模式下可能崩溃） - 检查 C 风格数组时手动算长度 → 容易越界或漏末尾元素
而 std::ranges::all_of(container, pred) 一行搞定，类型安全，且支持 ADL（可被自定义 range 重载）。
立即学习“C++免费学习笔记（深入）”；
std::ranges::all_of 的参数和常见写法
签名是：template<class r class proj="std::identity," pred> constexpr bool all_of(R&& r, Pred pred, Proj proj = {});</class>
实战中你几乎只用前两个参数，第三个 proj（投影）极少需要。重点看前两个：
-
r：必须是std::ranges::range类型（std::vector、std::list、std::string_view、"hello"字符串字面量等都符合） -
pred：一元谓词，返回bool。可以是 lambda、函数指针、函数对象，甚至std::greater{}这类标准函子
示例：
std::vector<int> v = {2, 4, 6, 8};
bool all_even = std::ranges::all_of(v, [](int x) { return x % 2 == 0; }); // true
std::string_view s = "abc";
bool all_lower = std::ranges::all_of(s, ::islower); // true（注意 ::islower 需要头文件 <cctype>）
int arr[] = {1, 1, 1};
bool all_one = std::ranges::all_of(arr, [](int x) { return x == 1; }); // true
容易踩的坑：lambda 捕获、const 引用、空容器
三个高频出错点：
- 在 lambda 中捕获局部变量但没声明
[&]或[=]→ 编译报错“no capture” - 对
const std::vector<t></t>调用std::ranges::all_of，却在 lambda 里尝试修改元素（比如写x = 5）→ 编译失败（lambda 参数是值拷贝，但若误以为能改原容器就危险） - 空容器永远返回
true（逻辑上“所有零个元素都满足条件”为真），这点和数学定义一致，但业务逻辑中可能被忽略，导致空输入意外通过校验
特别注意：如果容器元素是自定义类型，且你要访问成员，记得 lambda 参数类型要匹配。例如：
struct Person { int age; };
std::vector<Person> people = {{25}, {30}};
// ✅ 正确：按值或 const 引用接收
bool all_adult = std::ranges::all_of(people, [](const Person& p) { return p.age >= 18; });
// ❌ 错误：如果 Person 不可拷贝，按值传参会编译失败
性能与兼容性提醒
std::ranges::all_of 是纯算法，不做额外拷贝，时间复杂度仍是 O(n)，短路求值（第一个不满足就停）。但它要求编译器支持 C++20，且需包含头文件 <algorithm></algorithm>（不是 <range></range>）。
如果你的项目还在 C++17，别硬套——要么升级标准，要么用 std::all_of(v.begin(), v.end(), pred)，或者封装一层适配函数。
真正容易被忽略的是：它不接受 initializer_list 字面量（如 {1,2,3}）直接传入，因为 {1,2,3} 本身不是 type，必须显式构造，比如 std::ranges::all_of(std::vector{1,2,3}, pred)。
