c++ Lambda表达式

Lambda表达式(C++11引入)

Lambda语法

Lambda表达式是一种能够捕获作用域中变量的无名函数对象，也是构造闭包的方式。

常见语法如下：

[ captures ] ( params ) -> ret { body }

其中captures为捕获的变量列表，params是函数的参数列表，ret是函数返回类型，body是函数体。Lambda表达式还有specifiers和exception attr属性说明，因为在一般情况下并不常用，所以这里并没有进行相关的说明。有兴趣的读者可以自行Google。

在上面的Lambda语法结构中，除了body以外，其他部分都可以进行省略。

省略语法如下：

[] -> { body }

此时的Lambda表达式表示不捕获外部变量，没有参数需要传入，返回类型根据body中的return语句进行推断。下面重点介绍Lambda表达式的captures部分，其他部分因为比较简单，这里不再进行说明。

Lambda捕获

captures是以逗号分隔的捕获列表，捕获零或者多个外部变量。有两种默认的捕获方式：&（以引用隐式捕获被使用的自动变量）和 =（以值捕获被使用的自动变量）。无论使用哪个默认捕获，都能隐式捕获当前对象，即this指针。

若默认捕获是 & ，则后继简单捕获必须不以 & 开始。

struct S2 { void f(int i); };
void S2::f(int i)
{
    [&]{};          // OK ：默认以引用捕获
    [&, i]{};       // OK ：以引用捕获，除了 i 以值捕获
    [&, &i] {};     // 错误：默认以引用捕获，后续变量不能以&开始
    [&, this] {};   // OK ：等价于 [&]
    [&, this, i]{}; // OK ：等价于 [&, i]
}

一个简单的例子：

#include <iostream>
 
auto make_function(int& x)
{
  return [&]{ std::cout << x << '\n'; };
}
 
int main()
{
  int i = 3;
  auto f = make_function(i); // x于f中的使用直接绑定到i变量
  i = 5;
  f(); // OK ：打印 5
}

Lambda表达式最见的用法就是在泛型函数中使用，如sort，for_each，find_if等。下面的示例演示如何传递 lambda 给泛型算法，以及 lambda 表达式所产生的对象如何存储于 std::function 对象。

#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: ";
    std::for_each(c.begin(), c.end(), [](int i)
    { std::cout << i << ' '; });
    std::cout << '\n';
 
    // 闭包的类型不能指名，但可用 auto 提及
    // C++14 起， lambda 能拥有自身的默认参数
    auto func1 = [](int i = 6) { return i + 4; };
    std::cout << "func1: " << func1() << '\n';
 
    // 同所有可调用对象，闭包能在 std::function 中被捕获
    // （这可能带来不必要的开销）
    std::function<int(int)> func2 = [](int i) { return i + 4; };
    std::cout << "func2: " << func2(6) << '\n';
}

上述function<int(int)>函数对象表示函数的返回值为int，有一个参数为int。()中的是函数的参数列表。

关于Lambda表达式的基础知识就介绍这么多，有关Lambda表达式的高级用法和function函数对象会在后续博客中更新。