C++中Lambda表达式

旧城等待， 2022-08-07 08:55 173阅读 0赞

C++11中也支持Lambda表达式了，即匿名函数。

首先看一个例子，对Lambda表达式有一个感性的认识：

#include <iostream>
    #include <vector>
    #include <algorithm>
    
    using namespace std;
    
    int main()
    {
        int count = 10;
        vector<int> nums(count, 1);
        int x = 1, y = 1;
        //generate_n 函数调用中的lambda表达式将vector对象中的一个元素赋值为其前两个元素的和
        generate_n(nums.begin() + 2, count - 2, [=]() mutable -> int {
            int n = x + y;
            x = y;
            y = n;
            return n;
        });
        //for_each输出vector对象中的元素
        for_each(nums.begin(), nums.end(), [](int num) {
            cout << num << ' ';
        });
        cout << endl;
        return 0;
    }

结果如下：  
![实验结果][20150327155837462]  
  
  
C++中Lambda表达式语法如下：

![Lambda表达式][Lambda]  
其中，

1.  lambda-introducer （称为捕获子句）
2.  lambda-parameter-declaration-list （称为参数列表）
3.  mutable-specification （称为可变声明）
4.  exception-specification （称为异常声明）
5.  lambda-return-type-clause （称为返回类型）
6.  compound-statement （称为lambda主体）

**lambda introducer**  
\[lambda-introducer\]，标识一个Lambda表达式的开始，这部分必须存在，不能省略。lambda-introducer中的参数是传递给编译器自动生成的函数对象类的构造函数的。函数对象参数只能使用那些到定义Lambda为止时Lambda所在作用范围内可见的局部变量（包括Lambda所在类的this）。函数对象参数有以下形式：  
1、\[\]：不使用任何对象参数。  
2、\[=\]：函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是值传递方式（相当于编译器自动为我们按值传递了所有局部变量）。  
3、\[&\]：函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是引用传递方式（相当于编译器自动为我们按引用传递了所有局部变量）。  
4、\[this\]：函数体内可以使用Lambda所在类中的成员变量。  
5、\[a\]：将a按值进行传递。按值进行传递时，函数体内不能修改传递进来的a的拷贝，因为默认情况下函数是const的。要修改传递进来的a的拷贝，可以添加mutable修饰符。  
6、\[&a\]：将a按引用进行传递。  
7、\[a, &b\]：将a按值进行传递，b按引用进行传递。  
8、\[=，&a, &b\]：除a和b按引用进行传递外，其他参数都按值进行传递。  
9、\[&, a, b\]：除a和b按值进行传递外，其他参数都按引用进行传递。

**参数列表**（如果没有可以省略）  
参数列表和普通函数参数列表一样，使用()括起来。参数可以通过按值（如(a,b)）和按引用（如(&a,&b)）两种方式进行传递。没有参数时，参数列表可以省略。

**mutable和exception声明**（可选的）  
mutable或exception声明，这部分可以省略。按值传递函数对象参数时，加上mutable修饰符后，可以修改按值传递进来的拷贝（注意是能修改拷贝，而不是值本身）。exception声明用于指定函数抛出的异常，如抛出整数类型的异常，可以使用throw(int)。

**返回类型**  
\->返回值类型，标识函数返回值的类型，当返回值为void，或者函数体中只有一处return的地方（此时编译器可以自动推断出返回值类型）时，这部分可以省略。

**lambda主体**  
\{函数体\}，标识函数的实现，这部分不能省略，但函数体可以为空。

[20150327155837462]: /images/20220805/c3d2ef4c1ff74ece80818efe64e5c387.png
[Lambda]: /images/20220805/448f287abee745a6a3d41ade9977bafc.png