重新插入元素可以"re-validate"迭代器吗？

Can re-inserting an element "re-validate" iterators?

本文关键字：re-validate 迭代器 元素 新插入 插入      更新时间：2023-10-16

我在unordered_set中有一些对象，在某些时候需要以不改变哈希函数或比较运算符行为的方式进行更新。将结构拆分为映射或具有可变字段目前不是选项。我想出了一个解决方案：

struct X { int x, y; };
// operator== and hash defined using only x
std::unordered_set<X> mySet;
// insert a bunch of stuff...
mySet.emplace(1, 2); // y contains 2
// get an iterator and a reference to the element
auto it = mySet.find(X{ 1, 3 }); // (y field here doesn't matter)
const X& ref = *it; // get a pointer to the element
std::cout << ref.y << 'n'; // 2
std::cout << it->y << 'n'; // 2
// now i want to change y to 4
mySet.erase(it);
mySet.emplace_hint(it, 1, 4); // y now contains 4
std::cout << ref.y << 'n'; // 4 or UB?
std::cout << it->y << 'n'; // 4 or UB?

这在 clang 中编译和运行得很好，但我不确定标准是否允许我这样做，因为擦除会使擦除元素的迭代器无效。使用具有相同值的 insert(((带或不带迭代器提示(，是否可以保证新元素将存储在相同的内存位置，从而"重新验证"迭代器和引用？

不，这是未定义的行为，它只是运气好。

请考虑如果 unordered_set 实现在erase调用后调整容器大小会发生什么情况。

一旦迭代器失效;就是这样。 你不能再让它神奇地指向正确的事情了。 什么是正确的事情？ 它之前指向的东西;现在坐在原地的东西？

如果你不使迭代器无效;

那么你永远不会触及未定义的行为;但使用无效的迭代器是UB。

相关文章：