迭代容器时如何正确修改？代码问题解析与潜在风险咨询

嘿，这个问题很典型，我来给你拆解一下：

第一版代码失效的原因 #

你用的范围for循环（for(auto mi : m)）本质是语法糖，底层逻辑大概等价于：

auto begin = m.begin();
auto end = m.end();
for (; begin != end; ++begin) {
    auto mi = begin;
    // 你的循环体代码
}

当你在循环体内调用m.erase(mi)时，这里的mi就是当前的迭代器。对于std::set这类关联容器，被erase的迭代器会直接失效。而范围for循环接下来会尝试递增这个已经失效的迭代器——这属于C++中的未定义行为，程序可能崩溃、输出乱码，甚至看似正常但隐藏着风险，完全不可靠。

你的第一版代码：

// version 1
int main(){
    int a=1, b=2, c=5;
    std::set<int*> m = {&a, &b, &c};
    for(auto mi : m){
        std::cout << *mi << std::endl;
        m.erase(mi);
    }
}

第二版代码的安全性 #

第二版的写法是完全安全的，没有潜在问题：
你每次通过m.begin()获取容器当前第一个元素的有效迭代器，然后erase它。std::set是有序容器，erasebegin()之后，如果容器非空，新的begin()会自动指向原第二个元素的位置，这个新迭代器是有效的。而while (!m.empty())的判断确保了我们不会访问空容器的begin()（这也是未定义行为），循环逻辑非常严谨。

你的第二版代码：

// version 2
int main(){
    int a=1, b=2, c=5;
    std::set<int*> m = {&a, &b, &c};
    while (!m.empty()){
        std::cout << **m.begin() << std::endl;
        m.erase(m.begin());
    }
}

补充：通用的遍历+删除写法 #

如果需要遍历整个容器并选择性删除元素，还有一种更通用的安全写法：

// 通用安全遍历删除写法
for (auto it = m.begin(); it != m.end(); ) {
    std::cout << **it << std::endl;
    it = m.erase(it); // erase返回下一个有效迭代器，无需手动++
}

这种写法利用了std::set::erase的特性：传入迭代器参数时，它会返回指向被删除元素下一个位置的有效迭代器，直接赋值给it就能避免使用失效迭代器。

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