1. C++ 中 Lambda 表达式的基础要点与语法
什么是 Lambda 表达式
在 C++ 语言中，Lambda 表达式是一种用于定义匿名函数对象的语法结构，能够直接将行为作为参数传递给算法或回调。它让你在使用 STL 时无需额外定义命名函数，从而提升代码的可读性与灵活性。
Lambda 的核心概念包括捕获外部变量、参数列表、函数体以及可选的返回类型，所有这些组合起来即可构成一个强力的函数对象。掌握这些要点，能快速把复杂的回调逻辑嵌入到你的代码中。
基本语法要点
Lambda 的基本结构包含捕获列表、参数列表、可选的 mutable、返回类型以及函数体。捕获列表决定了 Lambda 如何访问外部变量，常见的模式包括按值捕获、按引用捕获以及默认捕获。
常见的语法形式为: [捕获](参数) mutable -> 返回类型 { 函数体 }，其中返回类型可以省略，由编译器自动推导。对于简单场景，也可以使用泛型 Lambda，形式为 [&](auto x, auto y){ ... }。
// 泛型 Lambda 的简单示例
auto add = [](auto a, auto b) { return a + b; };
int r = add(3, 4); // r = 7捕获机制概览
捕获方式直接影响 Lambda 对外部变量的访问与生命周期。按值捕获会复制外部变量，此时 Lambda 内的对捕获变量的修改不影响外部变量；按引用捕获则共享外部变量的内存，适合需要反映外部状态的场景。
你还可以使用隐式/显式的默认捕获，例如 [&] 表示对外部变量按引用捕获，[=] 表示对外部变量按值捕获。合理选择捕获方式是写出高质量 Lambda 的关键。
2. 捕获与生命周期：可访问性、可修改性与性能
按值捕获与按引用捕获的对比
在程序的并行或回调场景中，按值捕获可以避免对原始变量的副作用，保证线程安全；按引用捕获则适用于需要直接修改外部状态的场景，但要小心悬垂引用与数据竞争。
例如，在排序或筛选时通过捕获外部阈值进行比较，可以通过按值捕获确保阈值在排序期间保持不变；而在迭代过程中对计数器进行累加，则可能需要按引用捕获以反映最新状态。
默认捕获与隐式捕获的使用场景
默认捕获可以简化 Lambda 的写法，[&] 表示对所有外部变量按引用捕获，[=] 表示对所有外部变量按值捕获。在阅读性与可维护性之间需要权衡，谨慎使用隐式捕获以避免意外副作用。
int a = 5, b = 10;
auto f = [=](int x){ return a + b + x; }; // 所有外部变量按值捕获可变性与生命周期相关特性
默认情况下，按值捕获的变量在 Lambda 内不可修改，如果需要在 Lambda 内修改捕获的副本，需要添加 mutable，这不会改变外部变量的值。对于按引用捕获的变量，mutable 没有额外作用，因为对外部变量的修改本来就会反映在外部。
可变性还与 Lambda 的生命周期有关，确保 Lambda 的生命周期不超过其捕获变量的生命周期，避免悬垂引用或未定义行为。
3. 常用场景与完整示例：从入门到上手
场景一：结合排序、筛选和变换的实战
在日常开发中，Lambda 常用于替代传统回调函数，将排序、筛选、映射等任务直接绑定到代码逻辑中。通过捕获外部状态，可以实现个性化的排序准则、筛选条件和输出格式。
下面的示例展示了一个完整的工作流：对整数向量排序，基于阈值筛选出大于阈值的元素，并用泛型 Lambda 打印结果。通过此示例，你可以快速上手了 lambda 的组合用法。
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
int main() {
std::vector v = {5, 1, 9, 3, 7, 2, 8, 4, 6};
// 1) 基本排序：使用 Lambda 作为比较器
std::sort(v.begin(), v.end(), [](int a, int b){ return a < b; });
// 2) 按值捕获阈值进行筛选
int threshold = 4;
std::vector high;
std::copy_if(v.begin(), v.end(), std::back_inserter(high),
[threshold](int x){ return x > threshold; });
// 3) 泛型 Lambda 打印，便于输出任意类型
auto print = [](auto const& x){ std::cout << x << ' '; };
std::cout << "sorted: "; std::for_each(v.begin(), v.end(), print); std::cout << std::endl;
std::cout << "high: "; std::for_each(high.begin(), high.end(), print); std::cout << std::endl;
// 4) 捕获与修改的对比：按值捕获的时序
int factor = 2;
auto times = [factor](int x){ return x * factor; }; // 捕获 factor 的拷贝
factor = 10;
std::cout << "times(3) = " << times(3) << std::endl; // 输出 6
// 5) mutable 捕获按值变量的内部状态变化
auto counter = [n = 0]() mutable { return ++n; };
std::cout << counter() << ' ' << counter() << std::endl;
return 0;
} 场景二：泛型 Lambda 与算法的协同工作
泛型 Lambda 让你能够对不同类型的数据执行同一组操作，而不需要为每种类型都编写一个函数对象。与标准库算法结合时，泛型 Lambda 的灵活性尤为突出。
例如，你可以定义一个泛型输出器，在任意容器上快速打印元素，提升调试效率与代码的重复利用率。
场景三：完整示例的逐步解析与运行要点
上述完整示例的关键点在于：先通过 Lambda 实现排序，再通过捕获进行条件筛选，最后通过泛型 Lambda 打印结果。通过一次性学习捕获、泛型 Lambda 与算法的组合，你就能在实际项目中快速应用。
确保在实际使用中遵循 C++17/20 标准，以便使用泛型 Lambda 的初始化捕获、以及更完善的类型推导能力。对于需要高性能的场景，尽量避免不必要的拷贝捕获，优先使用按引用捕获或引用捕获结合并发执行。
4. 高级特性与注意事项
常用的高级特性
除了基础用法，C++ 的 Lambda 还支持捕获初始化（C++14 引入）以及 泛型 Lambda（auto 参数）、可变 Lambda（mutable）、以及 constexpr Lambda（部分编译时执行能力，需依赖编译器版本）。
捕获初始化允许在捕获列表中直接用语法 [x = expr] 给捕获变量提供初始化值，提升了表达能力和可读性。
常见陷阱和最佳实践
在多线程场景下，注意避免对共享数据的竞态条件，优先使用按值捕获或者对外部状态进行原子操作。对于生命周期较长的 Lambda，确保捕获变量在其生命周期内有效，避免悬垂引用。
尽量保持 Lambda 的职责单一，避免过长的 Lambda 体导致可读性下降。必要时，将复杂逻辑拆分成小型的 Lambda，或将逻辑提取为具名的函数对象，以便后续维护。
// 复杂场景的完整示例（更接近实际工程）
// 演示泛型输出、按值捕获、按引用捕获以及 mutable 的组合
#include <iostream>
#include <vector>
#include <algorithm>
#include <iterator>
int main() {
std::vector vals = { 8, 3, 15, 7, 4, 2 };
// 泛型输出
auto show = [](auto const& v){
for (auto const& e : v) std::cout << e << ' ';
std::cout << std::endl;
};
// 按值捕获阈值进行筛选
int limit = 6;
std::vector big;
std::copy_if(vals.begin(), vals.end(), std::back_inserter(big),
[limit](int x){ return x > limit; });
// 按引用捕获并修改外部状态
int count = 0;
auto count_odd = [&count](int x){
if (x % 2) ++count;
return x;
};
std::transform(vals.begin(), vals.end(), vals.begin(), count_odd);
// mutable 示例：按值捕获的内部状态
int factor = 3;
auto mul = [factor]() mutable { static int c = 0; ++c; return factor * c; }; // 注意：此处 factor 为外部不可变
(void)mul; // 使用避免未使用警告
std::cout << "vals: "; show(vals);
std::cout << "big: "; show(big);
std::cout << "count of odds in vals: " << count << std::endl;
return 0;
}
