Lambdas和std :: function

Question

我正在努力追赶C++ 11和所有出色的新功能.我对lambdas有点困惑.

这是我能够开始工作的代码:

#include <iostream>
#include <cstdlib>
#include <vector>
#include <string>
#include <functional>

using namespace std;

template<typename BaseT, typename Func>
vector<BaseT> findMatches(vector<BaseT> search, Func func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

void Lambdas()
{
    vector<int> testv = { 1, 2, 3, 4, 5, 6, 7 };

    auto result = findMatches(testv, [] (const int &x) { return x % 2 == 0; });

    for(auto i : result)
    {
        cout << i << endl;
    }
}

int main(int argc, char* argv[])
{

    Lambdas();

    return EXIT_SUCCESS;
}

我想拥有的是:

template<typename BaseT>
vector<BaseT> findMatches(vector<BaseT> search, function <bool (const BaseT &)> func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

基本上我想将可能的lambda缩小到合理的函数子集.我错过了什么？这甚至可能吗？我正在使用GCC/G ++ 4.6.

Answer 1

Stephan T. Lavavej解释了为什么这在这个视频中不起作用.基本上,问题是,编译器试图推断BaseT从两个所述std::vector 和的std::function参数.C++中的lambda 不是类型std::function,它是一个未命名的,唯一的非联合类型,如果它没有捕获列表(空[]),则可以转换为函数指针.另一方面,std::function可以从任何可能类型的可调用实体(函数指针,成员函数指针,函数对象)创建对象.

请注意,我个人不明白为什么你想要将传入的仿函数限制为特定的签名(除了通过多态函数包装器的间接std::function,比直接调用仿函数更低效的事实)甚至可以内联)),但这是一个工作版本.基本上,它会禁用std::function部件上的参数推导,并且只BaseT从std::vector参数中推导出:

template<class T>
struct Identity{
  typedef T type;
};

template<typename BaseT>
vector<BaseT> findMatches(vector<BaseT> search, 
    typename Identity<function<bool (const BaseT &)>>::type func)
{
    vector<BaseT> tmp;

    for(auto item : search)
    {
        if( func(item) )
        {
            tmp.push_back(item);
        }
    }

    return tmp;
}

Ideone上的实例.

另一种可能的方法是不直接限制仿函数类型,而是通过SFINAE间接限制:

template<class T, class F>
auto f(std::vector<T> v, F fun)
    -> decltype(bool(fun(v[0])), void())
{
  // ...
}

Ideone上的实例.

如果fun不接受类型参数T&或返回类型不可转换为此函数,则将从重载集中删除此函数bool.该, void()品牌f的返回类型void.