c++ - C++ 标准库是否提供更紧凑和更通用的擦除删除习惯用法？

Question

我们可以通过流行的erase-remove idiom从容器中删除一个元素/条目。但是，我们中的许多人在应用这个成语时会遇到一些问题：

• 人们很容易陷入错别字的陷阱，例如

  c.erase(std::remove_if(c.begin(), c.end(), pred));
  //                                             , c.end() //---> missing here
  

  或者

  c.erase((std::remove_if(c.begin(), c.end(), pred), c.end()))
  //      ^^                                               ^^
  // extra () makes it pass only c.end() to the c.erase
  

• 它甚至遵循错误的容器语义，例如 std::list不为习语选择自己的成员 std::list::remove_if() 。
• 第三， usingstd::remove_if 不适用于关联容器。

---

在c++17的范围内，我们是否有任何通用且不易出错的std::erase-std::remove_if东西，或者在c++20中是否会有这样的实用程序？std::erase_if

Answer 1

不在c++17的范围内，而是在c++20以后的范围内！

是的。在n4009 论文中提到了一致性容器擦除的提议，并最终在C++20 标准中采用，因为std::erase_if它是每个容器的非成员函数。

这确保了所有标准容器std::basic_string的统一容器擦除语义，除了（因为它具有固定大小）。std::array

这意味着样板代码

container.erase(
    std::remove_if(
        container.begin(), container.end(),
        [](const auto& element) ->bool { return /* condition */; }),
    vec.end());

将简单地融化为一个广义的形式

std::erase_if(container, [](const auto& element) ->bool { return /* condition */; });

其次，这种统一的语法为每个容器选择适当的语义。这表示

• 对于std::vector,std::deque和 for 之类的序列容器std::std::basic_string，它将等价于

  container.erase(
         std::remove_if(container.begin(), container.end(), unaryPredicate)
         , container.end()
  );
  

• 对于序列容器std::forward_list和std::list，它将等价于

  container.remove_if(unaryPredicate);
  

• 对于有序关联容器（即std::set、std::map和 ）std::multiset和std::multimap无序关联容器（即std::unordered_set、和）， std::unordered_map等价 于std::unordered_multisetstd::unordered_multimapstd::erase_if

  for (auto i = container.begin(), last = container.end(); i != last; ) 
  {
    if (unaryPredicate(*i)) 
    {
      i = container.erase(i);
    }
    else
    {
      ++i;
    }
  }
  

---

除此之外，该标准还为表单std::erase的序列容器添加了

std::erase(container, value_to_be_removed);