Lambd Expression

　　“Lambda 表达式”(lambda expression)是一个匿名函数，Lambda表达式基于数学中的λ演算得名，直接对应于其中的lambda抽象(lambda abstraction)，是一个匿名函数，即没有函数名的函数。Lambda表达式能够表示闭包（注意和数学传统意义上的不一样）。

C++表达式

　　ISO C++ 11 标准的一大亮点是引入Lambda表达式。基本语法以下：

1	[capture list] (parameter list) ->  return  type { function body }

　　其中除了“[ ]”（其中捕获列表能够为空）和“复合语句”（至关于具名函数定义的函数体），其它都是可选的。它的类型是单一的具备成员operator()的非联合的类类型，称为闭包类型(closure type)。

C++中，一个lambda表达式表示一个可调用的代码单元。咱们能够将其理解为一个未命名的内联函数。它与普通函数不一样的是，lambda必须使用尾置返回来指定返回类型。

例如调用<algorithm>中的std::sort，ISO C++ 98 的写法是要先写一个compare函数：

1 2 3 4

bool  compare( int & a, int & b) {      return  a>b; }

　　而后，再这样调用：

1	sort(a, a+n, compare);

　　然而，用ISO C++ 11 标准新增的Lambda表达式，能够这么写：

1	sort(a, a+n, []( int  a, int  b){ return  a>b;}); //降序排序

　　这样一来，代码明显简洁多了。

　　因为Lambda的类型是单一的，不能经过类型名来显式声明对应的对象，但能够利用auto关键字和类型推导：

1	auto  f=[]( int  a, int  b){ return  a>b;};

　　和其它语言的一个较明显的区别是Lambda和C++的类型系统结合使用，如：

1 2 3 4

auto  f=[x]( int  a, int  b){ return  a>x;}; //x被捕获复制 int  x=0, y=1; auto  g=[&]( int  x){ return  ++y;}; //y被捕获引用，调用g后会修改y，须要注意y的生存期 bool (*fp)( int ,  int )=[]( int  a, int  b){ return  a>b;}; //不捕获时才可转换为函数指针

　　Lambda表达式能够嵌套使用。

　　即将出版的ISO C++14支持基于类型推断的泛型lambda表达式。上面的排序代码能够这样写：

1	sort(a, a+n, []( const  auto & a, const  auto & b){ return  a>b;}); //降序排序：不依赖a和b的具体类型

　　由于参数类型和函数模板参数同样能够被推导而无需和具体参数类型耦合，有利于重构代码；和使用auto声明变量的做用相似，它也容许避免书写过于复杂的参数类型。特别地，不须要显式指出参数类型使使用高阶函数变得更加容易。