C++ Lambda表达式：从基础到高级捕获机制详解

1. Lambda表达式基础概念

在C++11标准引入的lambda表达式，本质上是一种匿名函数对象。它允许我们在需要函数的地方内联定义函数逻辑，而无需单独声明函数。这种特性特别适合那些只会在特定位置使用一次的短小函数逻辑。

lambda表达式的基本语法结构如下：

cpp复制[capture-list](parameters) mutable -> return-type { 
    // 函数体
}

其中各部分含义如下：

• capture-list：捕获列表，用于指定哪些外部变量可以在lambda体内使用
• parameters：参数列表，与普通函数的参数列表类似
• mutable：可选修饰符，允许修改按值捕获的变量
• return-type：可选的返回类型声明
• 函数体：包含实际执行的代码逻辑

一个简单的lambda示例：

cpp复制auto sum = [](int a, int b) { return a + b; };
std::cout << sum(3, 4);  // 输出7

2. 捕获机制深度解析

2.1 捕获方式分类

C++中的lambda捕获主要分为以下几种方式：

1. 值捕获（Copy Capture）

cpp复制int x = 10;
auto func = [x]() { std::cout << x; };

2. 引用捕获（Reference Capture）

cpp复制int y = 20;
auto func = [&y]() { y++; };

3. 隐式捕获（Implicit Capture）

cpp复制int a = 1, b = 2;
auto func1 = [=]() { /* 可访问a,b */ };  // 隐式值捕获
auto func2 = [&]() { /* 可访问a,b的引用 */ };  // 隐式引用捕获

4. 混合捕获（Mixed Capture）

cpp复制int m = 5, n = 6;
auto func = [=, &n]() { /* m值捕获，n引用捕获 */ };

2.2 捕获时机与生命周期

理解捕获发生的时机至关重要。对于值捕获，变量的值是在lambda创建时被复制的；而对于引用捕获，它只是获取了变量的引用。

cpp复制int val = 100;
auto lambda = [val, &val_ref = val]() {
    std::cout << "值捕获:" << val << ", 引用捕获:" << val_ref;
};
val = 200;
lambda();  // 输出: 值捕获:100, 引用捕获:200

重要提示：引用捕获时要特别注意被引用变量的生命周期。如果lambda的执行时间超过被引用变量的生命周期，会导致悬垂引用问题。

2.3 mutable关键字的作用

默认情况下，值捕获的变量在lambda内是const的。如果需要修改这些副本，需要使用mutable关键字：

cpp复制int counter = 0;
auto incrementer = [counter]() mutable {
    counter++;
    std::cout << counter;
};
incrementer();  // 输出1
incrementer();  // 输出2
std::