【C++面试】Lambda表达式详解：捕获列表、参数列表与返回值类型

大家好，今天我们继续深入探讨 C++ 中的 Lambda 表达式。上期我们了解了 Lambda 表达式的底层实现原理——编译器如何生成仿函数类。本期我们将详细解析 Lambda 表达式的三大核心组成部分：捕获列表、参数列表和返回值类型，帮助你在面试和实际开发中更加游刃有余。

首先，让我们回顾一下 Lambda 表达式的基本语法：

[capture-list] (parameters) mutable? noexcept? -> return-type {
    // 函数体
}

每个部分都有其独特的作用和特性，下面我们来逐一解析。

一、捕获列表：怎么"抓"外部变量

捕获列表决定了 Lambda 如何访问外部作用域的变量，这是 Lambda 与普通函数最大的区别。

值捕获创建变量的副本，默认情况下这个副本是只读的，因为编译器生成的operator()是 const 成员函数。要修改这个副本，必须加上mutable关键字。（注意：这只会修改副本，不影响外部原始变量。）

引用捕获是别名操作，直接绑定到外部变量。修改引用捕获的变量就是修改外部变量，不需要mutable关键字。但使用引用捕获时要特别注意生命周期问题，确保 Lambda 被调用时引用的变量仍然存在。

C++14 引入了初始化捕获，让捕获更加灵活。你可以在捕获列表中直接初始化变量，甚至可以给捕获的变量起新名字。这对于捕获移动语义对象（如std::unique_ptr）特别有用。而 this 指针的捕获也需要注意，C++20 之后，隐式捕获[=]不再捕获this指针，必须显式写出[this]。

// =============值捕获=============
int x = 10;
auto lambda = [x] {  // 复制 x 的值
    std::cout << "x = " << x << std::endl;
    // x = 20;  // 错误：值捕获默认是 const
};

// =============引用捕获=============
int y = 20;
auto lambda = [&y] {  // 引用 y
    y = 30;  // 可以修改
    std::cout << "y = " << y << std::endl;
};

// ===============混合捕获===============
int a = 1, b = 2, c = 3;
auto lambda = [a, &b, c] {  // a, c 值捕获，b 引用捕获
    // a 是 const 拷贝
    b = 20;  // 可以修改，影响外部
    // c 是 const 拷贝
};

// ==============隐式捕获=================
int m = 5, n = 6;

// 隐式值捕获
auto lambda1 = [=] {  // 捕获所有外部变量（值）
    std::cout << m + n << std::endl;
};

// 隐式引用捕获
auto lambda2 = [&] {  // 捕获所有外部变量（引用）
    m = 10;
    n = 20;
};

// ==========带初始化的捕获（C++14）=========
int x = 10;
auto lambda = [value = x + 5] {  // 捕获时初始化
    std::cout << value << std::endl;  // 15
};

二、参数列表：怎么传参

Lambda 的参数列表支持显式类型和泛型两种方式。

显式指定参数类型与普通函数类似，能提高代码的清晰度和类型安全。C++14 引入的泛型 Lambda 更加灵活，可以使用auto作为参数类型，这实际上是模板占位符。编译器会根据调用时传入的参数类型自动推导，并实例化相应的函数模板。

泛型 Lambda 能让代码更加简洁通用。但要注意，如果使用不当，可能会产生多个模板实例，增加编译时间和代码体积。

// 显示类型：
auto add = [](int x, int y) { return x + y; };
// 泛型 Lambda(C++14) - 自动推导：
auto generic = [](auto x, auto y) { return x + y; };

三、返回值类型：怎么确定返回类型

Lambda 的返回类型处理既有灵活性又有明确性。在简单情况下，可以让编译器自动推导返回类型，这要求所有 return 语句返回相同的类型。如果不同 return 语句返回不同类型，推导就会失败。

这时候就需要显式指定返回类型了。使用尾置返回类型语法-> return-type，可以告诉编译器你想要的类型，对于提高代码可读性很有帮助。

// 自动推导：
auto f = [](int x) { return x * 1.5; };  // 推导为double
// 显式指定：
auto g = [](int x) -> double { 
    if(x > 0) return x * 1.5;
    return x;  // int 转 double
};

最后总结一下：

捕获列表：

按值捕获，本质上是创建了外界捕获变量的副本，并且默认的 operator( ) 是 const 成员函数。
按值捕获要想修改变量的值，需要加 mutable，这样 operator( )不再是 const 成员函数，但注意，由于是副本，所以不会影响外界的值。
引用捕获可以修改外部变量，并且不需要 mutable。
c++14 带初始化的捕获本质上和按值捕获一样，只是会自动在类内创建变量，也分为带 mutable 和不带 mutable。
如果捕获了 this，则可以直接访问成员变量。（注意：隐式按值捕获已经不再能捕获 this 了）
静态变量具有静态存储期，lambda 表达式中可以直接访问可见的静态变量，无需捕获。语法上允许引用捕获静态变量，但没有实际意义。注意：静态变量不能值捕获，因为它们不属于自动存储期。

参数列表：