1. C++11 Lambda表达式概览
1.1 什么是 Lambda 表达式
在 C++11 中，Lambda表达式是一种创建匿名可调用对象的方式，它让你可以在需要函数对象的场景中直接写出实现。通过该机制，可以将逻辑块作为参数传递给算法、线程或回调，使代码更加简洁并避免显式定义函数对象的繁琐。Lambda表达式的核心特征是它在编译时生成一个可调用对象的实例，且可以捕获在创建时所在作用域的变量。
一个常见的直观描述是：Lambda相当于一个小型的函数对象，既有参数列表、函数体，又有一个捕获列表，用于决定如何获取外部变量。它的语法要点包括：捕获、参数、可变性、返回类型和函数体，这些要点共同决定了 Lambda 的可用性和行为。
从使用角度看，Lambda表达式最适合在需要快速实现回调、排序关键对比、或把简单逻辑作为参数传递的场景。它能提升代码的可读性，减少外部函数的定义，并让在一个作用域内的变量能直接参与运算。本文以实例演示不同场景的写法与注意点。
// 示例：一个简单的 Lambda
auto square = [](int x) { return x * x; };
int z = square(5); // 25
1.2 Lambda 的基本用法场景
在算法库中，Lambda表达式经常用于自定义比较、变换和过滤条件，替代单独的回调函数。通过捕获列表可以让 Lambda 访问外部变量，从而实现更灵活的行为。入门要点是掌握如何用最小的代码实现复杂的回调逻辑。
常见场景包括对数据结构进行排序、对容器元素进行转换、以及对算法执行时的条件判断。通过一个小小的 Lambda 就能将“如何处理一个元素”的逻辑内联化，减少了函数对象的传递成本。本文随后会给出多种场景的实战示例。
2. 语法要点与捕获列表深入
2.1 捕获列表的基本用法
捕获列表用于指定外部作用域变量在 Lambda 内的访问方式。最常见的两种形式是：按值捕获和按引用捕获，分别用 [x]、[&x] 来表示。对于需要同时捕获多个变量，可以写成 [x, &y] 或缩写 [=]、[&] 来实现按值或按引用的默认捕获。
需要注意的是，捕获列表决定了 Lambda 的可用数据范围以及副作用的传播方式。若变量在 Lambda 内被修改，且捕获方式是按值，将不会影响原变量；若按引用捕获，变量的修改会反映到外部。以下示例说明了基本用法。
#include <algorithm>
#include <vector>
#include <iostream>int main() {std::vector<int> data = {3, 1, 4, 1, 5};int scale = 2;// 按值捕获 scale，按引用捕获 data（隐式按引用）std::transform(data.begin(), data.end(), data.begin(),[scale](int x) { return x * scale; });for (int v : data) std::cout << v << ' ';std::cout << '\\n';
}
2.2 this 捕获与混合捕获
在类成员函数中，常用 [this] 捕获当前对象，以便 Lambda 内部访问成员变量和成员函数。若要同时对局部变量进行默认捕获并保留对对象的访问，可以混合使用 [=, this]、[&, this] 等形式，确保外部状态与对象状态都可控地进入 Lambda。
理解捕获的副作用是学习 Lambda 的关键：按值捕获会复制变量的当前值，按引用捕获会绑定到原变量，避免多次拷贝并可能带来生命周期风险。掌握这些要点后，能够在不增加额外函数的情况下实现复杂行为。
class Processor {int offset;
public:Processor(int o): offset(o) {}std::vector<int> apply(const std::vector<int>& data) {// 捕获 this，以访问成员 offsetauto addOffset = [this](int v) { return v + offset; };std::vector<int> out(data.size());std::transform(data.begin(), data.end(), out.begin(), addOffset);return out;}
};
3. 实战案例：常见场景
3.1 使用 Lambda 简化排序和算法
在排序、搜索、过滤等算法中，Lambda表达式可以作为短小精悍的回调，直接把比较逻辑内嵌到调用处，提升代码的可读性与维护性。通过 捕获列表和参数列表，你可以实现更具灵活性的排序策略。
下面的示例展示了对整型向量进行降序排序，以及对字符串按自定义条件排序的场景。通过 lambda，逻辑和数据紧密相关，减少了外部函数的依赖。
#include <vector>
#include <algorithm>
#include <iostream>
#include <string>int main() {std::vector<int> nums = {5, 2, 9, 1};// 降序排序std::sort(nums.begin(), nums.end(), [](int a, int b) { return a > b; });for (int n : nums) std::cout << n << ' ';std::cout << '\\n';// 按长度排序字符串std::vector<std::string> words = {\"apple\", \"banana\", \"fig\"};std::sort(words.begin(), words.end(),[](const std::string& a, const std::string& b) {return a.size() < b.size();});for (const auto& s : words) std::cout << s << ' ';std::cout << '\\n';
}
3.2 与 std::function 的配合与性能考量
将 Lambda 赋值给 std::function，可以实现运行时多态、回调注册等能力，但需要注意额外的类型擦除开销。若对性能敏感，优先保留 Lambda 作为模板参数的形式，避免不必要的虚拟调用。在需要把 Lambda 作为接口传递时，使用 std::function 是一个权衡取舍的选择。
此外，泛型 Lambda（auto 参数）在 C++14/17 中更加常见，但在 C++11 中也有一定的灵活性，结合模板可以实现通用性强的回调。理解这两者的关系，有助于你在入门阶段就设计更稳健的接口。
#include <functional>
#include <vector>
#include <algorithm>void run(const std::vector<int>& data,std::function<int(int)> f) {std::vector<int> out(data.size());std::transform(data.begin(), data.end(), out.begin(), f);
}
4. 高级要点：可变性、返回类型推断与异常处理
4.1 可变性与返回类型
在 可变性 关键字 mutable 的作用下，Lambda 内部可以修改捕获的按值变量，即使它们在外部不可修改。对返回类型的推断，若未显式给出返回类型，编译器会依据 return 语句 或表达式推断。如果 Lambda 需要返回不同类型，通常需要使用 decltype 或显式指定返回类型。
理解这些语法要点，有助于避免意外的行为与编译期错误，尤其在复杂的算法链中，返回类型的准确性直接影响到后续代码的正确性。
4.2 异常处理与 Lambda
Lambda 表达式可以像普通函数一样抛出异常，但捕获和传播行为可能会影响调用方的异常处理逻辑。若 Lambda 内部会抛出异常，应注意在需要的位置使用 try-catch 块，或者确保调用链对异常有合理的传播机制。
在并发场景中，Lambda 常被用作任务对象传给线程或异步执行框架，正确的异常传递与可重入性将直接决定程序的健壮性。
