vae*_*tis 4 c++ dictionary iterator erase
我正在编写一个简单的程序，它使用std::map::erase. 该程序很好，但有一些我不明白的地方。
如果我将erase第一个迭代器超出第二个迭代器的间隔传递给函数，则该函数不会擦除任何内容。这很好。
另一方面，如果我std::distance在第二个迭代器之后使用第一个迭代器，则此函数“失败”。我知道这是由于地图迭代器的性质，例如std::vector没有这个问题。
但我不明白如何map::erase知道间隔是否有效。
Fromstd::distance的规格：
如果通过（可能重复）首先递增无法从第一个到达 last，则行为未定义。
对于随机访问迭代器，C++11 之后有一个无关紧要的例外，但这不适用于地图。这是未定义的行为，因此您可以在这里得到“失败”，甚至崩溃。
std::map的erase()方法似乎也表明这是未定义的行为：
- 删除范围 [first; last)，必须是 *this 中的有效范围。
您传递的迭代器值不包含“有效范围”，因此这也是未定义的行为。尽管今天这似乎什么也没做，但如果下周您的代码开始崩溃，生成的代码完全在其权利范围内，因为这就是“未定义行为”的含义。
总之，在这种情况下，erase()和 都会std::distance导致未定义的行为。