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解释了为什么这在this video中不起作用。基本上，问题是编译器试图从中推导出BaseT std::vector 和 std::function参数。 C ++中的lambda是 not 类型std::function，它是一个未命名的，唯一的非联合类型，如果它没有捕获列表，则可转换为函数指针（空{{ 1}}）。另一方面，可以从任何可能类型的可调用实体（函数指针，成员函数指针，函数对象）创建[]对象。

请注意，我个人不明白为什么你想要将传入的仿函数限制为特定的签名（除了通过多态函数包装器的间接性，如std::function），效率低得多而不是直接调用仿函数（甚至可以内联）），但这是一个工作版本。基本上，它会在std::function部分禁用参数推断，并且只从std::function参数中推导出BaseT：

std::vector

Live example on Ideone.

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

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;
}

Live example on Ideone.

如果template<class T, class F> auto f(std::vector<T> v, F fun) -> decltype(bool(fun(v[0])), void()) { // ... }不接受fun类型的参数或者返回类型不能转换为T&，则此函数将从重载集中删除。 bool使, void()的返回类型为f。

Answer 2

正如其他海报所揭示的那样，这是std :: function的模板参数推导。

使第二个代码段工作的一种直观方法是在调用模板函数时添加基类型：findMatches<int>。

Xeo没有提到的另一种方法是使用std :: is_convertible：

template<typename BaseT, typename FUNC>
vector<BaseT> findMatches(vector<BaseT> search, function <bool (const BaseT &)> func)
{
    static_assert(std::is_convertible<FUNC, function<bool (const BaseT &)> >::value, "func must be convertible to ...");

    vector<BaseT> tmp;

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

    return tmp;
}

它避免将lamda包装到std :: function中，并提供更清晰的错误消息。

Lambdas和std :: function

2 个答案: