std::all_of在区间所有元素都满足谓词或区间为空时返回true；空区间返回true是标准规定的vacuous truth；遇一false即返回false；谓词需对符合条件元素返回true。
std::all_of 什么时候返回 true
std::all_of 只有在区间内**所有元素都满足谓词（predicate）**时才返回 true。空区间（比如空 vector）也返回 true——这是逻辑上的“vacuous truth”，不是 bug，是标准明确规定的。
常见误判点：看到返回 true 就以为“有匹配”，其实它恰恰相反，是“无一例外”才为真。
- 如果区间为空（
v.begin() == v.end()），直接返回true - 只要遇到一个元素使谓词返回
false，立刻停止遍历并返回false - 必须全部走完且每个都返回
true，才返回true
怎么写谓词才能准确表达“满足条件”
谓词是一个可调用对象（函数指针、lambda、functor），接受一个元素的 const 引用，返回 bool。关键在于：返回 true 表示“该元素符合条件”，false 表示“不符合”。别把逻辑写反。
例如判断是否全为正数：
std::vector<int> v = {2, 5, 8};
bool all_positive = std::all_of(v.begin(), v.end(), [](int x) { return x > 0; }); // ✅ 正确</int>
如果误写成 return x ，那就变成“是否全为非正数”，语义完全颠倒。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 谓词里不要修改元素（应视为只读）
- 避免在谓词中抛异常，否则行为未定义（除非你明确处理）
- 对自定义类型，确保比较操作符或谓词本身不引发隐式转换歧义
和 std::any_of、std::none_of 的行为对比
这三个算法签名一致，但语义不同，容易混淆：
-
std::all_of：全真 →true；一假 →false -
std::any_of：一真 →true；全假 →false -
std::none_of：全假 →true；一真 →false（等价于!std::any_of(...)）
比如检查容器是否“不含负数”，用 std::none_of(v.begin(), v.end(), [](int x){ return x 更直白，比 <code>std::all_of(..., [](int x){ return x >= 0; }) 少一层否定思维，可读性更好。
迭代器失效与性能注意事项
std::all_of 是只读遍历，不修改容器，因此不会导致迭代器失效。但它仍受容器自身并发修改影响——如果另一线程在遍历时 push_back 或 erase，结果未定义。
- 时间复杂度是 O(n)，但通常提前退出，最坏情况才遍历全部
- 对
std::list等非随机访问容器，性能没问题；但若误传了不满足 InputIterator 要求的类型（如纯输出迭代器），编译失败 - 注意传入的迭代器范围必须合法：
first可达last，且last不可解引用
最容易被忽略的是空容器行为和谓词逻辑方向——这两点出错时，测试用例往往覆盖不到边界，上线后才暴露。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
