std::all_of对空容器返回true是标准定义的vacuous truth，但业务中需显式检查非空；正确写法为!v.empty() && std::all_of(...)，且不可用!std::all_of替代std::any_of或std::none_of。
std::all_of 对空容器返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，不是 bug；但业务中“非空且全满足”或“存在一个满足”必须显式检查容器状态，否则逻辑静默翻车。
为什么空容器下 std::all_of 返回 true 会出问题
数学上，“所有元素满足 P”在空集上恒真（∀x ∈ ∅, P(x)），所以 std::all_of 空范围返回 true。但业务语义往往隐含“至少有一个”：比如校验“订单列表非空且全部已发货”，只写 std::all_of(v.begin(), v.end(), [](const auto& o) { return o.status == "shipped"; })，空列表也会悄悄通过。这种静默通过在线上可能绕过关键校验。
- 空容器时
std::all_of不遍历，但返回true—— 与“有数据才谈全部”的直觉冲突 - 测试若没覆盖空输入场景，上线后逻辑断裂点极难复现
- 别指望靠注释或文档补救：代码行为必须自解释、自约束
!v.empty() && std::all_of 的写法顺序不能颠倒
正确形式是 !v.empty() && std::all_of(v.begin(), v.end(), pred)，而不是 std::all_of(...) && !v.empty()。前者利用短路求值，空容器时 std::all_of 根本不执行；后者即使空容器也会触发算法调用（虽快但冗余，且语义割裂）。
- 对支持
.empty()的容器（如std::vector、std::list），优先用!v.empty() - 对裸指针范围或
std::span，改用std::distance(first, last) > 0判非空，避免误调std::all_of空范围 - 若容器类型不提供
.begin()/.end()（如 C 数组），务必先确认迭代器有效性再传入
别用 !std::all_of 替代 std::any_of
想查“有没有负数”，写 !std::all_of(v.begin(), v.end(), [](int x) { return x >= 0; }) 是危险的：它等价于“存在一个不满足 ≥0”，即包含零和负数，而你本意只是抓负数。更糟的是语义模糊：!std::all_of 表达的是“不全满足”，不是“存在满足”。
立即学习“C++免费学习笔记（深入）”；
- 查“存在满足条件” → 直接用
std::any_of - 查“全都不满足某条件” → 直接用
std::none_of，而非!std::any_of - 三者空容器行为必须同步记忆：
std::all_of→true，std::any_of→false，std::none_of→true
谓词里藏副作用或类型错配是静默雷区
std::all_of 和 std::any_of 都短路求值：前者在首个 false 停，后者在首个 true 停。这意味着谓词可能被调用 0 次（空容器）、1 次（提前命中）或全部 N 次（没命中）。副作用在此完全不可预测。
- 禁止在谓词中修改外部变量：
[&count](const auto&) { ++count; return true; }→count值不可控 - 对
std::vector<:string></:string>，谓词必须先判空：[](const std::string* p) { return p && !p->empty(); } - 参数统一用
[](const auto& x)，避免类型推导歧义或大对象拷贝；传char给std::isupper可能 UB，应写成[](unsigned char c) { return std::isupper(c); }
最易被忽略的点：谓词捕获局部变量时，用 [&] 而非 [=] 或显式值捕获，极易引发悬垂引用——尤其当算法调用被异步延迟或容器生命周期更长时，崩溃发生得毫无征兆。
