地图上的 remove_if 试图将 const 作为非常量传递 - 为什么？

Question

这里有一段代码应该过滤掉满足谓词的映射元素，进入一个新映射（MCVE-fied）：

#include <algorithm>
#include <unordered_map>
#include <iostream>

using namespace std;

int main() {
    unordered_map<string, int> m = { { "hello", 1 }, { "world", 2 } };
    auto p = [](const decltype(m)::value_type& e) { return e.second == 2; };
    const auto& m2(m);
    auto m3(m2);
    auto it = remove_if(m3.begin(), m3.end(), p);
    m3.erase(it, m3.end());
    cout << "m3.size() = " << m3.size() << endl;
    return 0;
}

在 remove_if() 行编译失败，我得到：

In file included from /usr/include/c++/4.9/utility:70:0,
                 from /usr/include/c++/4.9/algorithm:60,
                 from /tmp/b.cpp:1:
/usr/include/c++/4.9/bits/stl_pair.h: In instantiation of ‘std::pair<_T1, _T2>& std::pair<_T1, _T2>::operator=(std::pair<_T1, _T2>&&) [with _T1 = const std::basic_string<char>; _T2 = int]’:
/usr/include/c++/4.9/bits/stl_algo.h:868:23:   required from ‘_ForwardIterator std::__remove_if(_ForwardIterator, _ForwardIterator, _Predicate) [with _ForwardIterator = std::__detail::_Node_iterator<std::pair<const std::basic_string<char>, int>, false, true>; _Predicate = __gnu_cxx::__ops::_Iter_pred<main()::<lambda(const value_type&)> >]’
/usr/include/c++/4.9/bits/stl_algo.h:937:47:   required from ‘_FIter std::remove_if(_FIter, _FIter, _Predicate) [with _FIter = std::__detail::_Node_iterator<std::pair<const std::basic_string<char>, int>, false, true>; _Predicate = main()::<lambda(const value_type&)>]’
/tmp/b.cpp:12:48:   required from here
/usr/include/c++/4.9/bits/stl_pair.h:170:8: error: passing ‘const std::basic_string<char>’ as ‘this’ argument of ‘std::basic_string<_CharT, _Traits, _Alloc>& std::basic_string<_CharT, _Traits, _Alloc>::operator=(const std::basic_string<_CharT, _Traits, _Alloc>&) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]’ discards qualifiers [-fpermissive]
  first = std::forward<first_type>(__p.first);
        ^

为什么会这样？ remove_if 不应该需要非常量映射键（在这种情况下为字符串） - 如果我没记错的话。也许autos 以某种方式假设我想要非常量迭代器？如果是这样，除了拼出类型之外我还能做什么（我想避免这种情况，因为需要对这段代码进行模板化）。

Answer 1

即使没有所有这些中间变量，您的示例也会失败。

unordered_map<string, int> m = { { "hello", 1 }, { "world", 2 } };
auto p = [](const decltype(m)::value_type& e) { return e.second == 2; };  
auto it = remove_if(m.begin(), m.end(), p);

上面的代码将失败并出现同样的错误。您不能将remove_if 与关联容器一起使用，因为该算法通过将满足您的谓词的元素移动到容器的末尾来工作。但是您将如何重新排序 unordered_map？

为擦除元素编写一个循环

for(auto it = m.begin(); it != m.end();)
{
  if(p(*it)) it = m.erase(it);
  else ++it;
}

或者你可以把它打包成一个算法

template<typename Map, typename Predicate>
void map_erase_if(Map& m, Predicate const& p)
{
    for(auto it = m.begin(); it != m.end();)
    {
      if(p(*it)) it = m.erase(it);
      else ++it;
    }
}

如果您有一个实现uniform container erasure 库基础扩展的标准库实现，那么您在std::experimental 命名空间中有一个类似于上述算法的算法。

Answer 2

不要将std::remove_if 用于基于节点的容器。该算法尝试置换集合，您要么无法做到（对于关联容器），要么效率低下（对于列表）。

对于关联容器，您需要一个正常的循环：

for (auto it = m.begin(); it != m.end(); )
{
    if (it->second == 2) { m.erase(it++); }
    else                 { ++it;          }
}

如果您要从列表中删除，请改用 remove 成员函数，它接受一个谓词。

Answer 3

来自cppreference：

移除是通过移动（通过移动赋值的方式）范围内的元素来完成的，使得不被移除的元素出现在范围的开头。

您不能对关联容器中的元素重新排序，因为 unordered_map 这没有意义，因为将元素移动到末尾没有任何意义，它们无论如何都是通过键查找的。​​p >