C++中的std::all_of等常用算法怎么用？(高效的集合逻辑判断)_技术教程

std::all_of要求所有元素满足条件才返回true，std::any_of只要一个满足即返回true，std::none_of要求所有元素都不满足才返回true；三者均短路求值，语义不可互换。

std::all_of、std::any_of、std::none_of 的核心区别在哪？

三个函数都做逻辑判断，但语义完全不同：std::all_of 要求所有元素满足条件才返回 true；std::any_of 只要一个满足就返回 true；std::none_of 要求所有元素都不满足才返回 true。它们底层都是短路求值（遇到第一个不满足/满足的就停），所以性能通常优于手写循环加 break。

常见错误是把 std::none_of 当成 “是否存在不满足的元素” —— 实际上它等价于 !std::any_of(..., std::not_fn(pred))，不是 !std::all_of 的反义。

判断容器是否全为正数：用 std::all_of(v.begin(), v.end(), [](int x) { return x > 0; })
判断是否有空字符串：用 std::any_of(v.begin(), v.end(), [](const std::string& s) { return s.empty(); })
判断是否没有负数：用 std::none_of(v.begin(), v.end(), [](int x) { return x ，而不是 !std::any_of(..., [](int x) { return x （虽然结果一样，但语义更清晰）

为什么传入的迭代器范围必须合法？

这三个算法不检查迭代器有效性，传入 v.end() 和 v.begin() 顺序颠倒、或指向已销毁容器，会直接导致未定义行为（通常是段错误或静默错误）。尤其注意空容器：对空范围，std::all_of 返回 true（全称命题 vacuously true），std::any_of 和 std::none_of 分别返回 false 和 true —— 这是标准规定，不是 bug。

安全做法：始终确保 first != last 前提成立，或先判空再调用
不要对 std::vector::end() 做自增操作后传入
避免在 lambda 中捕获已 move 出作用域的容器（比如在函数返回前调用这些算法，而容器是局部变量且已被 move）

lambda 捕获和谓词性能要注意什么？

如果谓词里做了重操作（比如字符串查找、内存分配、虚函数调用），会显著拖慢算法执行——因为每个元素都会调用一次。另外，按值捕获大对象（如 [v]）会触发拷贝；按引用捕获（[&v]）则需确保被引用对象生命周期覆盖整个算法调用。

std::vector words = {"hello", "world"};
// ❌ 避免在谓词里重复构造正则对象
std::any_of(words.begin(), words.end(), [](const std::string& s) {
    static std::regex r{"^[a-z]+$"}; // 至少改成 static，但更好移出 lambda
    return std::regex_match(s, r);
});

// ✅ 推荐写法：预构造、传引用、避免重复初始化
const std::regex word_only{"^[a-z]+$"};
std::any_of(words.begin(), words.end(), [&word_only](const std::string& s) {
    return std::regex_match(s, word_only);
});