您的位置:首页 > 编程语言 > C语言/C++

C++Lambda学习

2016-05-20 17:48 351 查看
这些天一直在学习多线程编程,了解了一些,有接触到并行算法,看看了自己电脑的配置决定使用AMP并行方式,开始学习的时候都是这样一头雾水,完成了基本概念的了解又出来新的问题,就是这个Lambda。不是计算机专业的确实很苦逼,走上这条路就得用一个学一个会一个吧。

C++11 新增了很多特性,lambda 表达式是其中之一。很多语言都提供了 lambda 表达式,如 Python,Java 8。lambda 表达式可以方便地构造匿名函数,如果你的代码里面存在大量的小函数,而这些函数一般只被调用一次,那么不妨将他们重构成 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 表达式的返回类型可以按照下列规则推演出来:

如果 lambda 代码块中包含了 return 语句,则该 lambda 表达式的返回类型由 return 语句的返回类型确定。

如果没有 return 语句,则类似 void f(...) 函数。

省略了参数列表,类似于无参函数 f()。

mutable 修饰符说明 lambda 表达式体内的代码可以修改被捕获的变量,并且可以访问被捕获对象的 non-const 方法。

exception 说明 lambda 表达式是否抛出异常(noexcept),以及抛出何种异常,类似于void f() throw(X, Y)。

attribute 用来声明属性。

[capture](parameters) mutable ->return-type{statement}
</pre>1.[capture]:捕捉列表。捕捉列表总是出现在Lambda函数的开始处。实际上,[]是Lambda引出符。编译器根据该引出符判断接下来的代码是否是Lambda函数。捕捉列表能够捕捉上下文中的变量以供Lambda函数使用;2.(parameters):参数列表。与普通函数的参数列表一致。如果不需要参数传递,则可以连同括号“()”一起省略;3.mutable:mutable修饰符。默认情况下,Lambda函数总是一个const函数,mutable可以取消其常量性。在使用该修饰符时,参数列表不可省略(即使参数为空);4.->return-type:返回类型。用追踪返回类型形式声明函数的返回类型。我们可以在不需要返回值的时候也可以连同符号”->”一起省略。此外,在返回类型明确的情况下,也可以省略该部分,让编译器对返回类型进行推导;5.{statement}:函数体。内容与普通函数一样,不过除了可以使用参数之外,还可以使用所有捕获的变量。与普通函数最大的区别是,除了可以使用参数以外,Lambda函数还可以通过捕获列表访问一些上下文中的数据。具体地,捕捉列表描述了上下文中哪些数据可以被Lambda使用,以及使用方式(以值传递的方式或引用传递的方式)。语法上,在“[]”包括起来的是捕捉列表,捕捉列表由多个捕捉项组成,并以逗号分隔。捕捉列表有以下几种形式:1[var]表示值传递方式捕捉变量var;2.[=]表示值传递方式捕捉所有父作用域的变量(包括this);3.[&var]表示引用传递捕捉变量var;4.[&]表示引用传递方式捕捉所有父作用域的变量(包括this);5.[this]表示值传递方式捕捉当前的this指针。[a,&b] a变量以值的方式呗捕获,b以引用的方式被捕获。[this] 以值的方式捕获 this 指针。[&] 以引用的方式捕获所有的外部自动变量。[=] 以值的方式捕获所有的外部自动变量。<p></p><p style="line-height:25.2px; margin:10px auto; color:rgb(51,51,51); font-family:Georgia,'Times New Roman',Times,sans-serif; font-size:14px"></p><pre code_snippet_id="1690776" snippet_file_name="blog_20160520_3_6387387" name="code" class="cpp">#include <vector>
#include <iostream>
#include <algorithm>
#include <functional>

int main()
{
std::vector<int> c { 1,2,3,4,5,6,7 };
int x = 5;
c.erase(std::remove_if(c.begin(), c.end(), [x](int n) { return n < x; } ), c.end());

std::cout << "c: ";
for (auto i: c) {
std::cout << i << ' ';
}
std::cout << '\n';

// the type of a closure cannot be named, but can be inferred with auto
auto func1 = [](int i) { return i+4; };
std::cout << "func1: " << func1(6) << '\n';

// like all callable objects, closures can be captured in std::function
// (this may incur unnecessary overhead)
std::function<int(int)> func2 = [](int i) { return i+4; };
std::cout << "func2: " << func2(6) << '\n';
}


[] 不捕获外部的任何变量。

此外,params 指定 lambda 表达式的参数。

建议阅读

建议阅读2
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: