空容器下 std::all_of 返回 true、std::any_of 返回 false 是标准定义的 vacuous truth；业务中“非空且全满足”或“存在一个满足”必须显式检查容器状态，否则逻辑静默失效。
空容器下 std::all_of 返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，不是 bug；但业务中“非空且全满足”或“存在一个满足”必须显式检查容器状态，否则逻辑静默失效。
空容器行为必须显式处理，不能靠直觉绕过去
数学上，“所有元素满足 P”在空集上天然成立（∀x ∈ ∅, P(x) 恒真），所以 std::all_of 对空范围返回 true；“存在一个元素满足 P”在空集上不成立（∃x ∈ ∅, P(x) 恒假），所以 std::any_of 返回 false。这很严谨，但和业务语义常冲突：
- 想确认“订单列表非空且全部已发货”，只写
std::all_of(v.begin(), v.end(), [](const auto& o) { return o.status == "shipped"; })→ 空列表悄悄返回true - 想检测“配置项中是否有非法值”，用
!std::all_of(cfg.begin(), cfg.end(), is_valid)→ 逻辑等价于“存在不合法”，但不如std::any_of(cfg.begin(), cfg.end(), !is_valid)直观，且语义绕了一层 - 若容器类型不支持
.empty()（如std::span或 C 数组），改用std::distance(first, last) > 0判非空，避免误调std::all_of空范围
别用 ! 取反硬凑语义，选对函数比写对取反更重要
!std::all_of 和 std::any_of 语义不同：前者是“不全满足”，后者是“存在满足”。强行互换不仅可读性差，还会在边界场景暴露逻辑断裂点：
- 查“有没有负数”，应写
std::any_of(v.begin(), v.end(), [](int x) { return x ，而非 <code>!std::all_of(v.begin(), v.end(), [](int x) { return x >= 0; })—— 后者在零值存在时也会触发，而你本意只是抓负数 - 查“全都不含非法字符”，优先用
std::none_of(v.begin(), v.end(), is_invalid)，而不是!std::any_of(v.begin(), v.end(), is_invalid)；两者空容器都返回true，但前者语义自解释 - 记住三者空容器行为：
std::all_of→true，std::any_of→false，std::none_of→true；混用前必须核对这个前提，否则测试覆盖不到空输入就上线
谓词参数类型与副作用必须严格控制
谓词写错不会报运行时错误，而是编译失败或未定义行为。模板推导对签名极其敏感，且短路求值让副作用变得不可预测：
立即学习“C++免费学习笔记（深入）”；
- 对
std::vector<std::string>，谓词必须声明为[](const auto& s) { }或[](const std::string& s) { }；写成[](int x) { }直接编译失败 - 对指针容器（如
std::vector<std::string*>），谓词里必须先判空再解引用：[](const std::string* p) { return p && !p->empty(); } - 在谓词里写
[&count](const auto& x) { return ++count > 0; }→ 空容器时不调用，非空时可能只调一次，count值不可预测 - 每次调用都构造
std::regex→ 性能雪崩；应提前构造并以 const 引用捕获：[&re](const std::string& s) { return std::regex_match(s, re); } - 传
char给::isupper→ 可能 UB；稳妥写法是[](unsigned char c) { return std::isupper(c); }
怎么写才安全：非空 + 条件必须合写，顺序不能颠倒
业务要求“非空且全满足”，必须写成 !v.empty() && std::all_of(v.begin(), v.end(), pred) —— 这是唯一推荐形式：
- 短路求值保证：空容器时
std::all_of根本不执行，零开销 - 别写成
std::all_of(v.begin(), v.end(), pred) && !v.empty()→ 空容器仍会调用std::all_of（虽快但冗余，且语义割裂） - 若容器类型不支持
.empty()（如从 C 数组构造的std::span），改用std::distance(first, last) > 0 - 对
std::vector<std::string>，谓词里禁止写[](std::string& x) { x += "!"; }—— 算法不保证迭代器可写，修改无意义且可能触发未定义行为
最易被忽略的是：空容器下谓词一次都不调用，所以日志、计数器、资源初始化等副作用完全失效；而一旦非空，又因短路机制导致调用次数不确定——这意味着任何依赖谓词执行次数的逻辑，本质上都是不可靠的。
