C++拾遗--lambda表达式

前言

    有时，我们需要在函数内部频繁地使用某一功能。此时，我们可以把这种功能写成一个独立的函数。而实际上，这个新的函数很可能是不需要在其它的地方进行调用的。我们想限定它的作用范围，最好是仅限于当前函数。而函数的内部是不可以重新定义其它的函数的。为了解决这个问题，在新的标准中，C++引入了lambda表达式(lambda expression)的概念。有了lambda表达式，C++向一门完美的语言又进了一大步。总的来说，lambda表达式极大地提升了C++的函数运用能力。

lambda表达式
    《C++Primer》中对它的描述是“一个lambda表达式表示一个可调用的代码单元，可理解为一个未命名的内联函数”。lambda表达式的一般形式是

[capture list] (parameter list) ->return type {function body}

capture list -> 捕获列表(必选)
parameter list -> 参数列表(可选)
function body -> 函数主体(必选)
return type -> 返回值类型(可选)

下面我们一一探讨

感性认识

#include <iostream>
#include <string>
using namespace std;
int main()
{
 //定义一个lambda表达式
 auto print = [](string s){
  for (int i = 0; i < s.size(); i++)
   cout << s[i] << " ";
  cout << endl;
 };

 string man = "man";
 string woman = "woman";
 string say = "ILOVEYOUBABY";

 //对print的调用形同一个函数
 print(man);
 print(woman);
 print(say);

 cin.get();
 return 0;
}

运行

capture list(捕获列表)
在捕获列表中指明需要用到的局部变量(全局变量可直接使用，不需捕获)。两种捕获方式：值捕获、引用捕获。

需要指出：捕获列表只用于捕获局部非static变量。

1.值捕获

前提：被捕获的变量是可以被拷贝的。
重点：在值捕获时，默认情况下，是不可以修改捕获列表中变量的值的，除非在parameter list后加关键字mutable。
难点：拷贝的时机是在lambda表达式定义时，而不是使用时。
实例

#include <iostream>
using namespace std;

int g_data(1);

int main()
{
 //data的定义必须在lambda表达式之前，否则无法捕获
 int data(2);
 auto fun = [data]()mutable{
  //在lambda表达式中，修正data的值
  data = 3;    //若不加mutable，此处会error
  g_data = 4;
 };
 cout << "fun()调用之前" << endl;
 cout << "g_data = " << g_data << ends << "data = " << data << endl; 
 //修正data的值
 data = 5;
 //在修正后进行调用，以验证值捕获的时机
 fun();
 cout << "fun()调用之后" << endl;
 cout << "g_data = " << g_data << ends << "data = " << data << endl;
 cin.get();
 return 0;
}

运行

2.引用捕获
在变量名前加&，即为引用捕获。它和引用的语法一样。
实例

#include <iostream>
using namespace std;

int main()
{
 cout << "引用捕获演示" << endl;
 int data(0);
 cout << "fun()调用之前 ";
 cout << "data = " << data << endl;
 auto fun = [&data](){
  data++;    //由于是引用捕获，在修改值时，mutable可以不加
 };
 //调用fun()
 fun();
 cout << "fun()调用之后 ";
 cout << "data = " << data << endl;
 cin.get();
 return 0;
}

运行

隐式捕获
隐式捕获并不是第三种捕获方式，它只是捕获列表的一种书写方式。
几种常见的写法
[&] 所有变量均采用引用捕获。
[=] 所有变量均采用值捕获。
[&,identifier_list] identifier_list是一个用逗号隔开的参数列表，这个列表中的局部变量使用值捕获，其它的使用引用捕获。
[=,identifier_list] identifier_list是一个用逗号隔开的参数列表，这个列表中的局部变量使用引用捕获，且变量名前需添加&，其它的使用值捕获。
特别的，空捕获列表[]：表示lambda表达式中不能使用任何局部变量。

实例

#include <iostream>
using namespace std;

int main()
{
 int a, b, c;
 a = b = c = 0;
 //在fun1中a、b、c都采用值捕获
 auto fun1 = [=]()mutable{
  a++;
  b++;
  c++;
 };
 //在fun2中a、b、c都采用引用捕获
 auto fun2 = [&](){
  a++;
  b++;
  c++;
 };
 //在fun3中a采用引用捕获，b、c采用值捕获
 auto fun3 = [=, &a](){
  a++;
 };
 //在fun4中b、c采用引用捕获，a采用值捕获
 auto fun4 = [&, a](){
  b++;
  c++;
 };
 fun1();
 cout << "fun1() a = " << a << " b = " << b << " c = " << c << endl;
 a = b = c = 0;
 fun2();
 cout << "fun2() a = " << a << " b = " << b << " c = " << c << endl;
 a = b = c = 0;
 fun3();
 cout << "fun3() a = " << a << " b = " << b << " c = " << c << endl;
 a = b = c = 0;
 fun4();
 cout << "fun4() a = " << a << " b = " << b << " c = " << c << endl;
 cin.get();
 return 0;
}

运行

parameter list(参数列表)
参数列表和普通函数的参数列表用法基本一致，除了一点：不可以有默认实参。
即是不可以有这种写法：[](int a=0){}; 

function body和return type
三点规则：
若function body中只有一条return语句，则return type可以没有，返回值类型由return语句推测。
若无return语句，则返回值类型为void.
若除了return语句外还有其它语句，则必须指定返回值的类型，且必须使用尾置返回类型，即"->类型名"的形式。

------------------------------分割线------------------------------

将C语言梳理一下，分布在以下10个章节中：

1. Linux-C成长之路（一）：Linux下C编程概要 http://www.linuxidc.com/Linux/2014-05/101242.htm
2. Linux-C成长之路（二）：基本数据类型 http://www.linuxidc.com/Linux/2014-05/101242p2.htm
3. Linux-C成长之路（三）：基本IO函数操作 http://www.linuxidc.com/Linux/2014-05/101242p3.htm
4. Linux-C成长之路（四）：运算符 http://www.linuxidc.com/Linux/2014-05/101242p4.htm
5. Linux-C成长之路（五）：控制流 http://www.linuxidc.com/Linux/2014-05/101242p5.htm
6. Linux-C成长之路（六）：函数要义 http://www.linuxidc.com/Linux/2014-05/101242p6.htm
7. Linux-C成长之路（七）：数组与指针 http://www.linuxidc.com/Linux/2014-05/101242p7.htm
8. Linux-C成长之路（八）：存储类，动态内存 http://www.linuxidc.com/Linux/2014-05/101242p8.htm
9. Linux-C成长之路（九）：复合数据类型 http://www.linuxidc.com/Linux/2014-05/101242p9.htm
10. Linux-C成长之路（十）：其他高级议题