c++ lambda表达式详解
转载请注明：http://krystism.is-programmer.com/若有错误，请多多指正，谢谢！
lambda表达式是c++11标准新加特性，学过python的一定不会陌生了，或者类似javascript的闭包。cppreference中的定义是：--*Constructs a closure: an unnamed function object capable of capturing variables in scope. *—-简单地说就是定义一个临时局部匿名函数。语法为：
[ capture ] ( params ) mutable exception attribute -> ret { body }
其中capture为定义外部变量是否可见（捕获），（这里的外部变量是指与定义这个lambda处于同一个作用域的变量）。
若为空，则表示不捕获所有外部变量，即所有外部变量均不可访问，= 表示所有外部变量均以值的形式捕获，在body中访问外部变量时，访问的是外部变量的一个副本，类似函数的值传递，因此在body中对外部变量的修改均不影响外部变量原来的值。& 表示以引用的形式捕获，后面加上需要捕获的变量名，没有变量名，则表示以引用形式捕获所有变量，类似函数的引用传递，body操作的是外部变量的引用，因此body中修改外部变量的值会影响原来的值。例如：[ ]表示不捕获任何外部变量， [a, b]以值的形式捕获a，b， [=]以值的形式捕获所有外部变量，[&a, b]a以引用的形式捕获，而b以值的形式捕获，[&, a]，除了a以值的形似捕获，其他均以引用的形式捕获，[this]以值的形式捕获this指针！
params就是函数的形参，和普通函数类似，不过若没有形参，这个部分可以省略。
mutalbe表示运行body修改通过拷贝捕获的参数，exception声明可能抛出的异常，attribute 修饰符，参考：http://en.cppreference.com/w/cpp/language/attributes 。->ret ret表示返回类型，如果能够根据返回语句自动推导，则可以省略，body即函数体。
注意：除了capture和body是必需的，其他均可以省略，即
int int main(int argc, char const *argv[])
{
[]() {};
return 0;
}
定义了一个空lambda表达式，并执行（实际上它什么都没有做）。
int main(int argc, char **argv)
{
int i = 0;
[]{cout << i << endl;}(); /* 'i' is not captured */
}
声明这段代码不能编译通过，因为[ ] 没有捕获任何外部变量，因此i是不可见的，lambda不能访问i。
int main(int argc, char **argv)
{
int i = 0;
cout << i << endl;
[=]()mutable{cout << ++i << endl;}();
cout << i << endl;
上面的代码输出为0, 1, 0，注意mutable是必需的，因为body中修改了捕获的i，由于i是以值传递的，因此并没有修改i原来的值，而是i的一个副本。
int main(int argc, char **argv)
{
int i = 0;
cout << i << endl;
[&](){cout << ++i << endl;}();
cout << i << endl;
上面代码输出0, 1, 1，因为i是以引用传递的，而body中修改了i的值。
lambda表达式有什么用呢？ lambda的作用就是创建一个临时匿名函数，想想有STL算法中很多需要传递谓词函数，比如count_if。假如我有一个字符串容器，我需要统计长度大于3的个数，则可以这样：
int main(int argc, char **argv)
{
vector<string> s = {"1", "12", "123", "1234", "12345", "123456", "1234567"};
cout << count_if(begin(s), end(s), [](string s){return s.size() > 3;});
}
这样就不必要再声明一个函数了，代码比较简洁。
还有一个问题就是，我可能需要统计字符串长度大于4,或者5,或者6,显然不能通过传递一个形参来实现，因为谓词函数限定只能传递一个形参，这里我们传递的是string，而不能再传递一个表示长度的数。 如果定义全局函数实现，则我们有两种方式：
一是声明一个全局变量，通过和这个全局变量作比较。二是分别声明大于4或者5的函数。显然两个办法都不太好。全局变量污染一直是很危险的，而声明多个函数显然不科学，如果有更多的需求，则需声明gt2, gt3, gt4 ...。 这个用lambda表达式似乎更好，如：
int main(int argc, char **argv)
{
vector<string> s = {"1", "12", "123", "1234", "12345", "123456", "1234567"};
string::size_type n = 3;
cout << count_if(begin(s), end(s), [n](string s){return s.size() > n;});
}
注意这里的n并不是全局变量，所以不存在全局变量污染的问题。当然还有更好的办法，那就是利用函数对象，如：
using namespace std;
class Gt
{
public:
typedef string::size_type size_type;
Gt(size_type i):n(i){};
Gt():n(0){};
void setN(const size_type& i) {
n = i;
}
size_type getN() const{return n;}
bool operator () (const string &s) const {return s.size() > n;}
operator int() const { return n;}
private:
string::size_type n = 0;
};
inline Gt operator + (const Gt &s1, const Gt &s2)
{
return Gt(s1.getN() + s2.getN());
}
int main(int argc, char **argv)
{
vector<string> s = {"1", "12", "123", "1234", "12345", "123456", "1234567"};
cout << count_if(begin(s), end(s), Gt(1)) << endl; /* > 1 */
cout << count_if(begin(s), end(s), Gt(2)) << endl; /* > 2 */
cout << count_if(begin(s), end(s), Gt(2) + Gt(3)) << endl; /* > 5 */
return 0;
}
上面分别统计长度大于1,大于2,大于5的字符串数量（重载+运算符，纯属娱乐！）。
lambda表达式另外一个功能是声明局部函数。我们知道c++中是不允许在函数中嵌套定义函数的，如果要声明一个局部函数，即只能在函数内部调用，则可以用lambda实现，如声明一个min函数，返回a，b中较小值。则
#include <iostream>
using namespace std;
int main(int argc, char **argv)
{
auto min = [](int a, int b) -> int{
return a < b ? a : b;
};
cout << min(1, 2) << endl;
cout << min(8, 2) << endl;
return 0;
}```
网友评论