C++ lambda表达式 （一）

为什么要lambda函数

匿名函数是许多编程语言都支持的概念，有函数体，没有函数名。1958年，lisp首先采用匿名函数，匿名函数最常用的是作为回调函数的值。正因为有这样的需求，c++引入了lambda 函数，你可以在你的源码中内联一个lambda函数，这就使得创建快速的，一次性的函数变得简单了。例如，你可以把lambda函数可在参数中传递给std::sort函数。

#include "stdafx.h"
#include <algorithm>   //标准模板库算法库
#include <cmath>       //数学库
#include <iostream>
using namespace std;

//绝对值排序
void abssort(float* x, unsigned n) 
{
    //模板库排序函数
    std::sort(x, x + n,
        // Lambda 开始位置
        [](float a, float b) 
        {
            return (std::abs(a) < std::abs(b));
        } // lambda表达式结束
    );
}

int _tmain(int argc, _TCHAR* argv[])
{
    float a[5] = { 2.1f, 3.5f, 4.0f, 5.2f, 3.3f };
    abssort(a, 5);
    for (auto& x : a)
    {
        cout << x << endl;
    }
    system("pause");
    return 0;
}

 

lambda函数的语法

基本形式如下：

[capture](parameters)->return-type {body}

• []叫做捕获说明符，表示一个lambda表达式的开始。接下来是参数列表，即这个匿名的lambda函数的参数。
• parameters，普通参数列表
• ->return-type表示返回类型，如果没有返回类型，则可以省略这部分。这涉及到c++11的另一特性，参见自动类型推导，最后就是函数体部分。

• capture clause（捕获）
• lambda-parameter-declaration-list （变量列表）
• mutable-specification （捕获的变量可否修改）
• exception-specification （异常设定）
• lambda-return-type-clause （返回类型）
• compound-statement （函数体）

外部变量的捕获规则

默认情况下，即捕获字段为 [] 时，lambda表达式是不能访问任何外部变量的，即表达式的函数体内无法访问当前作用域下的变量。

如果要设定表达式能够访问外部变量，可以在 [] 内写入 & 或者 = 加上变量名，其中 & 表示按引用访问，= 表示按值访问，变量之间用逗号分隔，比如 [=factor, &total] 表示按值访问变量 factor，而按引用访问 total。

不加变量名时表示设置默认捕获字段，外部变量将按照默认字段获取，后面在书写变量名时不加符号表示按默认字段设置，比如下面三条字段都是同一含义：

[&total, factor]
[&, factor]
[=, &total]

#include <functional>
#include <iostream>
using namespace std;int _tmain(int argc, _TCHAR* argv[])
{
    //lambd函数对象
    auto fl = [](int x, int y){return x + y; };
    cout << fl(2, 3) << endl;

    function<int(int, int)>f2 = [](int x, int y){return x + y; };
    cout << f2(3, 4) << endl;
    system("pause");
    return 0;
}

不能访问任何局部变量

如何传进去局部变量

int test = 100;
    //lambd函数对象捕获局部变量
    auto fl = [test](int x, int y){return test +x + y; };
    cout << fl(2, 3) << endl;

默认访问所有局部变量

int test = 100;
    //lambd函数对象捕获所有局部变量
    auto fl = [=](int x, int y){return test +x + y; };
    cout << fl(2, 3) << endl;

在C++11中这一部分被成为捕获外部变量

捕获外部变量

[captures] (params) mutable-> type{...} //lambda 表达式的完整形式

在 lambda 表达式引出操作符[ ]里的“captures”称为“捕获列表”，可以捕获表达式外部作用域的变量，在函数体内部直接使用，这是与普通函数或函数对象最大的不同（C++里的包闭必须显示指定捕获，而lua语言里的则是默认直接捕获所有外部变量。）

捕获列表里可以有多个捕获选项，以逗号分隔，使用了略微“新奇”的语法，规则如下

• [ ]        ：无捕获，函数体内不能访问任何外部变量 
• [ =]      ：以值（拷贝）的方式捕获所有外部变量，函数体内可以访问，但是不能修改。
• [ &]      ：以引用的方式捕获所有外部变量，函数体内可以访问并修改（需要当心无效的引用）；
• [ var]   ：以值（拷贝）的方式捕获某个外部变量，函数体可以访问但不能修改。
• [ &var] ：以引用的方式获取某个外部变量，函数体可以访问并修改
• [ this]   ：捕获this指针，可以访问类的成员变量和函数，
• [ =，&var] ：引用捕获变量var，其他外部变量使用值捕获。
• [ &，var]：只捕获变量var，其他外部变量使用引用捕获。

下面代码示范了这些捕获列表的用法：、

int x = 0,y=0;

• auto f1 = [=](){ return x; };                       //以值方式捕获使用变量，不能修改
• auto f2 = [&](){ return ++x; };                  //以引用方式捕获所有变量，可以修改，但要当心引用无效
• auto f3 = [x](){ return x; };                      //以值方式捕获x，不能修改
• auto f4 = [x,&y](){ y += x; };                    //以值方式捕获x，以引用方式捕获y，y可以修改
• auto f5 = [&,y](){ x += y;};                      //以引用方式捕获y之外所有变量，y不能修改
• auto f6 = [&](){ y += ++x;};                    //以引用方式捕获所有变量，可以修改
• auto f7 = [](){ return x ;};                      //无捕获，不能使用外部变量，编译错误

值得注意的是变化的捕获发生在了lambda表达式的声明之时，如果使用值方式捕获，即使之后变量的值发生变化，lambda表达式也不会感知，仍然使用最初的值。如果想要使用外部变量的最新值就必须使用引用的捕获方式，但也需要当心变量的生命周期，防止引用失效。

刚才的lambda表达式运行结果是：

• f1();                     //以值方式捕获，x,y不发生变化
• f2();                    //函数内部x值为0，之后变为1，y没有被修改，值仍然是0；
• f3();                    //函数内部x值仍然为0，即f3()==0;
• f4();                    //x,y均是0，运算后y仍然是0；
• f5();                    //y是0；引用捕获的x是1，运算后x仍然为1；
• f6();                   //x,y均引用捕获，运算后x,y均是2