结论：std::all_of空容器返回true是逻辑空真，非bug；需“非空且全满足”时须显式检查!v.empty()&&std::all_of；勿用!std::all_of替代std::any_of，二者空容器行为相反且语义错位。
直接说结论：别把 std::all_of 当“非空且全满足”用，也别用 !std::all_of 替代 std::any_of——语义错位、空容器行为翻车、副作用不可控。
空容器下 std::all_of 返回 true 是设计，不是 bug
这是逻辑上的 vacuous truth（空真）：对空范围 [first, last)，std::all_of 不调用谓词，直接返回 true。比如验证“所有用户邮箱已验证”，空用户列表天然满足该约束。
但业务上常要的是“至少有一个用户，且全部邮箱已验证”。这时必须显式检查：
-
!v.empty() && std::all_of(v.begin(), v.end(), pred)—— 顺序不能颠倒，否则空容器多一次遍历 - 别写成
std::all_of(...) && !v.empty()，后者在空容器时仍会执行std::all_of（虽快但冗余） - 谓词里别放日志或计数器（如
++count），空容器不触发，非空容器只触发到第一个false就停
std::any_of 对空容器返回 false，和 std::all_of 行为相反
它查的是“是否存在一个满足条件的元素”，空容器自然没有，所以返回 false。这和 std::all_of 的 true 形成鲜明对比，混用会导致空输入时逻辑反转。
常见误用场景：
- 想查“有没有负数”，却写
!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::regex_match），std::any_of可能只调一次就返回，std::none_of却可能遍历到底
谓词参数类型不匹配会编译失败，不是运行时报错
std::all_of 和 std::any_of 是模板函数，谓词参数类型必须与容器元素类型兼容。类型不匹配会在模板实例化阶段报错，比如：
-
std::vector<:string></:string>配[](int x){}→ 编译失败，不是运行时异常 - 推荐用
[](const auto& x)捕获，避免推导歧义 - 对
std::vector<int></int>，别写[](int& x){ x = 0; }—— 算法不保证迭代器可写，修改无意义，还可能引发未定义行为 - 若谓词是普通函数（如
bool is_positive(int)），确保声明在调用前可见，否则 GCC 可能静默忽略 ADL 查找
短路求值影响性能预期和副作用控制
三者都短路：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停，std::none_of 遇第一个 true（即谓词返回 true）就停。
这意味着：
- 别依赖它们“一定遍历全部元素”来实现副作用（比如统计、打日志）
- 谓词里抛异常会中止整个算法，且容器处于未指定状态（尤其当迭代器来自 move 后的容器）
- 若谓词需复用昂贵对象（如
std::regex），应提前构造并以引用捕获：[&re](const std::string& s){ return std::regex_match(s, re); } - 性能上最坏仍是 O(n)，但实际常远优于手写循环——关键在语义清晰，而非微小开销
真正容易被忽略的点是：空容器语义 + 谓词副作用 + 类型安全，三者叠加时出问题往往不报错、不崩溃，而是逻辑静默翻转。写完务必用空容器、单元素、全满足、首个不满足四种 case 覆盖测试。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
