C++11 lambda 表达式解析

不少语言都提供了 lambda 表达式，如 Python，Java 8。lambda 表达式能够方便地构造匿名函数，若是你的代码里面存在大量的小函数，而这些函数通常只被调用一次，那么不妨将他们重构成 lambda 表达式。

C++11 的 lambda 表达式规范以下：

[ capture ] ( params ) mutable exception attribute -> ret { body } (1)  
[ capture ] ( params ) -> ret { body } (2)  
[ capture ] ( params ) { body } (3)  
[ capture ] { body } (4)  
其中

(1) 是完整的 lambda 表达式形式，
(2) const 类型的 lambda 表达式，该类型的表达式不能改捕获("capture")列表中的值。
(3)省略了返回值类型的 lambda 表达式，可是该 lambda 表达式的返回类型能够按照下列规则推演出来：
若是 lambda 代码块中包含了 return 语句，则该 lambda 表达式的返回类型由 return 语句的返回类型肯定。
若是没有 return 语句，则相似 void f(...) 函数。
省略了参数列表，相似于无参函数 f()。
mutable 修饰符说明 lambda 表达式体内的代码能够修改被捕获的变量，而且能够访问被捕获对象的 non-const 方法。

exception 说明 lambda 表达式是否抛出异常(noexcept)，以及抛出何种异常，相似于void f() throw(X, Y)。

attribute 用来声明属性。

另外，capture 指定了在可见域范围内 lambda 表达式的代码内可见得外部变量的列表，具体解释以下：

[a,&b] a变量以值的方式呗捕获，b以引用的方式被捕获。
[this] 以值的方式捕获 this 指针。
[&] 以引用的方式捕获全部的外部自动变量。
[=] 以值的方式捕获全部的外部自动变量。
[] 不捕获外部的任何变量。
此外，params 指定 lambda 表达式的参数。

一个具体的 C++11 lambda 表达式例子：

复制代码
#include <vector>
#include <iostream>
#include <algorithm>
#include <functional>

int main() {
std::vector<int> c { 1,2,3,4,5,6,7 };
int x = 5;
c.erase(std::remove_if(c.begin(), c.end(), [x](int n) { return n < x; } ), c.end());

std::cout << "c: ";
    for (auto i: c) {
        std::cout << i << ' ';
    }
    std::cout << '\n';

// the type of a closure cannot be named, but can be inferred with auto
    auto func1 = [](int i) { return i+4; };
    std::cout << "func1: " << func1(6) << '\n';

// like all callable objects, closures can be captured in std::function    // (this may incur unnecessary overhead)    std::function&lt;int(int)&gt; func2 = [](int i) { return i+4; };    std::cout << "func2: " << func2(6) << '\n'; }