为什么像这样使用find_if失败

Question

我想从映射中找到第一个非零元素，因此我做了以下代码：

#include <map>
#include <iostream>
#include <algorithm>
bool nonzero(std::map<char,int>::const_iterator& it);
int main()  {
    std::map<char, int> m;
    m['a'] = 0;
    m['b'] = 1;
    std::map<char,int>::iterator it = std::find_if(m.begin(), m.end(), nonzero);
    std::cout << it->first << 't' << it->second << std::endl;
    return 0;
}

bool nonzero(std::map<char,int>::const_iterator& it)    {
    return it->second;
}

g++给出了非常复杂的错误，说：

/usr/include/c++/5/bits/predefined_ops.h:234:30: error: invalid initialization of reference of type ‘std::_Rb_tree_const_iterator<std::pair<const char, int> >&’ from expression of type ‘std::pair<const char, int>’
  { return bool(_M_pred(*__it)); }

我不明白它在说什么，也不明白为什么我的程序会失败。

Answer 1

find_if调用的nonzero函数所需的类型不是std::map<char,int>::const_iterator&，而是const std::pair<const char, int> &。

事实上，如果你查看一些find_if的在线文档，你会发现一元谓词的形式是：

bool UnaryPredicate(const Type&)

其中Type在您的情况下是std::pair<const char, int>(对于一般的std::map<Key, Value>，类型为std::pair<const Key, Value>(。

因此，您可以将传递const&的函数调整为std::pair:

bool nonzero(const std::pair<const char, int> & p)
{
    return (p.second != 0);
}

请注意，将C++14 auto与lambdas一起使用会简化您的代码，例如：

auto it = std::find_if(m.begin(), m.end(), [](const auto& p){
    return (p.second != 0);
});

还要注意，该对具有一般形式std::pair<const Key, Value>(而不仅仅是具有非常量密钥的pair<Key, Value>(。

Answer 2

find_if将value_type(实际上是iterator.operator*()(传递给传递给它的函数/函数对象。您的nonzero应该接受std::map<char,int>::value_type const&作为参数，或者更简洁地说：std::pair<const char, int> const&

bool nonzero(std::pair<const char, int> const& element) {
    return it.second;
}

请注意，该对的密钥是const。如果省略它，您将复制您检查的每个map元素。

如果您可以使用C++14或更新版本，您也可以使用auto和通用lambda:使其更短

auto it = std::find_if(m.begin(), m.end(), [](auto const& pair){ return p.second; });

和C++11版本：

auto it = std::find_if(m.begin(), m.end(), [](std::pair<const char, int> const& pair){ return p.second; })

Answer 3

函数接受：

bool nonzero(const std::map<char,int>::value_type& value);

它是std::pair<const char,int>，而不是迭代器

在使用迭代器之前，您应该通过与std::map::end()进行比较来检查find_if的结果。