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

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

这对map不起作用，因为您无法覆盖pair<key,value>元素批发：不允许修改键值或实现需要的排序顺序不变失效。

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

Answer 2

这个小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);

Answer 3

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

只需编写循环，或使用boost作为示例。

使用remove_if作为地图容器

3 个答案: