6. Lambda 表达式登场：C++11 引入的匿名函数对象，语法糖。

好，我们终于聊到 Lambda 了。

说实话，在 C++11 之前，每次想写一个简单的回调或者排序规则，我都得专门定义一个函数对象（Functor），或者写一个全局函数。代码量不大，但就是觉得别扭。你想想看，明明只是几行逻辑，却要单独起个名字、写个类、重载 operator()…… 嗯，这感觉就像你只是想煎个鸡蛋，却要先搭个厨房。

Lambda 表达式，说白了就是 C++11 给咱们程序员发的一块「语法糖」。它让你能就地定义一个匿名函数对象，不用再费劲去写那些样板代码。我个人习惯叫它「随手写的函数」，因为它真的就是随手写、随手用。

6.1 什么是 Lambda？—— 匿名函数对象的语法糖

Lambda 表达式本质上就是一个匿名的函数对象。编译器看到 Lambda，会自动生成一个独一无二的类，这个类重载了 operator()，然后创建这个类的实例。你写的 Lambda 体，就是 operator() 的实现。

我在项目中遇到过好几次这样的场景：需要给 std::sort 传一个比较器，或者给 std::for_each 传一个操作。以前我得写个结构体，现在一行 Lambda 搞定。代码瞬间清爽了。

6.2 Lambda 的基本语法

先看一个最简单的例子：

auto lambda = []() {
    std::cout << "Hello, Lambda!" << std::endl;
};
lambda(); // 调用

这个 [] 是捕获列表，() 是参数列表，{} 是函数体。就这么简单。

你可能会问：「为什么用 auto 来接收？」因为每个 Lambda 的类型都是编译器生成的唯一类型，你没法写出它的名字。auto 就是最好的选择。

6.3 捕获列表：Lambda 的灵魂

Lambda 最核心、也最容易踩坑的地方，就是捕获列表。它决定了 Lambda 内部能访问外部作用域的哪些变量。

捕获方式	语法	说明
不捕获	[]	不能使用任何外部变量
按值捕获	[x]	捕获 x 的副本，Lambda 内部修改不影响外部
按引用捕获	[&x]	捕获 x 的引用，内部修改会影响外部
隐式按值捕获	[=]	捕获所有用到的外部变量（按值）
隐式按引用捕获	[&]	捕获所有用到的外部变量（按引用）
混合捕获	[=, &x]	默认按值，x 按引用

6.4 mutable 关键字：打破只读限制

按值捕获的变量，在 Lambda 内部默认是 const 的。你不能修改它。如果你非要改，就得加上 mutable 关键字。

int count = 0;
auto lambda = [count]() mutable {
    count++;
    std::cout << count << std::endl;
};
lambda(); // 输出 1
lambda(); // 输出 2
std::cout << count << std::endl; // 输出 0，外部不受影响

注意：mutable 只影响按值捕获的副本。按引用捕获的变量，本来就能改，不需要 mutable。

我个人很少用 mutable。因为一旦需要 mutable，往往意味着你的设计可能需要重新考虑。Lambda 最好是无副作用的纯函数，这样更容易推理。

6.5 泛型 Lambda：C++14 的进化

C++14 允许参数类型用 auto，这样 Lambda 就成了模板函数对象。

auto add = [](auto a, auto b) {
    return a + b;
};
std::cout << add(3, 4) << std::endl;       // int
std::cout << add(3.14, 2.86) << std::endl; // double

编译器会为每个不同的参数类型生成不同的实例化版本。说白了，这就是一个匿名的模板函数对象。

6.6 Lambda 与 STL 算法的绝配

Lambda 最大的用武之地，就是和 STL 算法配合。我几乎每天都在用。

std::vector<int> vec = {3, 1, 4, 1, 5, 9, 2, 6};

// 排序：降序
std::sort(vec.begin(), vec.end(), [](int a, int b) {
    return a > b;
});

// 查找第一个大于 5 的元素
auto it = std::find_if(vec.begin(), vec.end(), [](int x) {
    return x > 5;
});

// 统计偶数个数
int even_count = std::count_if(vec.begin(), vec.end(), [](int x) {
    return x % 2 == 0;
});

你看，每个 Lambda 都直接写在算法调用处，逻辑一目了然。不用跳转到别处找函数定义，阅读体验好很多。

6.7 知识体系图：Lambda 的核心脉络

下面这张图帮你理清 Lambda 表达式的知识结构。从语法糖本质出发，延伸到捕获机制、参数传递、可变性控制，再到实际应用场景。

6.8 避坑指南与最佳实践

• 避免默认按引用捕获： [&] 看起来很省事，但容易导致悬空引用。我建议显式列出需要捕获的变量，或者用 [=] 按值捕获。
• 注意 Lambda 的生命周期： 如果 Lambda 要存储到容器中，或者传递给异步任务，一定要确保捕获的引用在 Lambda 执行时仍然有效。
• 尽量保持 Lambda 简短： 如果 Lambda 体超过 5 行，我通常会考虑提取成一个命名函数或函数对象。可读性比炫技更重要。
• 善用 auto 参数： C++14 的泛型 Lambda 让代码更灵活，但也要注意模板膨胀的问题。如果 Lambda 被大量不同参数类型调用，编译出的代码体积会增大。

Lambda 表达式是 C++11 最实用的特性之一。它让代码更简洁、更表达力。但记住，语法糖终究是糖，吃多了也会腻。该用的时候用，不该用的时候别硬用。保持代码的清晰和可维护性，才是我们工程师的本分。

---