C++ std::all_of/any_of/none_of | 容器元素条件检查【实战】
std::all_of 空容器返回 true 是设计，不是 bug
不少开发者初次接触 std::all_of 时，都会遇到一个令人困惑的场景：对一个空的 std::vector 调用它，结果竟然返回了 true，导致后续的业务逻辑出现偏差。这里需要明确一点，这绝非编译器的bug，而是C++标准精心设计的逻辑，其背后是“空真”（vacuous truth）这一哲学概念——当没有元素可供检验时，“所有元素都满足条件”这句话自然为真。举个例子，要判断“所有用户的邮箱都已验证”，如果用户列表本身就是空的，这个约束条件在逻辑上当然是成立的。
真正容易出问题的地方，在于混淆了“全满足”和“非空且全满足”这两个不同的业务需求。如果你的逻辑要求容器不能为空，那么必须进行显式检查：
- 正确的写法是：
!v.empty() && std::all_of(v.begin(), v.end(), pred) - 注意别把顺序搞反了，先判空再调用算法，可以避免对空容器进行无谓的遍历。
- 另外，谓词函数里最好不要依赖或修改外部状态（比如捕获了一个未初始化的局部变量）。虽然空容器不会调用谓词，但这类设计缺陷很可能在程序的其他地方引发问题。
std::any_of 和 std::none_of 的语义不能靠取反硬凑
看到 !std::all_of(...)，是不是下意识就想用它来代替 std::any_of(...)？这里有个常见的思维陷阱。前者的含义是“存在至少一个元素不满足条件”，而后者是“存在至少一个元素满足条件”——两者的判断方向截然相反。
来看几个典型的错误场景：
立即学习“C++免费学习笔记（深入）”；
- 本意是想检查容器里“有没有负数”，却写成了
!std::all_of(v.begin(), v.end(), [](int x){ return x >= 0; })。这样写虽然结果正确，但绕了个弯子，更直接的写法是使用std::any_of(v.begin(), v.end(), [](int x){ return x < 0; })。 - 如果想表达“所有字符串都不含非法字符”，用了
!std::any_of(...)。这其实在功能上等价于std::none_of(...)，但后者的语义更直白，代码意图一目了然。 - 关于空容器的默认行为，必须记牢：
std::none_of和std::all_of一样，对空容器返回true；而std::any_of对空容器则必定返回false。
谓词参数类型不匹配导致编译失败
std::all_of 这类算法对谓词函数的参数类型有严格要求，必须与容器元素的类型兼容或可转换。例如，用一个接受 int 参数的谓词去处理 std::vector，代码根本过不了编译这一关——这是模板实例化失败，而非运行时错误。
实践中可以遵循以下建议来规避这类问题：
- 在编写Lambda表达式时，优先使用
const auto&来捕获元素（例如[](const auto& x){ return x.size() > 0; }），这能有效避免不必要的类型推导问题。 - 对于
std::vector这类容器，谓词参数写成int&并试图修改它，不仅没有意义（算法不保证遍历顺序，且修改通常不影响原容器），还可能引入歧义。 - 如果谓词是一个独立的普通函数（比如
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() 顺序颠倒的区间，或者混用了来自不同容器的迭代器，那么程序将陷入“未定义行为”的境地——编译器通常不会报错，但运行时可能直接崩溃，或者产生更隐蔽的错误结果。
