空容器下 std::all_of 返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，非 bug；业务需显式检查非空，否则逻辑错误。
空容器下 std::all_of 返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，不是 bug；业务上真正要表达“非空且全满足”或“存在一个满足”，必须显式检查容器状态，否则线上逻辑会翻车。
空容器行为不是 bug，但业务语义常被误读
数学上，“所有元素都满足 P”在空集上天然成立，所以 std::all_of 对空范围返回 true；而 “存在一个元素满足 P” 在空集上不成立，所以 std::any_of 返回 false。这没问题，问题出在人脑直觉和业务需求之间：
- 想检查“用户列表非空且所有人邮箱已验证”，只写
std::all_of(v.begin(), v.end(), is_verified)→ 空列表也过，漏掉关键约束 - 想查“配置项里有没有非法值”，用
!std::all_of(..., is_valid)→ 逻辑等价于“存在一个不合法”，但不如直接用std::any_of(..., !is_valid)直观 - 把
std::all_of当作“至少一个满足”的反向替代，结果空容器时真假翻转（truevsfalse），测试难覆盖
谓词写法决定正确性与性能
这三个算法不保证谓词调用次数、顺序或是否重入，参数类型和副作用稍有不慎就编译失败或运行异常：
- 容器是
std::vector<:string></:string>，谓词却写成[](int x){}→ 模板实例化失败，报错在std::all_of调用行，但根源在 lambda 参数类型不匹配 - 谓词里写
[&count](const auto& x) { return ++count > 0; }→ 空容器时不调用，非空时可能只调一次（std::all_of遇 false 就停），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); }
别靠取反硬凑语义，选对函数比写对取反更重要
!std::all_of、!std::any_of、!std::none_of 看似灵活，实则掩盖意图、引入空容器陷阱：
立即学习“C++免费学习笔记（深入）”；
- 检查“没有负数”，写
!std::any_of(v.begin(), v.end(), [](int x){ return x → 结果对，但语义绕；直接用 <code>std::none_of(v.begin(), v.end(), [](int x){ return x 更直白，且空容器时两者都返回 <code>true，行为一致 - 想表达“至少有一个不满足”，别用
!std::all_of，改用std::find_if_not+ 判是否等于end()；后者能拿到迭代器，前者只给 bool -
std::none_of和std::any_of在空容器下返回值相反（truevsfalse），混用取反极易在边界 case 下逻辑翻转
异常、迭代器合法性、执行策略这些细节真会挂进程
它们不是语法糖，底层行为直接影响程序生死：
- 谓词里抛
std::runtime_error，且没配std::execution::par→ 进程直接调用std::terminate，不会 catch，日志都来不及打 - 传了已 move 的容器的
begin()/end()，或first>last→ 未定义行为，常见段错误或静默数据损坏 - 用
std::execution::par_unseq时，谓词必须无副作用、无数据竞争、可重入；普通 lambda 捕获局部变量基本不满足 - 忘记
#include <algorithm></algorithm>→ GCC 可能因 ADL 找到其他同名函数，静默编译通过但行为错乱
最易被忽略的点：空容器时三者返回值固定（all_of→true、any_of→false、none_of→true），但业务逻辑几乎从不想要这个默认值；每次调用前，得问自己一句：“这里允许空吗？”——答案为否，就必须加 !v.empty()，且放在 && 左侧，避免短路导致谓词不执行。
