我正在编写一个简单的程序,它使用了 std::map::erase
.
该程序很好,但有一些我不明白的地方。
如果我传给 erase
function 第一个迭代器超出第二个迭代器的间隔,该函数不会删除任何内容。这很好。
另一方面,如果我使用 std::distance
第一个迭代器超出第二个迭代器,此函数“失败”。我知道这是由于 map 迭代器的性质,例如 std::vector
没有这个问题。
但我不明白如何map::erase
可以知道区间是否有效。
最佳答案
来自 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 :
- Removes the elements in the range [first; last), which must be a valid range in *this.
您传递的迭代器值不包含“有效范围”,因此这也是未定义的行为。尽管今天这似乎什么也没做,但如果下周您的代码开始崩溃,生成的代码完全在其权利范围内,因为这就是“未定义行为”的含义。
总之,
erase()
和 std::distance
在这种情况下导致未定义的行为。
关于c++ - map::erase 如何知道间隔是否有效?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/65928514/