什么是非空STL擦除的安全等价物

What is a safe equivalent of non-void STL erase?

本文关键字：安全 等价物 擦除 STL 是非 什么      更新时间：2023-10-16

假设我有一个hash_map和一个类似的代码

// i is an iterator
i = hash_map.erase(i)

但是GCC的STL在擦除时并没有返回迭代器，而是返回了一个void。现在是一个类似的代码

hash_map.erase(i++)

安全（即不会使迭代器无效或做任何其他意外或不愉快的事情）？请注意，这是一个hash_map。

是的，这是安全的，因为在当前值被擦除之前，i的值将被设置为下一个值。

根据SGI关于散列容器的文档，对于未擦除的元素，甚至对于调整大小，都不会发生无效（没有关于插入是否会导致调整大小的说法，所以要小心，我承认这是一种可能性）——但在后一种情况下，迭代顺序会发生变化。但这在这里不适用，除非你在遍历或其他过程中特意调整容器的大小。：-）

您可以封装擦除，为您使用的所有容器提供相同的接口：

namespace detail {
template<typename Container, typename R>
struct SelectErase {
  // by default, assume the next iterator is returned
  template<typename Iterator>
  Iterator erase(Container& c, Iterator where) {
    return c.erase(where);
  }
};
// specialize on return type void
template<typename Container>
struct SelectErase<Container, void> {
  template<typename Iterator>
  Iterator erase(Container& c, Iterator where) {
    Iterator next (where);
    ++next;
    c.erase(where);
    return next;
  }
};
template<typename I, typename Container, typename R>
SelectErase<Container,R> select_erase(R (Container::*)(I)) {
  return SelectErase<Container,R>();
}
} // namespace detail
template<typename Container, typename Iterator>
Iterator erase(Container& container, Iterator where) {
  return detail::select_erase<Iterator>(&Container::erase).erase(container, where);
}

这需要：

  1. c.erase返回下一项的迭代器。这就是vector、deque和list的工作方式
  2. c.erase返回void，并且不会使下一个迭代器无效。这就是map、set和（非stdlib）hash_map的工作方式

我讨厌下雨，但我认为你的提议不安全。

i++是后递增运算符，这意味着i在调用擦除后递增。但是擦除会使所有指向被擦除元素的迭代器失效。所以当我被递增时，它就不再有效了。

如果你幸运的话，它可能会意外地正常工作，直到有一天它不再工作了。

据我所知，除了之外，没有其他办法

// tmp and i are both iterators
tmp = i;
++i;
hash_map.erase(tmp);
相关文章：