将 remove_if 用于地图容器

Question

我试图将 remove_if 模板用于地图容器，但我收到模板参数的编译器错误。我无法理解为什么。

int main()
{
  map<const int, int> intmap;

  intmap[1] = 1;
  intmap[2] = 2;
  intmap[3] = 3;
  intmap[4] = 4;

  auto isOdd = [&](pair<const int, int> it)->bool 
     { return static_cast<bool>(it.second % 2); };

  isOdd(*(intmap.begin()));

 remove_if(intmap.begin(), intmap.end(), isOdd); 
}

此 remove_if 引发编译器错误。有什么建议可以解决吗？

错误信息是

C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\INCLUDE\utility(260) : error C2166: l-value specifies const object
        C:\Program Files (x86)\Microsoft Visual Studio 10.0\VC\INCLUDE\utility(259) : while compiling class template member function 
        'std::pair<_Ty1,_Ty2> &std::pair<_Ty1,_Ty2>::operator =(std::pair<_Ty1,_Ty2> &&)'
        with
        [
            _Ty1=const int,
            _Ty2=int
        ]
        maperaseif.cpp(29) : see reference to class template instantiation 'std::pair<_Ty1,_Ty2>' being compiled
        with
        [
            _Ty1=const int,
            _Ty2=int
        ]

Answer 1

你不能在map上使用remove_if，因为它的值类型实际上是std::pair<const Key, Value>，但是你看requirements of remove_if，你可以看到，解引用的迭代器类型应该是MoveAssignable。

只写循环，或者使用 boost。

Answer 2

remove_if 通过扫描元素来工作，一旦要删除一个元素，它会记住将离开的“间隙”（保持一个迭代器指向它），同时推进另一个迭代器以找到下一个要保留的元素......然后它开始将元素从后者位置复制或移动到前者，直到到达end()。

这不适用于map，因为您不能完全覆盖pair<key,value> 元素：不允许修改键值，否则实现需要的排序顺序不变式可能会失效。

因此，您需要放弃remove_if。您可以使用普通循环，小心保存迭代器到下一个元素，而不是尝试从刚刚擦除的迭代器前进。关于如何在迭代时从地图中删除元素的许多其他问题，例如here....

Answer 3

这个小erase_if 模板函数应该可以满足您的需求。 （不是我写的，只是从某个地方捡到的——所以感谢写的人！）

  template< typename ContainerT, typename PredicateT >
  void erase_if( ContainerT& items, const PredicateT& predicate ) {
    for( auto it = items.begin(); it != items.end(); ) {
      if( predicate(*it) ) it = items.erase(it);
      else ++it;
    }
  };

在你的例子中，你会这样使用它：

erase_if(intmap, isOdd);