Lambdas and std::function

Lambdas and std::function

本文关键字：function std and Lambdas      更新时间：2023-10-16

我正在努力赶上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。

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

请注意，我个人不明白为什么要将传入函子限制为该特定签名(除了通过多态函数包装器(如 std::function(的间接寻址比直接调用函子(甚至可能是内联的(效率低得多(，但这是一个工作版本。基本上，它禁用了std::function部分的参数推导，仅从std::vector参数中推导出BaseT：

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。

正如其他海报所揭示的那样，这是 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 中，并提供更干净的错误消息。

相关文章：