c++可调用对象之lambda

lambda

表达式形式：

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

其中：capture list为捕获列表，parameter list为参数列表，reuturn type为返回类型，function body为函数体。

示例

auto f=[]{return 42;};
auto f=[=,&os](const vstring& s)->bool {os<<s<<c;};
/*隐式捕获为赋值捕获（=），因为io对象无法拷贝，
所以如果要在该例lambda表达式function body中使用io对象必须显示传引用捕获
且捕获列表中不能再有值捕获*/

注意事项：

• lambda表达式的参数列表和返回类型可以省略，但是如果function boy中包含return语句之外的语句时，返回类型默认为void。也就是说，忽略返回类型的前提是function body中有且只有一条return语句
• 对于隐式捕获，例子中隐式捕获为赋值捕获，则捕获列表中只能存在引用捕获，反之亦然，如果隐式捕获是引用捕获，则捕获列表中只能存在赋值捕获。
• 值捕获的变量值不能改变，如果我们希望能改变一个被捕获变量的值，就必须在参数列表首加上mutalbe(这与捕获引用不同，捕获引用也能改变捕获变量的值，但是外界值也会发生改变)

auto f=[v1]()mutable{return ++vl;}

实质

编译器会将lambda表达式翻译成一个未命名类的未命名对象，在lambda表达式产生的类中含有一个重载的函数调用运算符，例如：

auto f=[](const string& a,const string& b){return a.size()<b.size();};
//该表达式会被翻译成
class Unknow	//该类与未命名的类功能相同
{
public:
	bool operator()(const string& a,const string& b)const
	{return a.size()<b.size();}
}

lambda表达式的捕获列表实际会被翻译器翻译为类的成员对象。默认情况下，重载的调用运算符是const的，因此lambda不能改变它的捕获变量。但是如果lambda被声明为可变的，则调用运算符就不是const了（见上述例子中mutable的使用）

size_sz;
auto f=[sz](const string& a){return a.size()>=sz;};
//该lambda表达式会被翻译为
class Unknow
{
public:
	SizeComp(size_t n):sz(n){}	//该形参对应的捕获变量
	//默认是const的
	bool operator()(const string& a)const
	{return a.size()>=sz;};
private:
	//捕获列表中的sz被翻译为类的成员对象
	size_t sz;
}

lambda表达式产生的类不含默认构造函数，赋值运算符重载以及默认析构函数。是否含有默认的拷贝/移动构造函数则通常要视捕获的数据成员而定。