c++0x:Lambda表达式(匿名函数)

Lambda表达式是一种描述函数对象的机制，它的主要应用是描述某些具有简单行为的函数。

1.由于 lambda 表达式类型化，可以将其分发给 auto 变量或添加到 function 对象，如以下示例所示:

auto func=[](int a,double b){return a+b;};

function<double(int,double)> f=func;

2.lambda表达式的闭包部分

int a=3,b=4;
auto func=[a,&b](int a,int b){return a+b;};
b=40;
a=40;
int c=func(a,b);
cout<<c<<endl;//c为43

[a,&b]为闭包部分，a为值传递，b为引用传递,开始时a为3，b为4，后来a为40，b为40，因为b是引用传递所有c=3+40=43.

3.lambda表达式与STL算法

vector<int> vec={1,3,2,4};
sort(vec.begin(),vec.end(),[](int a,int b){return a>b;});
for(auto val : vec)
{
      cout<<val<<endl;
}

结果为4,3,2,1

4.嵌套lambda表达式

int m = [](int x) 
      { return [](int y) { return y * 2; }(x) + 3; }(5);
 cout << m << endl;//m为13

5.高阶lambda表达式

auto g = [](int x) -> function<int (int)>
	      { return [=](int y) { return x + y; }; };
auto h = [](const function<int (int)>& f, int z)
	      { return f(z) + 1; };
auto a = h(g(7), 8);
cout << a << endl;//a为16

其中[=]表示为值传递

6.使用模版的lambda表达式

#include <vector>
#include <algorithm>
#include <iostream>

using namespace std;

// 把vector容器中每个元素都取负值
template <typename T> 
void negate_all(vector<T>& v)
{
    for_each(v.begin(), v.end(), [] (T& n) { n = -n; } );
}

// 打印每个元素
template <typename T> 
void print_all(const vector<T>& v)
{
   for_each(v.begin(), v.end(), [] (const T& n) { cout << n << endl; } );
}

int main()
{
   vector<int> v;
   v.push_back(34);
   v.push_back(-43);
   v.push_back(56);
   negate_all(v);
   print_all(v);
}

结果为:

-34
43
-56

为了描述一个lambda，你必须提供：

• 它的捕捉列表：它可以使用的变量列表（除了形参之外），如果存在的话（"[&]" 在上面的记录比较例子中意味着“所有的局部变量都将按照引用的方式进行传递”）。如果不需要捕捉任何变量，则使用 []。
• （可选的）它的所有参数及其类型（例如： (int a, int b) ）。
• 组织成一个块的函数行为（例如：{ return v[a].name < v[b].name; }）。
• （可选的）采用了新的后缀返回类型符号的返回类型。但典型情况下，我们仅从return语句中去推断返回类型，如果没有返回任何值，则推断为void。