lambda表达式基础

1.Lambda的语法

所谓lambda是一份功能定义式,可以被定义于语句(statement)或表达式(expression)内部,因此可以将lambda当作inline函数使用。[]叫做introducer,可以在内部指明一个所谓的capture,用来在lambda内部访问nonstatic外部对象

  • 最简单的lambda
int main()
{
	//定义一个lambda,但没有进行调用
	[] {
	std::cout << "hello lambda!" << endl;
	};
	//定义一个lambda并进行调用
	[] {
	std::cout << "hello lambda1!" << endl;
	}();
	//或者将它传给一个对象
	auto l = [] {
	std::cout << "hello lambda1!" << endl;
	};
	l(); //调用
	cout << sizeof(l) << endl; //answer = 1
	return 0;
}

在lambda introducer和lambda body之间,可以指明参数或mutable,或一份异常明细或attribute specifier以及返回类型。这些是可有可无的,如果出现了,参数所需的小括号就必须出现

lambda语法
1.[...] {...}
2.[...] (...) mutable throwSpec ->retType {...}
lambda可以拥有参数,指明在小括号内
auto l = [] (const string& s) {
 cout << s << endl;
};
l("hello"); 

lambda不可以是template,必须始终指明所有类型。

lambda也可以返回某物,但不需要指明返回类型,该类型会根据返回值被推导出来。

int main()
{
	// 1.lambda可以返回某物,不用指明类型,可以自动推导
	auto l = [] {
	return 123;
	};
	int ans = l();
	cout << ans << endl;
	// 2.也可以指明一个返回类型
	auto l2 = []() -> double { //注意()
	return 123;
	};
	double ans2 = l2();
	cout << ans2 << endl;
	return 0;
}

2.Capture(用以访问外部作用域)

在lambda最开始的方括号内,可以指明一个capture用来处理外部作用域内未被传递为实参的数据:

  • [=]意味着外部作用域以by value方式传递给lambda,因此当这个lambda被定义时,你可以读取所有可读数据,但不能修改
  • [&]意味着外部作用域以by reference方式传递给lambda,可以对所有数据进行修改。
  • 也可以个别指明为by value或者by reference,混合使用。也可以[=, &y]取代[x, &y],意思是y以by reference传递,其他实参以by value传递。
int main()
{
	int x = 0;
	int y = 42;
	auto l = [x, &y] {
	// x以by value形式传递, y以by reference方式传递
	cout << "x: " << x << endl; //0
	cout << "y: " << y << endl; //42
	//x++; //error
	y++; //ok
	};
	l();
	cout << "final y: " << y << endl; //43
	return 0;
}

为了得到passing by reference和value的混合体,可以声明lambda为mutable。意思是以by value传递,但是可以在lambda中修改传入的值。

int main()
{
	int x = 0;
	int y = 42;
	auto l = [x, &y]() mutable {
	// x以by value形式传递, y以by reference方式传递
	cout << "x: " << x << endl; //0
	cout << "y: " << y << endl; //42
	x++; //ok
	y++; //ok
	};
	l();
	cout << "final x: " << x << endl; //0
	cout << "final y: " << y << endl; //43
	return 0;
}

3.Lambda的类型

lambda的类型,是一个不具名的function object(或者说functor)。每个lambda表达式的类型是独一无二的。因此如果想根据该类型声明对象,可以借助template或者auto,如果实在需要写下这个类型,可以借助decltype().例如将lambda作为hash function或ordering准则或sorting准则传给容器。

也可以使用C++STL提供的function<>class template指明一个一般化类型给functional programming使用。这个class template提供了"明确指出函数的返回类型为lambda"的唯一办法。

#include <iostream>
#include <functional>
using namespace std;
function<int(int, int)> returnLambda() {
	return [](int x, int y) {
	return x * y;
	};
}
int main()
{
	auto lf = returnLambda();
	cout << lf(5, 7) << endl;
	return 0;
}
作者:橘子味的晚霞与少年原文地址:https://www.cnblogs.com/yxdong/p/17060645.html

%s 个评论

要回复文章请先登录注册