std::all_of空容器返回true是符合逻辑全称命题的真空真设计，非bug；正确用法为!v.empty() && std::all_of(..., pred)，避免误用取反或副作用谓词。
std::all_of 空容器返回 true 是设计，不是 bug
它实现的是逻辑上的“全称命题”（∀x ∈ S, P(x)），空集上天然成立（vacuous truth）。这意味着：std::all_of(v.begin(), v.end(), [](int x){ return x > 0; }) 对空 std::vector 会返回 true，哪怕业务上你本意是“至少有一个正数且全部为正”。
常见错误写法：
- 先调用 std::all_of，再单独判断 v.empty() → 多一次遍历，且语义割裂
- 把 !std::all_of(...) 当作“存在不满足”来用，却没意识到这和 std::any_of(..., !pred) 语义不同
- 正确做法：业务要求“非空且全满足”，就写成
!v.empty() && std::all_of(v.begin(), v.end(), pred) - 谓词里别放副作用（如
++counter或日志），因为空容器时谓词根本不会被调用 - 若需统计或记录，改用手写循环或
std::find_if_not+ 后续处理
std::any_of 和 std::none_of 别靠取反硬凑
std::any_of 查“存在一个满足”，std::none_of 查“无一满足”，二者逻辑互补但语义不可互换。混用会导致空容器下结果翻转：std::any_of 对空返回 false，std::none_of 对空返回 true。
典型误用场景：
- 想查“有没有负数”，写成 !std::all_of(v.begin(), v.end(), [](int x){ return x >= 0; }) → 结果对，但意图模糊
- 想查“全都不含非法字符”，写成 !std::any_of(v.begin(), v.end(), is_invalid) → 实际等价于 std::none_of(..., is_invalid)，后者更直白
- 优先选语义匹配的函数：
std::none_of(..., bad_char)比!std::any_of(..., bad_char)更易读、更少歧义 - 空容器时三者行为必须记牢：
all_of→true、any_of→false、none_of→true - 别假设调用次数一致：
std::any_of可能只调一次就返回，std::none_of却可能遍历到底（遇到第一个满足谓词的元素才停）
谓词参数类型与副作用陷阱
编译失败常因谓词参数类型不匹配：std::vector<:string></:string> 配 [](int x){} 直接模板实例化失败，不是运行时报错。
副作用问题更隐蔽：
- 谓词里写 [](int& x){ x = 0; } → 修改传入元素？不行。算法不保证迭代器可写，也不承诺顺序，修改无意义且可能 UB
- 每次调用都构造耗时对象（如 std::regex）→ 性能雪崩
- 参数推荐写法：
[](const auto& x)或明确类型(const std::string& s)，避免推导歧义 - 耗时对象提前构造，用引用捕获：
const std::regex r{"\d+"}; std::any_of(..., [&r](const std::string& s){ return std::regex_match(s, r); }) - 谓词抛异常时，算法中止，容器处于未指定状态（尤其迭代器来自已 move 的容器）
短路行为影响性能预期和调试逻辑
三个算法都短路求值：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停，std::none_of 遇第一个 true（即谓词返回 true）就停。这不是优化技巧，是语义一部分。
立即学习“C++免费学习笔记（深入）”；
这意味着：
- 日志打印、计数器自增等副作用在非空容器中执行次数不确定
- 对 std::vector 安全，但对某些自定义迭代器（如惰性求值 range）可能触发意外计算
- 别依赖“一定会遍历全部”——需要全量扫描请用
std::for_each或手动循环 - 调试时若发现谓词没被调用，先确认容器是否为空，再检查是否提前短路
- 性能敏感路径上，短路是优势，但别因此忽略谓词本身的开销（比如在
std::none_of中放高成本检查，可能比std::any_of更慢）
