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

Question

我正在编写一个简单的程序，它使用了 std::map::erase .
该程序很好，但有一些我不明白的地方。
如果我传给 erase function 第一个迭代器超出第二个迭代器的间隔，该函数不会删除任何内容。这很好。
另一方面，如果我使用 std::distance第一个迭代器超出第二个迭代器，此函数“失败”。我知道这是由于 map 迭代器的性质，例如 std::vector没有这个问题。
但我不明白如何map::erase可以知道区间是否有效。

Answer 1

来自 std::distance 's specification :

The behavior is undefined if last is not reachable from first by(possibly repeatedly) incrementing first.

对于随机访问迭代器，C++11 之后有一个无关紧要的异常(exception)，但这不适用于 map 。这是未定义的行为，因此您可以在这里得到“失败”，甚至崩溃。 std::map的 erase()方法似乎也表明 this is undefined behavior, too :

2. Removes the elements in the range [first; last), which must be avalid range in *this.

您传递的迭代器值不包含“有效范围”，因此这也是未定义的行为。尽管今天这似乎什么也没做，但如果下周您的代码开始崩溃，生成的代码完全在其权利范围内，因为这就是“未定义行为”的含义。
总之， erase()和 std::distance在这种情况下导致未定义的行为。