std::all_of对空容器返回true是符合逻辑全称命题的真空真，非bug；业务中需显式检查!v.empty() && std::all_of(...)，不可依赖!std::all_of等价于std::any_of。
直接说结论：用 std::all_of 判断“全满足”时，空容器默认返回 true，这不是 bug，但业务上常需额外判非空；std::any_of 对空容器固定返回 false，语义更贴近直觉，但两者不可靠取反互换。
空容器下 std::all_of 返回 true 是设计，不是缺陷
它实现的是逻辑上的全称命题（∀x ∈ S, P(x)），而空集上该命题天然成立（vacuous truth）。比如验证“所有订单都已发货”，空订单列表自然满足约束。但如果你的真实意图是“有订单且全部已发货”，只写 std::all_of(v.begin(), v.end(), [](auto& x){ return x.status == "shipped"; }) 就会出错——空 vector 也过检。
- 正确写法必须显式检查：
!v.empty() && std::all_of(v.begin(), v.end(), pred) - 别写成
std::all_of(...) && !v.empty()，顺序颠倒可能多一次遍历（即使短路，all_of仍要走一遍空范围） - 谓词里放日志、计数器或修改外部变量，结果不可预测：空容器不调用谓词，非空容器可能只调 1 次就退出
std::any_of 和 std::all_of 的语义不能靠 ! 硬凑
看到 !std::all_of(...) 就想替换成 std::any_of(...)？小心逻辑翻车。前者等价于“存在至少一个不满足”，后者是“存在至少一个满足”，方向相反。
- 查“有没有负数”，别写
!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::any_of空容器返回false，std::all_of和std::none_of都返回true——混用时，空输入会导致结果完全相反
谓词参数类型不匹配会直接编译失败
这不是运行时报错，而是模板实例化失败。比如对 std::vector<:string></:string> 传入 [](int x){ return x > 0; }，GCC/Clang 都会报错，找不到匹配的函数签名。
立即学习“C++免费学习笔记（深入）”；
- 优先用
[](const auto& x){ ... }，避免类型推导歧义 - 对
std::vector<int></int>，别写[](int& x){ x *= 2; }——算法不保证遍历顺序，且修改无意义 - 若用普通函数（如
bool is_valid(const std::string&)），确保声明在调用前可见，否则 ADL 可能静默失效
短路行为影响副作用与性能预期
三者都短路求值：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停，std::none_of 遇第一个 true（即谓词返回 true）就停。这意味着：
- 谓词里有耗时操作（如
std::regex_match），any_of可能只执行 1 次就返回，none_of却可能遍历到底 - 别依赖“一定会遍历全部”来做状态统计——空容器不调谓词，非空容器调用次数不确定
- 迭代器范围必须合法：
first和last不能颠倒，也不能指向已销毁容器，否则未定义行为（段错误或静默错误）
最易被忽略的一点：空容器语义是标准强制规定的，不是可配置选项。你无法绕过它，只能在业务层显式处理。写条件判断时，先问自己一句：“这个容器为空时，我的逻辑应该成立还是失败？”——答案决定了要不要加 !v.empty()。
