c ++ 11 / 1y lambda函数的类型签名是什么？

根据可以表达lambda表达式的“类型”吗？，实际上，当前的c ++（无需c ++ 1y）有一种简单的方法来计算lambda的return_type和参数类型。为此，为每个lambda组装一个std::function类型化的签名类型（f_type以下称）并不困难。

I.使用这种抽象类型，实际上可能有一种替代方法来auto表示lambda的类型签名，即function_traits<..>::f_type下面的方法。注意：f_type并不是Lambda的真实类型，而是功能上Lambda类型签名的摘要。但是，它可能比lambda的实际类型有用，因为每个lambda都是自己的类型。

如下代码所示，就像一个人可以使用vector<int>::iterator_type i = v.begin()，一个人也可以做function_traits<lambda>::f_type f = lambda，这是神秘方法的替代方法auto。当然，这种相似只是形式上的。下面的代码涉及到将lambda转换为a std::function，这会浪费std::function对象构造类型的开销，而通过std::function对象进行间接调用的开销也很小。但是这些std::function搁置使用的实现问题（我不认为这是根本性的，应该永远存在），毕竟，有可能明确表达任何给定lambda的（抽象）类型签名。

二。还可以编写一个make_function包装器（非常类似于std::make_pair和std::make_tuple），以将lambda f（以及其他可调用对象，如函数指针/函子）自动转换为std::function具有相同类型推断功能的。

测试代码如下：

#include <cstdlib>
#include <tuple>
#include <functional>
#include <iostream>
using namespace std;

// For generic types that are functors, delegate to its 'operator()'
template <typename T>
struct function_traits
    : public function_traits<decltype(&T::operator())>
{};

// for pointers to member function
template <typename ClassType, typename ReturnType, typename... Args>
struct function_traits<ReturnType(ClassType::*)(Args...) const> {
    //enum { arity = sizeof...(Args) };
    typedef function<ReturnType (Args...)> f_type;
};

// for pointers to member function
template <typename ClassType, typename ReturnType, typename... Args>
struct function_traits<ReturnType(ClassType::*)(Args...) > {
    typedef function<ReturnType (Args...)> f_type;
};

// for function pointers
template <typename ReturnType, typename... Args>
struct function_traits<ReturnType (*)(Args...)>  {
  typedef function<ReturnType (Args...)> f_type;
};

template <typename L> 
typename function_traits<L>::f_type make_function(L l){
  return (typename function_traits<L>::f_type)(l);
}

long times10(int i) { return long(i*10); }

struct X {
  double operator () (float f, double d) { return d*f; } 
};

// test code
int main()
{
    auto lambda = [](int i) { return long(i*10); };
    typedef function_traits<decltype(lambda)> traits;
    traits::f_type ff = lambda;

    cout << make_function([](int i) { return long(i*10); })(2) << ", " << make_function(times10)(2) << ", " << ff(2) << endl;
    cout << make_function(X{})(2,3.0) << endl;

    return 0;
}