Lambda的使用和解释

作为一个C++开发的工程师，现在C++17都已经出现了，我才看C++11的语法，有点跟不上的情况，所以对于Lambda的用法做一个自己的理解和说明，希望大牛们做出指点和补充。

表达式如下：

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

1. [capture]：捕捉列表。捕捉列表总是出现在Lambda函数的开始处。实际上，[]是Lambda引出符。编译器根据该引出符判断接下来的代码是否是Lambda函数。捕捉列表能够捕捉上下文中的变量以供Lambda函数使用;
2. (parameters)：参数列表。与普通函数的参数列表一致。如果不需要参数传递，则可以连同括号“()”一起省略;
3. mutable：mutable修饰符。默认情况下，Lambda函数总是一个const函数，mutable可以取消其常量性。在使用该修饰符时，参数列表不可省略（即使参数为空）;
4. ->return-type：返回类型。用追踪返回类型形式声明函数的返回类型。我们可以在不需要返回值的时候也可以连同符号”->”一起省略。此外，在返回类型明确的情况下，也可以省略该部分，让编译器对返回类型进行推导;
5. {statement}：函数体。内容与普通函数一样，不过除了可以使用参数之外，还可以使用所有捕获的变量。与普通函数最大的区别是，除了可以使用参数以外，Lambda函数还可以通过捕获列表访问一些上下文中的数据。具体地，捕捉列表描述了上下文中哪些数据可以被Lambda使用，以及使用方式（以值传递的方式或引用传递的方式）。语法上，在“[]”包括起来的是捕捉列表，捕捉列表由多个捕捉项组成，并以逗号分隔。捕捉列表有以下几种形式：
   {
   1.[var]表示值传递方式捕捉变量var；
   2.[=]表示值传递方式捕捉所有父作用域的变量（包括this）；
   3.[&var]表示引用传递捕捉变量var；
   4.[&]表示引用传递方式捕捉所有父作用域的变量（包括this）；
   5.[this]表示值传递方式捕捉当前的this指针。
   上面提到了一个父作用域，也就是包含Lambda函数的语句块，说通俗点就是包含Lambda的“{}”代码块。上面的捕捉列表还可以进行组合，例如：
   1.[=,&a,&b]表示以引用传递的方式捕捉变量a和b，以值传递方式捕捉其它所有变量;
   2.[&,a,this]表示以值传递的方式捕捉变量a和this，引用传递方式捕捉其它所有变量。不过值得注意的是，捕捉列表不允许变量重复传递。下面一些例子就是典型的重复，会导致编译时期的错误。
   3.[=,a]这里已经以值传递方式捕捉了所有变量，但是重复捕捉a了，会报错的;
   4.[&,&this]这里&已经以引用传递方式捕捉了所有变量，再捕捉this也是一种重复。
   }
   对于Lambda的使用，接下来通过几个代码来解释

#include<iostream>
using namespace std;
     
typedef enum
{    
    add = 0,
    sub,
    mul,
    divi
}type;
     
int main()
{    
    int a = 1;
    int b = 2;
     
    auto Ret = [=](type i)->int {
        switch (i)
        {
            case add:
                return a + b;
            case sub:
                return a - b;
            case mul:
                return a * b;
            case divi:
                return a / b;
        }
    };
     
    cout << Ret(add) << endl;
}

在参考一下没有使用lambda的时候我们通常的写法，使用仿函数对象

#include<iostream>
using namespace std;
 
typedef enum
{
    add = 0,
    sub,
    mul,
    divi
}type;
 
class CMathematical
{
    public:
        CMathematical(int x, int y):m_x(x), m_y(y){}
 
        int operator()(type i)
        {
            switch (i)
            {
                case add:
                    return m_x + m_y;
                case sub:
                    return m_x - m_y;
                case mul:
                    return m_x * m_y;
                case divi:
                    return m_x / m_y;
            }
        }
 
    private:
        int m_x;
        int m_y;
};
 
int main()
{
    CMathematical addObj(10, 20);
    cout << addObj(add) << endl;                                                                                                               
    return 0;
}

两个对比下，lambda表达式方式在使用后代码直观，简单。

在看一个有点坑的代码

#include<iostream>        
using namespace std;      
                          
int main()                
{                         
    int j = 1;           
    auto by_val = [=]{ return j + 1; };
    auto by_ref = [&]{ return j + 1; };
    
    cout << "by_val: " << by_val() << endl;		//输出结果2
    cout << "by_ref: " << by_ref() << endl;		//输出结果2
                          
    ++j;                  
    cout << "by_val: " << by_val() << endl;		//输出结果2
    cout << "by_ref: " << by_ref() << endl;		//输出结果3
                          
    return 0;             
}

在by_val中，是一个值传递的过程，所以这里的值是通过拷贝得到的，不会根据j的修改而更改，而在by_ref中，j仍然在使用父作用域中的值。所以，在使用Lambda函数的时候，如果需要捕捉的值成为Lambda函数的常量，我们通常会使用按值传递的方式捕捉；相反的，如果需要捕捉的值成成为Lambda函数运行时的变量，则应该采用按引用方式进行捕捉。

最后一个坑，看下面的代码：

#include<iostream>                 
using namespace std;

int main()
{
    int val = 0;
    // auto const_val = [=](){ val = 1; };  //错误error

    auto mutable_val = [=]() mutable { val = 1; };
    mutable_val();
    cout << val << endl; // 0

    auto const_ref = [&]() { val = 1; };
    const_ref();
    cout << val << endl; // 1

    system("pause");
    return 0;
}

这段代码主要是用来理解Lambda表达式中的mutable关键字的。默认情况下，Lambda函数总是一个const函数，mutable可以取消其常量性。按照规定，一个const的成员函数是不能在函数体内修改非静态成员变量的值。