std::all_of空容器返回true是标准定义的vacuous truth，非bug；需显式检查非空才能确保业务逻辑正确，谓词不应依赖外部状态，且不可用!std::all_of替代std::any_of。
std::all_of 空容器返回 true 是设计，不是 bug
很多人一用 std::all_of 就踩坑：对空 std::vector 调用后返回 true，结果逻辑出错。这不是实现缺陷，而是 C++ 标准明确定义的 vacuous truth（空真）——“没有反例即为真”。比如验证“所有用户邮箱都已验证”，空用户列表自然满足该约束。
真正要避免的是误把“全满足”当“非空且全满足”。若业务要求必须非空，得显式检查：
!v.empty() && std::all_of(v.begin(), v.end(), pred)- 别写成
std::all_of(...)后再单独判空，顺序颠倒可能多一次遍历 - 谓词里别依赖外部状态（如捕获未初始化变量），否则空容器虽不调用谓词，但逻辑仍可能在别处崩
std::any_of 和 std::none_of 的语义不能靠取反硬凑
看到 !std::all_of(...) 就想替换成 std::any_of(...)？小心语义错位。前者等价于“存在至少一个不满足”，后者是“存在至少一个满足”——完全相反的判断方向。
常见错误场景：
- 想查“有没有负数”，却写了
!std::all_of(v.begin(), v.end(), [](int x){ return x >= 0; })→ 正确但绕，应直接用std::any_of(v.begin(), v.end(), [](int x){ return x - 想查“全都不含非法字符”，却用
!std::any_of(...)→ 这其实等价于std::none_of(...)，后者语义更直白、意图更清晰 -
std::none_of对空容器也返回true，和std::all_of一致；而std::any_of空容器必返false，三者默认行为必须记牢
谓词参数类型不匹配导致编译失败
std::all_of 要求谓词参数类型与容器元素类型兼容。比如 std::vector<:string> 配 [](int x){...} 直接报错，不是运行时异常，是模板实例化失败。
实操建议：
- 优先用
const auto&捕获（[](const auto& x){ return x.size() > 0; }），避免类型推导歧义 - 对
std::vector，别写[](int& x)再去改x—— 算法不保证遍历顺序，且修改无意义 - 若谓词是普通函数（如
bool is_positive(int)），确保声明在调用前可见，否则 GCC 可能静默忽略 ADL 查找
提前退出特性影响副作用和性能预期
三个算法都短路求值：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停，std::none_of 遇第一个 true 就停。这意味着：
- 谓词里放日志或计数器（
++count）会导致结果不可预测——空容器不调用谓词，非空容器调用次数不定 - 谓词耗时高（如正则匹配、磁盘 IO）时，
std::any_of平均比std::all_of快得多，尤其当目标元素靠前时 - 不要指望它们做“全量扫描 + 收集信息”，真需要遍历全部，老实用
for循环或std::for_each
最易被忽略的一点：这三个算法都不检查迭代器有效性。传入 v.end() 和 v.begin() 颠倒，或者混用不同容器的迭代器，行为未定义——编译器不会报错，运行时可能崩溃或静默错乱。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
