c++ - map::erase 如何知道间隔是否有效？

我正在编写一个使用std::map::erase. 程序很好，但有一些我不明白的地方。

如果我将第一个迭代器超出第二个迭代器的间隔传递给erase函数，则该函数不会删除任何内容。这很好。

另一方面，如果我std::distance在第二个迭代器之外使用第一个迭代器，则此函数“失败”。我知道这是由于地图迭代器的性质造成的，例如std::vector没有这个问题。

但我不明白如何map::erase知道间隔是否有效。

标签： c++dictionaryiteratorerase

如果 last 不能通过（可能重复）首先递增从 first 到达，则行为未定义。

对于随机访问迭代器，在 C++11 之后有一个无关紧要的异常，但这不适用于地图。这是未定义的行为，因此您可以在这里得到“失败”甚至崩溃。

std::map的erase()方法似乎也表明这也是未定义的行为：

删除范围内的元素 [first; last)，它必须是 *this 中的有效范围。

您传递的迭代器值不包含“有效范围”，因此这也是未定义的行为。即使今天这似乎什么也没做，但如果下周您的代码开始崩溃，则生成的代码完全在其权利范围内，因为这就是“未定义行为”的含义。

总之，在这种情况下，两者都会erase()导致std::distance未定义的行为。