实例讲解C++中lambda表达式

测试环境 windows 7  vs2013

C++ 11中的Lambda表达式用于定义并创建匿名的函数对象，以简化编程工作。例如GPU编程中常用到。

一个最简单的lamada表达式程序

#include <functional>
#include <iostream>

using namespace std;
int main()
{
    function<void(void)>  fun = [](){cout << "hello lambda"<<endl; }; //这里也可以使用auto变量
    fun();
    cin.get();
    return 0;
}

在STL中的使用

#include <functional>
#include<vector>
#include<algorithm>
#include <iostream>

using namespace std;
int main()
{
	vector<int> vec_int;

	vec_int.push_back(1);
	vec_int.push_back(2);
	vec_int.push_back(3);
	//function<void(int)>  也可以使用auto
	function<void(int)>  print_fun = [](int item){cout<<item<<endl; }; //int  item函数参数
	for_each(vec_int.begin(), vec_int.end(), print_fun);
	cin.get();

	return 0;
}

Lambda的语法形式如下：

[函数对象参数](操作符重载函数参数) mutable或exception声明->返回值类型{ 函数体 }

可以看到，Lambda主要分为五个部分：

一.[函数对象参数]，标识一个Lambda的开始，这部分必须存在，不能省略。函数对象参数是传递给编译器自动生成的函数对象类的构造函数的。

函数对象参数只能使用那些到定义Lambda为止时Lambda所在作用范围内可见的局部变量（包括Lambda所在类的this）。函数对象参数有以下形式：
1、空。没有使用任何函数对象参数。
2、 = 。函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是值传递方式（相当于编译器自动为我们按值传递了所有局部变量）。
3、&。函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是引用传递方式（相当于编译器自动为我们按引用传递了所有局部变量）。
4、this。函数体内可以使用Lambda所在类中的成员变量。
5、a。将a按值进行传递。按值进行传递时，函数体内不能修改传递进来的a的拷贝，因为默认情况下函数是const的。要修改传递进来的a的拷贝，可以添加mutable修饰符。
6、&a。将a按引用进行传递。
7、a, &b。将a按值进行传递，b按引用进行传递。
8、 = ，&a, &b。除a和b按引用进行传递外，其他参数都按值进行传递。
9、&, a, b。除a和b按值进行传递外，其他参数都按引用进行传递。

#include <functional>
#include <iostream>

using namespace std;
class Test
{
public:
	int num;
public:
	Test()
	{
		num = 100;
	}
	void lambda_test()
	{
		int  i_a = 3;
		int i_b = 5;
		
		auto fun1 = [](int v){ cout <<v<<endl ; };//没有捕获任何参数,这里int v相当于函数参数
		// auto fun1 = [](int v){ cout << this->num<<i_a<<endl ; }; 报错：封闭函数局部变量不能在 lambda 体中引用，除非其位于捕获列表中	
		fun1(i_a);//通过函数调用
		//=按照副本引用this，还有当前块语句所有的局部变量，不可以赋值，但是可以读取
		auto fun2 = [=](){ cout <<"num:" <<this->num <<" i_a:" <<i_a<<" i_b:"<<i_b<<endl; };
		fun2();

		//&按照引用的方式操作局部变量，this,可以赋值，可以读取
		auto fun3 = [&](){ this->num = 200; i_a = 10; i_b = 20; };
		fun3();
		cout << "修改后num:" << this->num << " i_a:" << i_a << " i_b:" << i_b << endl;
		//指定铺货的参数i_a 可读可写，i_b只读，this->num 无法访问
		auto fun4 = [&i_a, i_b](){ i_a = 13; cout << "i_a:" << i_a << "  i_b:" << i_b << endl; };
		fun4();
		
		
	}
};
int main()
{
	
	Test test;
	test.lambda_test();

	cin.get();
	return 0;
}

二、(操作符重载函数参数)，标识重载的()操作符的参数，没有参数时，这部分可以省略。参数可以通过按值（如：(a, b)）和按引用（如：(&a, &b)）两种方式进行传递。与函数类似不在举例。
三、mutable或exception声明，这部分可以省略。按值传递函数对象参数时，加上mutable修饰符后，可以修改按值传递进来的拷贝（注意是能修改拷贝，而不是值本身）。//exception声明用于指定函数抛出的异常，如抛出整数类型的异常，可以使用throw(int)。

#include <functional>
#include <iostream>

using namespace std;


int main()
{

    int num = 10;
    //mutable 注意是能修改拷贝，而不是值本身
    auto fun = [num]()mutable throw() -> int{ num = 11; cout << "lambda num:" << num << endl; };
    fun();
    cout <<"num:"<< num << endl;
    cin.get();
    return 0;
}

//四、->返回值类型，标识函数返回值的类型，当返回值为void，或者函数体中只有一处return的地方（此时编译器可以自动推断出返回值类型）时，这部分可以省略。
//五、{ 函数体 }，标识函数的实现，这部分不能省略，但函数体可以为空。

#include <functional>
#include <iostream>

using namespace std;

int main()
{

	//
	auto fun1 = [](double a)->double{ a += 1.1;; return a; };
	cout<<fun1(1.2)<<endl;
	auto fun2 = [](double a)->decltype(a){ a += 1.1;; return a; };
	cout<<fun2(1.2)<<endl;

	cin.get();
	return 0;
}

参考文献：http://www.cnblogs.com/hujian/archive/2012/02/14/2350306.html