在 C++ stl 映射中遍历时擦除会产生运行时错误

Question

以下 C++ 代码行会产生运行时错误，但如果删除操作 mymap.erase(v) 则它可以工作：

map<int,int> mymap = {{1,0},{2,1},{9,2},{10,3},{11,4}};
for(auto it=mymap.rbegin();it!=mymap.rend();){
    int v=it->first;
    ++it;
    mymap.erase(v);
}

demo

这里迭代器 it 在删除其值 v 之前已更改，因此我相信迭代器 it 应该不受影响。

Answer 1

当您调用erase(v) 时，您正在使下一个reverse_iterator（来自++it）正在使用的base iterator 无效。因此，您需要从已擦除值之前的基础 iterator 创建一个新的 reverse_iterator。

另外，不要删除reverse_iterator 所指的值，您应该删除基础iterator，因为您已经知道要删除哪个元素。无需让map 再次寻找价值。

这对我有用：

map<int,int> mymap = {{1,0},{2,1},{9,2},{10,3},{11,4}};
for(auto it = mymap.rbegin(); it != mymap.rend(); ){
    auto v = --(it.base());
    v = mymap.erase(v);
    it = map<int,int>::reverse_iterator(v);
}

Demo

另一方面，这个循环本质上只是erase()'ing 来自mymap 的所有元素，因此更好的选择是改用mymap.clear()。

Answer 2

确实，std::map::erase:

对已擦除元素的引用和迭代器无效。其他引用和迭代器不受影响。

但是std::reverse_iterator

对于从迭代器 i 构造的反向迭代器 r，关系 &*r == &*(i-1) 始终为真（只要 r 是可解引用的）；因此，从一个过去的迭代器构造的反向迭代器取消对序列中最后一个元素的引用。

当您查看 cppreference 页面上的图像时，可能会更清楚。

关键部分是“反向迭代器将迭代器存储到下一个元素而不是它实际引用的元素”。

因此（对您的代码进行小的修改）

auto& element = *it;       // fails in the next iteration, because...
int v = element.first;
++it;                      // now it stores an iterator to element
mymap.erase(v);            // iterators to element are invalidated 

您正在擦除it 在下一次迭代中使用的元素。