std::unordered_map 在 for 循环中修改时未正确更新

Question

尝试使用以下代码片段将无序地图更新为只有小写字母，但它似乎在擦除一个键值对后停止 { [33 '!']: 3 } 并退出循环，留下地图的其余部分未访问并打印部分更新的地图。

 for (auto &i : m)
        if (!(i.first >= 'a' && i.first <= 'z'))
            m.erase(i.first);

下面的调试图片揭示了上面的内容

附上完整代码：

#include <iostream>
#include <unordered_map>
#include <algorithm>    
using namespace std;
int main()
{
    string line = "Try! Try! Try! until you succeed";
    //getline(cin, line);
    unordered_map<char, int> m;
    for (int i = 0; line[i]; i++)
    {   
        char lower = (char)tolower(line[i]);
        if (m.find(lower) == m.end())
            m.insert(make_pair(lower, 1));
        else
            m[lower]++;
    }

    for (auto &i : m) //only updates until ! 
        if (!(i.first >= 'a' && i.first <= 'z'))
            m.erase(i.first);

    cout<<"The freq. map so formed is : \n";
    for (auto &i : m)
        cout<<i.first<<"\t"<<i.second<<endl;
    
    return 0;
}
/*
OUTPUT : 
The freq. map so formed is : 
d       1
t       4
r       3
e       2
y       4
l       1
o       1
        5
n       1
u       3
i       1
s       1
c       2
*/

似乎无法理解为什么它不会循环遍历完整的无序地图。

另外，不确定这是否有助于清晰的图片，但是，当使用标准地图而不是无序地图时，它会在同一实例中给出地址边界错误，地图的下一个字符需要像这样更新：

Answer 1

c++ 的陷阱之一是迭代器在修改时对于大多数容器都是无效的。

std::unordered_map::erase - cppreference.com

对已擦除元素的引用和迭代器无效。其他迭代器和引用不会失效。

所以当你有删除项目形式

m

当前迭代器变得无效。

现在循环的范围基础在下面使用迭代器.

修复它的野兽方法我们使用 std::erase_if 算法：

std::erase_if(m.begin(), m.end(), [](const auto& i) { 
    return !(std::islower(i.first)); 
});

Answer 2

以这种方式迭代时，您不能删除地图的元素。当您擦除迭代器时，它会失效，因此您需要在删除元素之前显式地递增它。

试试这个代码：

 for (auto it = m.begin(); it != m.end();)
     if (!((*it).first >= 'a' && (*it).first <= 'z'))
         it = m.erase(it);
     else
        ++it;