C++ lambda 表达式

c++中可调用对象

• 函数
• 函数指针
• 重载了函数调用符的类
• lambda 表达式
  其一般形式为

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

我们可以忽略参数列表和返回值，返回值返回表达式推断而来，否则返回void，但是必须有捕获列表和函数体

auto f = [] {return 42; }
cout << f() << endl; // 打印42

对于lambda表达式，其功能之一就是捕获并使用外部函数体的局部变量。对于要使用的外部函数体的局部变量，必须使用在捕获列表中指定， 不然编译不通过。（那么怎么指定呢？）

[] (const string &a)
	{
		return a.size() >= sz;
		//其中sz来自局部变量，但是没有在捕获列表中指出，编译出错
	}

c++ 中举了一个foreach的例子访问：

foreach (wc, works.end(), 
	[] (const string &s) { return << s << ""; })

在这里，lambda函数体中的cout也不并不是该lambda体内的变量，但是为什么不用捕获可以直接使用呀？
** Note ** :: lambda函数体中，可以直接使用局部static变量和函数体之外的声明的名字。
当我们定义一个lambda时，其实就是定义一个匿名类。当向一个函数传入lambda表达式的时候，其实就是生成了该类的的一个匿名对象，类似，一个lambda初始化变量的时候，其实定义一个lambda对象。比如前部代码块的f。

lambda可以使用值捕获和引用捕获

void fun1(){
	size_t v1 = 42;
	auto f = [v1] { return v1; }
	v1 = 0;
	auto i = f(); // i 为 42
}

void fun2(){
	size_t v1 = 42;
	//对象f2包含v1的引用
	auto f2 = [&v1] { return v1; }
	v1 = 0;
	auto j = f2(); //j 为 0
}

应用捕获有时候是必须的，比如我们需要向lambda表达式中传入流对象，此时就必须使用引用捕获。当以应用方式捕获一个变量的时候，程序员必须保证变量是存在的。

2 隐式捕获

在捕获列表中写一个=表示值捕获，写一个&表示引用捕获，此时编译器根据函数体推断我们使用了哪些变量，还可以使用混合捕获方式：

void biggies(vector<string> &words, vector<string>::size_type sz, osstream &os = cout, char c = ''){
	for_each(words.begin(), words.end(), 
		[&, c](const string &s) {
			os << s << c; }
		};
}

混合使用隐式捕获和显式捕获的时候，其不能同为值捕获或者引用捕获。在lambda表达式的函数体前部加上mutable关键字表示我们希望改变被捕获的的值，这个mutable是必须的。
当一个lambda的函数体有多个不同的语句的时候，必须指定返回值，需要在参数列表后边加上 -> return type, 例如

//求绝对值的函数
auto f = [] -> int {
	if (i > 0) return -i;
	else return i;
}