C++ Lambda表达式的类型是什么

软件 2024-04-02

什么是C#Lambda表达式

"Lambda表达式"是一个匿名函数，是一种高效的类似于函数式编程的表达式，Lambda简化了开发中需要编写的代码量。它可以包含表达式和语句，并且可用于创建委托或表达式目录树类型，支持带有可绑定到委托或表达式树的输入参数的内联表达式。所有Lambda表达式都使用Lambda运算符=>，该运算符读作"goes to"。Lambda运算符的左边是输入参数(如果有)，右边是表达式或语句块。Lambda表达式x => x * x读作"x goes to x times x"。可以将此表达式分配给委托类型，如下所示： delegate int del(int i); del myDelegate =

什么是C#Lambda表达式

“Lambda 表达式”(lambda expression)是一个匿名函数，Lambda表达式基于数学中的λ演算得名，直接对应于其中的lambda抽象(lambda abstraction)，是一个匿名函数，即没有函数名的函数。Lambda表达式可以表示闭包（注意和数学传统意义上的不同）。 Lambda 用在基于方法的 LINQ 查询中，作为诸如 Where 和 Where 等标准查询运算符方法的参数。

什么是lambda表达式

lambda表达式，也可称为closure（闭包），通常是在需要一个函数，但又不想费神去命名一个函数的场合下使用，也就是指匿名函数。由于其几乎被所有主流开发语言支持。是java8新引入的一种语法，是一种紧凑的传递代码的方式。使用lambda表达式可以使代码变的更加简洁紧凑。 lambda允许把函数作为一个方法的参数（函数作为参数传递进方法中）。以下是lambda表达式的重要特征: 可选类型声明：不需要声明参数类型，编译器可以统一识别参数值。可选的参数圆括号：一个参数无需定义圆括号，但多个参数需要定义圆括号。可选的大括号：如果主体包含了一个语句，就不需要使用大括号。可选的返回关键字：

如何在 C++11 中使用 Lambda 表达式

C++11 的 lambda 表达式规范如下： [ capture ] ( params ) mutable exception attribute -> ret { body } (1) [ capture ] ( params ) -> ret { body } (2) [ capture ] ( params ) { body } (3) [ capture ] { body } (4) 其中 (1) 是完整的 lambda 表达式形式， (2) const 类型的 lambda 表达式，该类型的表达式不能改捕获("capture")列表中的值。 (3)省略了返回值类型的 lambda

Lambda表达式的C++表达式

ISO C++ 11 标准的一大亮点是引入Lambda表达式。基本语法如下：
[capture list] (parameter list) ->return type { function body }
其中除了“[ ]”（其中捕获列表可以为空）和“复合语句”（相当于具名函数定义的函数体），其它都是可选的。它的类型是唯一的具有成员operator()的非联合的类类型，称为闭包类型(closure type)。
C++中，一个lambda表达式表示一个可调用的代码单元。我们可以将其理解为一个未命名的内联函数。它与普通函数不同的是，lambda必须使用尾置返回来指定返回类型。
例如调用中的std::sort，ISO C++ 98 的写法是要先写一个compare函数： boolcompare(int&a,int&b){returna>b;//降序排序}然后，再这样调用： sort(a,a+n,compare);然而，用ISO C++ 11 标准新增的Lambda表达式，可以这么写： sort(a,a+n,[](inta,intb){returna>b;});//降序排序这样一来，代码明显简洁多了。
由于Lambda的类型是唯一的，不能通过类型名来显式声明对应的对象，但可以利用auto关键字和类型推导： autof=[](inta,intb){returna>b;};和其它语言的一个较明显的区别是Lambda和C++的类型系统结合使用，如： autof=[x](inta,intb){returna>x;});//x被捕获复制intx=0,y=1;autog=[&](intx){return++y;});//y被捕获引用，调用g后会修改y，需要注意y的生存期bool(*fp)(int,int)=[](inta,intb){returna>b;});//不捕获时才可转换为函数指针Lambda表达式可以嵌套使用。
即将出版的ISO C++14支持基于类型推断的泛型lambda表达式。上面的排序代码可以这样写： sort(a,a+n,[](constauto&a,constauto&b){returna>b;});//降序排序：不依赖a和b的具体类型因为参数类型和函数模板参数一样可以被推导而无需和具体参数类型耦合，有利于重构代码；和使用auto声明变量的作用类似，它也允许避免书写过于复杂的参数类型。特别地，不需要显式指出参数类型使使用高阶函数变得更加容易。