C++14泛型lambda捕获方式解析

C++14的泛型lambda通过捕获列表明确捕获变量，不支持自动捕获所有变量。1. 使用[=]或[&]可按值或引用捕获所有使用变量；2. 显式列出变量如[a, &b]实现精确控制；3. 在类成员函数中用[this]访问成员变量；4. 通过包装结构体或tuple模拟捕获任意变量。每种方式均需注意变量生命周期与捕获类型，避免副作用。

C++14 中的泛型 lambda（generic lambda）允许你在 lambda 表达式中使用 auto 参数，从而让编译器自动推导参数类型。而关于“捕获任意变量”，其实 C++ 的 lambda 机制并不支持“自动捕获所有局部变量”的功能，但可以通过一些方法实现类似效果。

下面从几个角度来说明如何在泛型 lambda 中捕获变量。

捕获方式的基本规则

Lambda 表达式默认不会捕获外部变量。要访问外部变量，必须通过捕获列表明确指定。常见的捕获方式包括：

• [x]：按值捕获变量 x
• [&x]：按引用捕获变量 x
• [=]：按值捕获所有使用的外部变量
• [&]：按引用捕获所有使用的外部变量
• [this]：捕获当前对象指针

对于泛型 lambda 来说，这些捕获规则同样适用。

举个例子：

int a = 42;
auto f = [=](auto x) { return x + a; };

这里用的是 [=]，所以 a 是按值捕获的。无论 x 是什么类型，都能正确访问 a。

使用 capture clause 显式捕获变量

如果你希望更精确地控制捕获的内容，而不是使用 [=] 或 [&] 这样的“捕获全部”，可以显式列出你想要捕获的变量。

例如：

int a = 10;
double b = 3.14;

auto f = [a, &b](auto x) {
    return x + a + b;
};

在这个例子中：

• a 是按值捕获的，lambda 内部拿到的是副本
• b 是按引用捕获的，lambda 内部操作的是原始变量
• x 是模板参数类型，由调用时传入决定

这种方式适合你想清楚知道自己在捕获什么，避免意外捕获过多变量带来的副作用。

泛型 lambda 中捕获 this 指针

如果你在一个类成员函数里写泛型 lambda，并且想访问类的成员变量，通常需要捕获 this：

struct Foo {
    int value = 42;

    auto makeLambda() {
        return [this](auto x) {
            return x + value;
        };
    }
};

这样就能在 lambda 中访问类内部的成员变量了。注意这里的 this 是按值捕获的，也就是说你获取的是当前对象的指针，对成员变量的访问是引用其实际内存地址。

实现“捕获任意变量”的技巧

虽然不能真正“捕获任意变量”，但你可以通过包装结构体或元组的方式模拟这种行为：

template <typename T>
auto makeWrapper(T&& t) {
    return [t = std::forward<T>(t)](auto x) mutable {
        // 在这里使用 t 和 x 做操作
        return x + t;
    };
}

或者结合 std::tuple 捕获多个变量：

int a = 1;
double b = 2.5;
std::tuple<int, double> data{a, b};

auto f = [data](auto x) {
    return x + std::get<0>(data) + std::get<1>(data);
};

这种方法适合你想把一组状态打包在一起，在 lambda 中统一处理。

基本上就这些。泛型 lambda 的捕获机制和普通 lambda 差不多，只是多了类型推导的能力。关键在于理解捕获方式的作用范围和生命周期，别轻易用 [=] 或 [&] 捕获太多东西，容易带来隐患。