调用std::unordered_set::erase前需检查元素存在吗？删除不存在元素会怎样？

首先直接给结论：你完全不需要在调用mints.erase(foo)之前先检查foo是否存在于集合中。

为什么不用提前检查？ #

• 异常安全有保障：根据C++标准，当你调用unordered_set::erase传入一个不存在的元素值时，这个操作是完全安全的，不会抛出任何异常——只要你的元素类型的析构函数不抛出异常（像int这种内置类型肯定满足这个条件）。标准明确规定这种场景下的erase行为是定义良好的，不会触发未定义行为。
• 返回值符合预期：对于接受元素值的erase重载（也就是你使用的erase(const Key& key)），它的返回值是size_type类型的数值，表示成功删除的元素数量。由于unordered_set中的元素是唯一的，所以如果元素存在就返回1，不存在就返回0，完全符合你担心的情况。

示例代码验证 #

#include <iostream>
#include <unordered_set>

int main() {
    std::unordered_set<int> mints = {1, 2, 3};
    int foo = 4; // 该元素不存在于集合中
    auto erased_count = mints.erase(foo);
    std::cout << "成功删除的元素数量：" << erased_count << "\n"; // 输出 0
    return 0;
}

额外说明 #

只有当你需要根据元素是否存在执行额外逻辑时（比如删除前记录日志、触发其他业务操作），才需要提前用find或count检查元素是否存在。否则直接调用erase更高效——因为erase内部会一次性完成查找和删除操作，比先查找再删除少一次遍历开销。

内容的提问来源于stack exchange，提问作者Rahul Iyer