std::ranges::all_of判断容器是否全为正整数需用x >= 1谓词、确保范围满足range概念、避免裸指针直接传入，并依赖C++20支持；常见错误包括类型混淆、边界处理不当及误用旧式迭代器接口。
std::ranges::all_of 的基本用法和常见错误
直接用 std::ranges::all_of 判断容器是否全为正整数是可行的，但必须注意：它只接受一个范围（range）和一个谓词（predicate），不自动处理类型转换或边界检查。常见错误是传入裸指针数组没配适配器、忘记写 lambda 捕获、或误用 int 和 unsigned 混合比较。
- 必须确保范围满足
std::ranges::range概念（如std::vector、std::array、带begin/end的 C 风格数组需用std::ranges::subrange包裹） - 谓词里别写
x > 0就完事——如果元素类型是unsigned int，那x > 0永远为真，但 0 本身不是正整数；正整数定义是x >= 1 - C++20 要求编译器开启
-std=c++20，且包含头文件<algorithm>和<ranges>
判断 vector 是否全为正整数的正确写法
这是最常见场景。关键点在于 lambda 中明确用 x >= 1，而不是 x > 0，避免对无符号类型失效，也符合数学上“正整数”的定义（1, 2, 3…）。
#include <algorithm>
#include <ranges>
#include <vector>
std::vector<int> v = {1, 2, 3, 4};
bool all_positive = std::ranges::all_of(v, [](int x) { return x >= 1; });
// → true
v = {0, 1, 2};
all_positive = std::ranges::all_of(v, [](int x) { return x >= 1; });
// → false（因为 0 不是正整数）
处理 C 风格数组或 raw pointer 的坑
直接传 int arr[4] 给 std::ranges::all_of 会编译失败，因为原生数组不是 range。必须显式构造 subrange 或用 std::span（C++20）。
- 推荐用
std::span：简洁、安全、语义清晰 - 用
std::ranges::subrange也可以，但更冗长 - 千万别写
std::ranges::all_of(arr, arr + 4, ...)—— 这是旧式迭代器接口，调用的是std::all_of（非 ranges 版），不属于本文讨论范畴
#include <span>
int arr[] = {1, 3, 5};
std::span s{arr}; // 自动推导 size
bool ok = std::ranges::all_of(s, [](int x) { return x >= 1; });
性能与兼容性注意事项
std::ranges::all_of 是短路求值的，遇到第一个不满足条件的元素就返回 false，时间复杂度最坏 O(n)，最好 O(1)。但它对小容器（如 std::array<int, 3>）没有额外开销；对大容器，比手写循环略多一层函数调用，但可忽略。
立即学习“C++免费学习笔记（深入）”；
- MSVC 19.30+、GCC 10.2+、Clang 13+ 支持完整 ranges 特性；旧版本可能报
no member named 'all_of' in namespace 'std::ranges' - 如果项目不能升级到 C++20，退化方案是用传统
std::all_of(begin(v), end(v), ...)，行为完全一致 - 注意：
std::ranges::all_of不接受自定义比较器（不像std::sort），只接受一元谓词；要判断“全为偶数”“全为非空字符串”等，只需改 lambda 内容即可
真正容易被忽略的是正整数的定义边界——很多代码用 x > 0，但 0 和负数之外，还有 INT_MIN 这类溢出值，不过那是输入校验层的事，all_of 本身只做逻辑判断，不负责数据清洗。
