C++ 11 理解lambda表达式

在该篇文章中并不准备从头详细讲解lambda表达式，只给出一些样例和比较关键点。
首先，给出lambda表达式的形式

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

• capture list 为捕捉列表
• parameter list 参数列表
• return type 返回值类型
• function body 函数体

这里，我们直接看一个例子

#include <iostream>
int main()
{
    int t = 2;
    auto f = [t](int a, float b)->float {return t*a*b; };
    t = 3;
    std::cout << f(2, 3);
    return 0;
}

该方法输出结果为12
其中该程序的重点在lambda表达式，auto f = [t](int a, float b)->float {return t*a*b; };
- t 为捕捉到的值，该捕捉到的值，可以传入到函数体中使用
- int a, float b为参数列表，这个与普通的函数是一样的
- -> float紧接着->指定返回值类型。某些情况是可以省略的（忽略时，如果函数体只有一个return语句时，返回类型从返回的表达式的类型推断出来，否则，返回void
- return t*a*b为函数体，可根据自己需要填充，可以使用捕捉列表中值与参数列表中的值

而这么部分，只是对lambda表达式的定义，而调用时，可以像一个普通函数一样调用它，例如，我们下面所调用的f(2,3)

那么，问题来了，为什么输出的是12
在相关资料中，找到一句话，“被捕获的变量值是在lambda创建时拷贝” “被捕获的变量值是在lambda创建时拷贝” “被捕获的变量值是在lambda创建时拷贝” 重要的事情说三遍。
啊？好难理解？额，一般来说，记住这句话就成了，但是，既然提出来了，我们就研究一下。？
在编译器编译时，lambda表达式会对应一个新的类类型，注意，是类，那么，这个类长什么样子？

class A{
public:
    A(int t):t(t){};  //该形参对应捕获的变量
    //该调用运算符的返回类型、形参和函数体都与lambda一致
    float operator()(int a,float b) const
    {
        return t*a*b;
    }
private:
    int t;
};

默认情况下，从lambda生成的类都包含一个对应该lambda所捕获的变量的数据成员。类似任何普通类的数据成员，lambda的数据成员也在lambda对象创建时被初始化。
这样，就可以理解了，当一个函数传递一个lambda时，同时定义了一个新类型和该类型的一个对象：传递的参数就是此编译器生成的类类型的未命名对象。

到这里，应该可以结束了，但是，你注意到了吗？operator()是一个const的函数，不能改变成员变量的值，这个，你可以试试，
auto f = [t](int a, float b)->float {t = 3; return t*a*b; };
编译器会提醒你编译错误的。

当然，lambda表达式还有一些其他的重点，例如捕捉列表也可以传引用，lambda表达式的调用技巧等，这里不再一一介绍。