使用迭代器时从 set/unordered_set 中提取

Question

我刚刚了解了在 C++17 中添加到 std::set/std::unordered_set 的 extract 函数。我知道这是有效的：

while (!my_set.empty()) {
  auto node_handle = my_set.extract(my_set.begin());
  auto elem = std::move(node_handle.value());
}

但是以下安全吗？ （来自https://stackoverflow.com/a/42519996/3234803）

for (auto it = my_set.begin(); it != my_set.end(); ) {
  auto node_handle = my_set.extract(it++);
  auto elem = std::move(node_handle.value());
}

我知道extract 使传递给它的迭代器失效，所以extract(it++) 在it 失效之前将下一个迭代器保存到it。但是否保证extract 不会使其他迭代器失效？

Answer 1

但是是否保证 extract 不会使其他迭代器失效？

是的。保证提取不会使其他迭代器无效。两个循环都是安全的。