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

我刚刚了解了在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());
}

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不会使其他迭代器无效？

但是可以保证提取不会使其他迭代器无效吗？

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