lambda expression & mutable

一、Lambda表达式定义

　　

二、Lambda捕获方式

　　

三、Lambda使用

void main()
{
    int a = 1, b = 2;
    auto fn1 = []() {std::cout << "fn1
"; };
    // auto fn1 = []() {std::cout << "fn1()" << a << "
"; }; // Error1
    auto fn2 = [](int m, int n) {std::cout << "fn2(a, b) = " << m + n << "
"; };
    auto fn3 = [](int m, int n)->int {return m + n; };
    // auto fn3 = [](int a, int b) {return a + b; } // Error2
    auto fn4 = [&]()->int {a = 10; b = 20; return a + b; }; 
    // auto fn4 = [=]()->int {a = 10; b = 20; return a + b; }; // Error3
    auto fn5 = [=]()->int {return a + b; };
    auto fn6 = [a, &b]()->int {b = 20; return a + b; };
    // auto fn6 = [a, &b]()->int {a = 10; b = 20; return a + b; }; // Error4

    fn1();
    fn2(a, b);
    fn3(a, b);
    fn4();
    fn5();
    fn6();
}

• [] 可以为空，默认不捕获任何变量
• [&]对Lambda表达式可见的变量进行引用捕获
• [=]对Lambda表达式可见的变量进行之捕获
• [a, &b]对指定的变量进行值或引用捕获

　　是否注意到被注释的代码部分，这些都是错误的写法。Error1：Lambda表达式未捕获任何变量，所以其内部不可使用外部的变量；Error2(3, 4)：Lambda表达式内部不可对值捕获的变量进行修改，如果需要修改需要使用另外的方式。通过上面错误例子

引出今天的主题：为什么Lambda表达式值捕获的变量不可在其内部修改？如果需要修改，改如何实现？

四、Lambda & mutable

　　看如下定义的函数：

void Func(int a)
{
    a = 10;
    std::cout << "a = " << a << std::endl;
}

　　调用者通过值传递的方式调用Func，在函数内部可以修改形参变量a，但是不影响实参a；这个原理大家都懂，就不介绍了。恰恰这个问题的引入，让我们想到，Lambda表达式的值捕获和形参值传递是一样的，即副本机制；但是Lambda就不能在其

内部修改呢？这个疑问还得从闭包说起，啥是闭包，请自行Google。简言之，我们在代码中定义Lambda函数时，编译器在编译的时候并不将该Lambda函数直接替换成函数，而是一个对象，注意这里说的是对象；这个对象通过操作符operator()()实现函数的调用，这是不是很熟悉？没错，这就是函数对象。再看如下的代码：

struct unamed1
{
    int param;
    unamed1(int a) : param(a) {}
    void operator()() const {
        //param = 10; // Error
        std::cout << "param " << param << std::endl;
    }
};

struct unamed2
{
    int& param;
    unamed2(int& a) : param(a) {}
    void operator()() const {
        param = 10;  // OK
        std::cout << "param " << param << std::endl;
    }
};

struct unamed3
{
    int param;
    unamed3(int a) : param(a) {}
    void operator()(){
        param = 10;  // OK
        std::cout << "param " << param << std::endl;
    }
};

　　是不是就”悟“呢？从C++标准草案(http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2011/n3242.pdf)中也可以找到这个问题的答案:

      

　　如果我们想对值捕获的变量进行修改，该怎么处理呢？使用mutable修饰。从C++标准文档(https://en.cppreference.com/w/cpp/language/lambda)可以看到如下说明：

　　验证如下：

void main()
{
    int a = 1, b = 2;

    auto fn = [=]() mutable {a = 10; b = 20; std::cout << "fn(a, b) = " << a + b << "
"; };
    fn();
}

   

 　　这里需要注意mutable放置的地方哦！！！