C++ lamda表达式

    lamda表达式是C++11中的新特征，说白了就是匿名函数。
    
    lambda表达式的具体形式如下：

---

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

---

     其中, capture是需要用到的外部变量， parameters是函数参数，return-type是返回的类型(可省略），body是函数体。


    来个最简单的:

    

[](){};

 

　”[]"表示不需要使用外部变量，”()"表示形参列表为空，"{}"表示空函数，什么都不干。

    再举一个例子。
    在STL中有一个排序函数std::sort，如果现在我们要用它来按降序排列一个数组arr，则可自定义一个比较函数cmp,并把它传给sort函数，如下

 

　bool cmp(int a, int b) {

　　　　return a > b;

　　}

　　std::sort(arr, arr + len, cmp);

　　

　　若果使用lamda表达式，则可改写成如下

std::sort(arr, arr + len, [](int a, int b) {

　　　　return a > b;

　　});

 

---

 

　　

 

　　"[]"表明没有用到外部变量，如果我们要用到外部变量，则要对"[]"进行修改,如下代码

 

　　int n = 10;

　　[](int a) {return a + n;}; // 报错，提示变量n不能在lamda体中调用，除非其在捕获列表中

 

　　捕获列表是指"[]"，因此我们在"[]"中加上n即可。如下

　　int n = 10;

　　[n](int a) {return a + n;}; // 正确

　　"[n]"说明n是以传值的方式传到lamda体中，传值和传引用的差别请自行百度。捕获列表可按如下规则传入

• [] 什么也没有捕获
• [a, &b] 按值捕获a，按引用捕获b
• [&] 按引用捕获任何用到的外部变量
• [=] 按值捕获任何用到的外部变量
• [a, &] 按值捕获a, 其它的变量按引用捕获
• [&b, =] 按引用捕获b,其它的变量按值捕获
• [this] 按值捕获this指针

 

　　注意: 假如我们想修改按值传进来的形参，将会发生错误，因为按值捕获的对象不能被修改，如下代码

 

　　 int n = 10;
    [n](int a) {
        n += a; // 报错，提示不允许修改n的值
        return n;
    };

 

　　

　　这时我们需要假如一个mutable,如下

    int n = 10;
    [n](int a)mutable {
        n += a; // 正确
        return n;
    };

 

---

　　关于返回值类型，可由以下规则推导出来

• 如果body仅包含单一的return语句，那么返回值类型是返回表达式的类型（在此隐式转换之后的类型：右值到左值、数组与指针、函数到指针）
• 否则，返回类型是void

　　譬如我们上面std::sort()的这个例子，lamda表达式是

[](int a, int b) {return a > b;};

　　a > b 这个表达式返回的类型是bool，因此这个lamda表达式返回类型是bool。

　　最后一个例子，我们可以把lamda表达式进行赋值，还是利用std::sort()这个例子。我们可以把cmp函数写成如下

std::function<bool(int, int)> cmp = [](int a, int b) {return a > b;};　　//std::function包含在头文件functional中，具体用法请自行百度

　　这样做的好处是可以多次利用lamda表达式。当然，我们可以指定其返回类型为auto，来让其自行判断。

auto cmp = [](int a, int b) {return a > b;};

　　

---

　　lamda表达式的简单介绍到此结束。文章若有错漏之处，请提出，多谢。

　　

　　参考:

　　　　Lambda函数（C++11 起）:http://zh.cppreference.com/w/cpp/language/lambda

　　　　代码简洁之道：C++ 11 之auto+ for_each + lamda表达式:http://www.itnose.net/detail/6090413.html