std::all_of对空容器返回true是符合逻辑的vacuous truth设计，非bug；正确使用需显式检查非空、避免!all_of替代any_of、谓词无副作用、用const auto&适配类型。
空容器返回 true 是设计，不是 bug
std::all_of 对空容器返回 true，std::any_of 返回 false，std::none_of 返回 true——这三者行为由 C++ 标准明确定义，不是实现缺陷。它对应逻辑中的 vacuous truth：空集上“所有元素满足 P”天然成立，“存在元素满足 P”天然不成立。
常见错误是直接写 std::all_of(v.begin(), v.end(), pred) 来表达“有数据且全满足”，结果空 std::vector 悄悄通过验证。业务上真要非空，必须显式合写：
-
!v.empty() && std::all_of(v.begin(), v.end(), pred)（推荐，短路且只遍历一次） - 别写成
std::all_of(...) && !v.empty()，后者在空容器时仍会调用算法（虽快但冗余） - 若容器类型支持
.empty()但迭代器范围不可靠（如从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 表达的是“不全满足”，不是“存在满足”。正确做法是直球匹配：
立即学习“C++免费学习笔记（深入）”；
- 查“存在满足条件” → 用
std::any_of - 查“全都不满足” → 用
std::none_of，而不是!std::any_of（虽等价，但后者意图模糊） - 查“全满足”且允许为空 → 用
std::all_of；若不允许为空，加!v.empty()
谓词里别藏副作用或耗时操作
这三个算法都短路求值：std::all_of 遇第一个 false 就停，std::any_of 遇第一个 true 就停，std::none_of 遇第一个 true 就停。这意味着谓词可能被调用 0 次（空容器）、1 次（提前命中），或全部 N 次（没命中）。
所以这些写法要避开：
- 在 lambda 里写
++counter或std::cout —— 调用次数不确定，结果不可复现 - 每次调用都构造正则对象：
[ ](const std::string& s) { return std::regex_match(s, std::regex{"\d+"}); }→ 改成预构造 + 引用捕获：[&re](const std::string& s) { return std::regex_match(s, re); } - 谓词抛异常时，算法中止，容器若来自 move 后的对象，状态未定义；没
try/catch就别在谓词里做 I/O 或网络请求
参数类型不匹配会导致编译失败，不是运行时报错
std::all_of 等模板函数对谓词参数类型要求严格。比如 std::vector<:string></:string> 配 [](int x){}，GCC/Clang 直接报模板实例化失败，错误信息往往很长且指向内部头文件。
安全写法：
- 一律用
const auto&捕获元素：[](const auto& x) { return x.size() > 0; }，避免类型推导歧义 - 对
std::vector<int></int>，别写[](int& x)去修改x—— 算法不保证迭代器可写，修改无效且可能触发未定义行为 - 若用普通函数作谓词（如
bool is_valid(const std::string&)），确保该函数声明在std::all_of调用前可见，否则 ADL 查找可能静默失败
最易被忽略的点：空容器语义和短路行为不是“优化技巧”，而是逻辑契约。一旦把 std::all_of 当作“遍历并检查全部”的循环替代品，就已偏离它的设计本意——它回答的是“是否全满足”，而不是“请帮我跑一遍”。
