std::all_of对空容器返回true是vacuous truth设计，并非bug；业务需“非空且全满足”时必须显式写!v.empty() && std::all_of(...)，否则逻辑静默错误。
std::all_of 对空容器返回 true 是设计，不是 bug；但业务上“非空且全满足”必须显式写 !v.empty() && std::all_of(...)，否则线上逻辑大概率翻车。
空容器下 all_of 返回 true 的真实含义
它实现的是数学上的全称命题（∀x ∈ S, P(x)），空集没有反例，天然成立——这叫 vacuous truth。比如验证“所有订单都已发货”，空订单列表自然满足。但你真正要表达的往往是“有订单且全部已发货”。
- 只写
std::all_of(v.begin(), v.end(), pred)→ 空std::vector也返回true，漏掉关键约束 - 错误地写成
std::all_of(...) && !v.empty()→ 空容器时仍会调用std::all_of（虽快但冗余，且语义割裂） - 正确姿势是
!v.empty() && std::all_of(v.begin(), v.end(), pred)：短路、只遍历一次、意图清晰 - 若迭代器来源不可靠（如
std::span或 C 数组），优先用std::distance(first, last) > 0判非空
别用 !all_of 替代 any_of
看到“有没有负数”，下意识写 !std::all_of(v.begin(), v.end(), [](int x){ return x >= 0; }) 是危险的：它等价于“存在一个不满足 ≥0”，即“存在负数或零”，而零被错误包含进来。
-
!std::all_of(..., pred)表达的是“不全满足”，不是“存在满足” std::any_of(..., [](int x){ return x 才是直球查负数，语义明确、空容器返回 <code>false符合直觉- 想查“全都不含非法字符”，用
std::none_of(..., is_invalid)，比!std::any_of(..., is_invalid)更直白、更少歧义 - 三者空容器行为必须记牢：
std::all_of→true，std::any_of→false，std::none_of→true；混用取反极易导致空输入时真假翻转
谓词里藏副作用或类型错配是静默雷区
这三个算法都短路求值：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停——这意味着谓词可能被调用 0 次（空容器）、1 次（提前命中），或全部 N 次（没命中）。
- 在谓词里写
[&count](const auto& x) { return ++count > 0; }→ 空容器时count不变，非空时可能只加 1 次，结果不可预测 - 对
std::vector<:string></:string>写[](int x){ return x > 0; }→ 编译失败，模板实例化找不到匹配签名 - 推荐参数写法：
[](const auto& x)或明确类型如[](const std::string& s)，避免推导歧义 - 耗时操作（如
std::regex_match）必须提前构造，再以 const 引用捕获：[&re](const std::string& s) { return std::regex_match(s, re); } - 用
::isupper时传char可能 UB，稳妥写法是[](unsigned char c) { return std::isupper(c); }
lambda 捕获生命周期不匹配是崩溃主因
最典型的静默崩溃：把函数局部变量通过 [&config] 捕入 lambda，然后传给 std::all_of，而容器本身或算法调用生命周期更长（比如传给异步任务）→ lambda 持有对已销毁对象的引用。
- 捕获值优先：
[config = config]（C++17 起支持结构化绑定捕获） - 若必须捕获引用，确保所指对象生命周期严格长于算法调用及 lambda 存续期
- 编译器不会警告；启用
-fsanitize=address,undefined能在测试中暴露大部分情况 - 谓词里抛异常会直接传播，
std::all_of不做防护；若未捕获，进程可能调用std::terminate
真正难的从来不是写出那一行 std::all_of，而是想清楚“空容器算不算通过”“谓词能不能抛异常”“这个 [&] 引用到底活到什么时候”。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
