std::all_of对空容器返回true、std::any_of返回false是标准定义的vacuous truth；业务中“非空且全满足”或“存在满足”必须显式判空，否则逻辑静默失效，正确写法为!v.empty() && std::all_of(...)。
std::all_of 对空容器返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，不是 bug；但业务上绝大多数“非空且全满足”或“存在一个满足”的检查，必须显式判空，否则逻辑静默失效。
空容器下 std::all_of 为什么返回 true？
它实现的是数学上的全称命题（∀x ∈ S, P(x)），空集没有反例，天然成立。比如验证“所有用户邮箱已验证”，空列表自然满足——这没错，但你真正要表达的往往是“有用户且全部已验证”。只写 std::all_of(v.begin(), v.end(), is_verified)，空 std::vector 也会返回 true，漏掉关键约束。
- 别依赖直觉绕过空容器：线上流量中空输入比想象中常见，测试容易漏覆盖
- 错误写法：
std::all_of(v.begin(), v.end(), pred) && !v.empty()→ 空容器仍会调用std::all_of，虽快但冗余、语义割裂 - 正确姿势：
!v.empty() && std::all_of(v.begin(), v.end(), pred)→ 短路求值，空时零开销、意图清晰 - 若容器不支持
.empty()（如std::span或 C 数组），改用std::distance(first, last) > 0
为什么别用 !std::all_of 替代 std::any_of
!std::all_of(v.begin(), v.end(), [](int x) { return x >= 0; }) 看似在查“有没有负数”，实则等价于“存在一个不满足 ≥0”，即“存在负数或零”——而你本意只是抓负数，零被错误包含。更糟的是语义混淆：!std::all_of 表达的是“不全满足”，不是“存在满足”。
- 查“存在满足条件” → 直接用
std::any_of(v.begin(), v.end(), [](int x) { return x - 查“全都不含非法字符” → 用
std::none_of(v.begin(), v.end(), is_invalid)，而非!std::any_of(..., is_invalid) - 三者空容器行为必须记牢：
std::all_of → true、std::any_of → false、std::none_of → true；混用前不核对，边界逻辑必翻车
谓词怎么写才安全不翻车
谓词签名错配直接编译失败，副作用导致结果不可预测，耗时操作引发性能雪崩——这些问题都静默发生，不报运行时错误。
立即学习“C++免费学习笔记（深入）”；
- 参数类型必须匹配：对
std::vector<std::string>，写[](const auto& s) { return !s.empty(); }最稳妥；[](int x) { }会模板实例化失败 - 指针容器需先判空：
std::vector<std::string*>的谓词得是[](const std::string* p) { return p && !p->empty(); } - 禁用副作用：不要在谓词里写
++counter、std::cout或修改外部状态——空容器时调用 0 次，非空时可能只调 1 次，结果不可复现 - 耗时操作提前构造：
std::regex别每次调用都 new，应const std::regex re{R"(\d+)"};再捕获引用：[&re](const std::string& s) { return std::regex_match(s, re); }
std::any_of 和 std::all_of 的短路行为影响有多大
两者都提前终止：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停。这意味着谓词调用次数完全不确定：0 次（空容器）、1 次（提前命中）、或 N 次（没命中）。
- 性能差异显著：
std::any_of可能秒返，std::none_of却扫完整个容器；别假设频次一致 - 异常传播路径不同：谓词抛异常时，
std::any_of中止后状态明确，!std::all_of多一层取反，调试更绕 - 传
char给std::isupper可能 UB，稳妥写法是[](unsigned char c) { return std::isupper(c); }
最常被忽略的点是：空容器下谓词根本不会执行，但业务逻辑却默认它“至少跑了一次”。一旦你在谓词里埋了日志、计数器或资源初始化，上线后空输入场景就会彻底失联——既不报错，也不输出，连监控都抓不到痕迹。
