std::all_of作用于原生数组需显式提供迭代器范围，推荐用std::begin(arr)和std::end(arr)避免硬编码长度；谓词应使用const auto&参数防止误改；空数组返回true，业务中需额外判空。
std::all_of 用在数组上要先转成迭代器范围
直接对原生数组（比如 int arr[5]）调用 std::all_of 会编译失败，因为数组名退化为指针后不带长度信息，std::all_of 需要一对迭代器明确边界。常见错误是传 arr 和 arr + 5 却忘了改数字——长度写错就导致越界或漏判。
正确做法是显式构造范围：
- 对已知大小的数组：
std::all_of(arr, arr + N, predicate) - 用
std::begin(arr)和std::end(arr)更安全（它们能推导出N） - C++17 起可配合
std::size(arr)计算长度，避免硬编码
predicate 函数里别意外修改元素
std::all_of 只读遍历，但如果你的谓词函数（比如 lambda）里写了 val = 42 或调用了非 const 成员函数，编译可能通过（尤其参数是 int&），但逻辑已偏离“检查”本意。更隐蔽的问题是：传入 const int& 能防改，但若 predicate 接收的是 int（值传递），就看不到原数组内容是否被其他线程修改。
推荐写法：
立即学习“C++免费学习笔记（深入）”；
- predicate 参数用
const auto&，既通用又防止误改 - 避免在 predicate 里做 I/O、锁、或耗时计算——它会被反复调用，影响性能
- 如果要检查多个属性（如“全为正数且全为偶数”），不要嵌套
std::all_of，改用单个 predicate 合并条件
和 std::vector 比，原生数组没 .begin()/.end()
很多人习惯对 std::vector 写 v.begin(), v.end()，一换到原生数组就卡住。C 风格数组没有成员函数，必须依赖 std::begin()/std::end() 这组非成员函数，它们对数组类型做了特化，能正确返回指针迭代器。
容易踩的坑：
- 对指针变量（如
int* p = new int[5]）调用std::begin(p)会编译失败——它只接受数组类型，不接受指针 -
sizeof(arr)/sizeof(arr[0])在函数参数里失效，因为数组退化成指针，sizeof返回指针大小 - 用
std::span（C++20）可统一处理：传std::span(arr)，再调.begin()/.end()
空数组返回 true，这点常被忽略
std::all_of 对空范围返回 true（逻辑上的“vacuously true”）。比如 int empty[0]; std::all_of(std::begin(empty), std::end(empty), [](auto x){ return x > 0; }) 结果是 true，即使你本意是“至少有一个正数”。这在初始化检查、配置校验等场景容易埋雷。
应对方式：
- 如果业务上“空”意味着无效，得额外判断范围是否为空：
if (first == last) return false; - 用
std::any_of或std::none_of替代，看哪个语义更贴切 - 把数组封装进结构体，加一个
size()方法，让空状态显式可查
真正麻烦的不是语法怎么写，而是想清楚“空”在你的业务里到底算通过还是失败。
