std::all_of对空容器返回true是标准规定的空真，但业务中需显式检查非空；正确写法为!v.empty() && std::all_of(...)，顺序不可颠倒，且不可用!std::all_of替代std::any_of。
空容器下 std::all_of 返回 true、std::any_of 返回 false 是标准定义的 vacuous truth，不是 bug；但业务中“非空且全满足”或“存在一个满足”必须显式检查容器状态，否则逻辑静默翻车。
为什么 std::all_of 对空容器返回 true 会出问题
数学上这是严谨的（空集无反例，故“所有满足”恒真），但业务语义几乎总是隐含“非空”前提。比如校验“订单列表非空且全部已发货”，只写 std::all_of(v.begin(), v.end(), [](const auto& o) { return o.status == "shipped"; })，空列表就悄悄通过，跳过关键约束。
- 空容器时
std::all_of不遍历，但返回true—— 这本身没错，错在人误以为它表达了“有数据且都合格” - 测试容易漏掉空输入场景，上线后静默放行非法状态
- 若后续逻辑依赖“至少一个元素存在”，空容器 +
std::all_of的true会触发未预期分支
!v.empty() && std::all_of 必须写在前面
顺序不能颠倒：必须是 !v.empty() 在左，&& 短路求值才能确保空容器完全跳过 std::all_of 调用。
- ✅ 正确：
!v.empty() && std::all_of(v.begin(), v.end(), pred)—— 空时连迭代器范围都不构造，零开销、意图清晰 - ❌ 错误：
std::all_of(v.begin(), v.end(), pred) && !v.empty()—— 空容器仍会进入std::all_of的空范围处理路径，虽快但冗余，且语义割裂 - 对不支持
.empty()的类型（如std::span或裸指针范围），改用std::distance(first, last) > 0判非空
别用 !std::all_of 替代 std::any_of
二者逻辑不等价，强行互换会引入语义偏差和边界翻转风险。
-
!std::all_of(v.begin(), v.end(), [](int x) { return x >= 0; })表达的是“不全 ≥ 0”，即“存在负数或零”；但你想查的很可能只是“有没有负数”——零被错误包含 std::any_of(v.begin(), v.end(), [](int x) { return x 才是直白、精准、可读性强的写法- 同理，“全都不含非法字符”应直接用
std::none_of(v.begin(), v.end(), is_invalid)，而非!std::any_of(..., is_invalid)；三者空容器行为固定：all_of→true、any_of→false、none_of→true，混用前必须核对
谓词里最容易踩的坑：参数类型、悬垂引用、副作用
模板推导对签名极其敏感，短路机制让副作用不可预测，而解引用前不判空则直接导致未定义行为。
- 对
std::vector<:string>，谓词必须写成[](const std::string* p) { return p && !p->empty(); }—— 少了p &&就是野指针访问 - 对
std::vector<:optional>>，禁止opt.value()，必须先opt.has_value() - 绝对不要在谓词里写
[&count](...) { ++count; }或std::cout —— 空容器调 0 次，非空时可能只调 1 次，结果完全不可控 - 统一推荐参数形式：
[](const auto& x)，兼顾类型安全、避免拷贝、适配多数容器
最常被忽略的点是：空容器行为无法绕过，只能主动应对；而谓词一旦带副作用或类型错配，编译期报错还好，运行时未定义行为才真正难定位。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
