在C ++ 11中用“ auto”推论得出的lambda类型是什么？

我认为lambda的类型是函数指针。当我执行以下测试时，我发现它是错误的（演示）。

#define LAMBDA [] (int i) -> long { return 0; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok
  assert(typeid(pFptr) == typeid(pAuto));  // assertion fails !
}

上面的代码缺少任何意义吗？如果不是，那么typeof用auto关键字推导的lambda表达式是什么？

Lambda表达式的类型未指定。

但它们通常仅是函子的语法糖。Lambda直接转换为函子。内的所有内容[]都将转换为构造函数参数和functor对象的成员，而内部的参数()都将转换为functor的参数operator()。

不能捕获任何变量的lambda（[]s中的任何内容）都不能转换为函数指针（如果是编译器，则MSVC2010不支持此指针，但是此转换是标准的一部分）。

但是lambda的实际类型不是函数指针。这是一些未指定的函子类型。

这是一个独特的未命名结构，使函数调用运算符过载。每个lambda实例都会引入一个新类型。

在非捕获lambda的特殊情况下，该结构还具有对函数指针的隐式转换。

[C++11: 5.1.2/3]: 的类型的λ-表达（这也是封闭的对象的类型）是一个独特的，无名不愈合类类型 -称为闭合类型 -其特性如下所述。此类不是聚合（8.5.1）。在包含相应的lambda-expression的最小块范围，类范围或名称空间范围中声明闭包类型。[..]

该子句继续列出了此类型的各种属性。以下是一些要点：

[C++11: 5.1.2/5]:lambda-expression的闭包类型具有一个公共inline函数调用运算符（13.5.4），其参数和返回类型由lambda-expression的 parameter-declaration-clause和Trailing-return-type描述。[..]

[C++11: 5.1.2/6]: 一个的关闭类型 没有lambda-capture lambda表达式具有指向该函数的指针的公共非虚拟非显式const转换函数，该函数具有与闭包类型的函数调用运算符相同的参数和返回类型。该转换函数返回的值应是一个函数的地址，该函数在被调用时与调用闭包类型的函数调用运算符具有相同的作用。

最后一段的结果是，如果您使用了转换，则可以将分配LAMBDA给pFptr。

#include <iostream>
#include <typeinfo>

#define LAMBDA [] (int i)->long { return 0l; }
int main ()
{
  long (*pFptr)(int) = LAMBDA;  // ok
  auto pAuto = LAMBDA;  // ok

  std::cout<<typeid( *pAuto ).name() << std::endl;
  std::cout<<typeid( *pFptr ).name() << std::endl;

  std::cout<<typeid( pAuto ).name() << std::endl;
  std::cout<<typeid( pFptr ).name() << std::endl;
}

函数类型的确相同，但是lambda引入了新的类型（如函子）。

还应注意，lambda可转换为函数指针。但是，typeid <>返回一个非从属对象，该对象从lambda到泛型函数指针应有所不同。因此，对typeid <>的测试不是有效的假设。通常，C ++ 11不想让我们担心类型说明，如果给定类型可转换为目标类型，那么这一切都无所谓。

如何将boost :: bind对象存储为类成员的实用解决方案？请尝试boost::function<void(int)>或std::function<void(int)>。