lambda表达式

ambda表达式的基本语法如下：

[ capture_clause ] ( parameters ) -> return_type { function_body }

• capture_clause：捕获列表，定义了lambda表达式可以访问的外部变量及其访问方式。

  • [ ]：不捕获任何外部变量。

  • [=]：按值捕获所有外部变量。

  • [&]：按引用捕获所有外部变量。

• parameters：参数列表，和普通函数的参数列表一样，用于定义传递给lambda表达式的参数。

• return_type：返回类型，可以被编译器推断，在很多情况下可以省略。

• function_body：函数体，包含了lambda表达式的代码块。

lambda表达式非常适合用作回调函数、临时函数对象或任何需要简短、一次性使用的函数的场合。lambda表达式的使用提高了代码的可读性和编写的便捷性。

从简单的情况开始。以一个返回0的无参函数为例，它对应的lambda函数如下：

int return_0(){
    return 0;
}
int main(){
    auto return_0_lambda = []()->int{
        return 0;
    };
    cout<<return_0()<<endl; // 输出0
    cout<<return_0_lambda()<<endl; // 输出0
}

一个简单的a+b的带参函数对应的lambda函数如下：

int add(int x,int y){
    return x+y;
}
int main(){
    auto add_lambda = [](int x,int y)->int{
        return x+y;
    };
    cout<<add(3,5)<<endl;
    cout<<add_lambda(3,5)<<endl;
}

可能有一些参数我们不方便传进来，需要用到外部的变量，如何处理呢？这时我们需要捕获外部变量。有两种捕获方式：按值捕获所有外部变量；按引用捕获所有外部变量。其中，按值捕获的外部变量是只读的。

例如，我们设计一个计算x+y+z的程序，其中z已经在外部定义好，那么带参函数对应的lambda函数如下：

int z1=10;
int addz(int x,int y){
    return x+y+z1;
}
int main(){
    int z2=10;
    auto addz_lambda = [=](int x,int y)->int{
        return x+y+z2;
    };
    cout<<addz(3,5)<<endl;// 输出18
    cout<<addz_lambda(3,5)<<endl;// 输出18
}

注意到那个方括号[=]中间有一个等号，这代表着外部的所有值都将以值的方式进行捕获。如果是[&]，那么就是外部的所有值都将以引用的方式进行捕获。这和函数中传值和传引用的概念比较相似。

那么，我们接下来试一下传引用，观察它们的区别。

int main(){
    int z1=10,z2=10;
    auto addz1_lambda = [=](int x,int y)->int{
        //z1+=10;  编译错误，不能被修改。
        return x+y+z1;

    };
    auto addz2_lambda = [&](int x,int y)->int{
        z2+=10;
        return x+y+z2;
    };
    cout<<addz1_lambda(3,5)<<endl; //输出18
    cout<<addz2_lambda(3,5)<<endl; //输出28
    cout<<z1<<endl;//输出10
    cout<<z2<<endl;//输出20
}