将 lambda 传递到函数模板中

我正在学习 C++，并且正在尝试实现一个二分搜索函数，该函数查找谓词所适用的第一个元素。该函数的第一个参数是一个向量，第二个参数是一个计算给定元素的谓词的函数。二分查找函数如下所示：

template <typename T> int binsearch(const std::vector<T> &ts, bool (*predicate)(T)) {
    ...
}

如果像这样使用的话，这将按预期工作：

bool gte(int x) {
    return x >= 5;
}

int main(int argc, char** argv) {
    std::vector<int> a = {1, 2, 3};
    binsearch(a, gte);
    return 0;
}

但如果我使用 lambda 函数作为谓词，则会收到编译器错误：

search-for-a-range.cpp:20:5: error: no matching function for call to 'binsearch'
    binsearch(a, [](int e) -> bool { return e >= 5; });
    ^~~~~~~~~
search-for-a-range.cpp:6:27: note: candidate template ignored: could not match 'bool (*)(T)' against '(lambda at
      search-for-a-range.cpp:20:18)'
template <typename T> int binsearch(const std::vector<T> &ts,
                          ^
1 error generated.

上述错误是由

binsearch(a, [](int e) -> bool { return e >= 5; });

怎么了？为什么编译器不相信我的 lambda 具有正确的类型？

你的职能binsearch采用函数指针作为参数。 Alambda http://en.cppreference.com/w/cpp/language/lambda和函数指针是不同的类型：lambda 可以被视为实现结构体的实例operator().

请注意，无状态 lambda（不捕获任何变量的 lambda）可隐式转换为函数指针。由于模板替换，隐式转换不起作用：

#include <iostream>

template <typename T>
void call_predicate(const T& v, void (*predicate)(T)) {
    std::cout << "template" << std::endl;
    predicate(v);
}

void call_predicate(const int& v, void (*predicate)(int)) {
    std::cout << "overload" << std::endl;
    predicate(v);
}

void foo(double v) {
    std::cout << v << std::endl;
}

int main() {
    // compiles and calls template function
    call_predicate(42.0, foo);

    // compiles and calls overload with implicit conversion
    call_predicate(42, [](int v){std::cout << v << std::endl;});

    // doesn't compile because template substitution fails
    //call_predicate(42.0, [](double v){std::cout << v << std::endl;});

    // compiles and calls template function through explicit instantiation
    call_predicate<double>(42.0, [](double v){std::cout << v << std::endl;});
}

你应该让你的功能binsearch更通用，比如：

template <typename T, typename Predicate>
T binsearch(const std::vector<T> &ts, Predicate p) {

    // usage

    for(auto& t : ts)
    {
        if(p(t)) return t;
    }

    // default value if p always returned false

    return T{};
}

从中汲取灵感标准算法库 http://en.cppreference.com/w/cpp/algorithm.