lambda名称来自lambda calculus,是一种使用匿名函数来定义和使用函数的数学系统。当某些函数比较简单,只是临时使用一下,便可以使用lambda表达式。
1.定义及使用
例如:
[](int x){return x%3==0;}; bool f3(int x){return x%3==0};
上面一个是lambda表达式,一个是函数,可以看出,[]代替了函数名,lambda表达式没有返回值,系统通过推断来判断返回值的类型,不含返回值时,推断为void型。
同样可以定义有名称的lambda表达式:
auto mod3=[](int x){return x%3==0}
bool result=mod3(x);
2.额外功能.
[capture](parameters) mutable ->return-type{statement}
(1)捕获列表[capture]
出现在lambda表达式的起始处,是lambda表达式的引出符,编译器根据此符判断是否为lambda函数,捕获列表可以将上下文中的变量捕获以供lambda函数使用。
①[var]表示值传递方式捕捉变量var;
②[=]表示值传递方式捕捉所有父作用域的变量(包括this);
③[var]表示引用传递捕捉变量var;
思[&]表示引用传递方式捕捉所有父作用域的变量(包括this);
⑤[this]表示值传递方式捕捉当前的this指针。
上面提到了一个父作用域,也就是包含Lambda函数的语句块,说通俗点就是包含Lambda的“{}”代码块。上面的捕捉列表还可以进行组合,例如:
⑥[=,&a,&b]表示以引用传递的方式捕捉变量a和b,以值传递方式捕捉其它所有变量;
⑦[&,a,this]表示以值传递的方式捕捉变量a和this,引用传递方式捕捉其它所有变量。 不过值得注意的是,捕捉列表不允许变量重复传递。
⑧[=,a]这里已经以值传递方式捕捉了所有变量,但是重复捕捉a了,会报错的。
⑨[&,&this]这里&已经以引用传递方式捕捉了所有变量,再捕捉this也是一种重复。
(2)参数列表(parameters)
类似于函数的参数列表,可供表达式使用。
(3)mutable修饰符
默认情况下,Lambda函数总是一个const函数,mutable可以取消其常量性。在使用该修饰符时,参数列表不可省略(即使参数为空)。
(4)返回类型->return-type
用追踪返回类型形式声明函数的返回类型。我们可以在不需要返回值的时候也可以连同符号”->”一起省略。此外,在返回类型明确的情况下,也可以省略该部分,让编译器对返回类型进行推导。
(5)函数体{statement}
内容与普通函数一样,不过除了可以使用参数之外,还可以使用所有捕获的变量
简单例子:
源代码:
int count13;
count13=std::count_if(numbers.begin(),numbers.end(),[](int x){return x%13==0;});
替换代码:
int count13=0;
std::for_each(numbers.begin(),numbers.end(),[&count13](int x){count13+=x%13==0;});