1. 为什么你需要 Lambda 表达式

C++11 引入的 Lambda 表达式彻底改变了 C++ 的编程风格。它让“函数即对象”的理念真正落地，把原本需要定义函数对象、编写大量样板代码的痛点化作寥寥几行。无论是处理 STL 算法、回调注册，还是临时封装一段逻辑，Lambda 都能让你的代码更紧凑、更专注。本文将从基础语法出发，结合几个巧妙的用法，带你体会 Lambda 表达式在日常开发中的强大力量。

2. Lambda 语法速览

一个典型的 Lambda 表达式由四部分组成：捕获列表 [ ]、参数列表 ( )、可选的 mutable / 异常说明、返回类型 -> T 以及 函数体 { }。最简单的形式如下：

auto hello = []() { std::cout << "Hello, Lambda!" << std::endl; };
hello();

如果函数体只有一条 return 语句，返回类型可以自动推导，甚至连参数列表都可以省略：

auto square = [](int x) { return x * x; };
int result = square(5); // result = 25

掌握这些基础后，我们就可以玩出各种“花样”了。

3. 妙用一：让 STL 算法如虎添翼

过去使用 std::sort、std::find_if 等算法时，常常需要单独定义一个函数或者函数对象。有了 Lambda，自定义逻辑可以直接内联，一目了然。

3.1 自定义排序规则

std::vector<std::string> names = {"Alice", "bob", "Charlie"};
std::sort(names.begin(), names.end(),
          [](const std::string& a, const std::string& b) {
              // 忽略大小写排序
              return std::lexicographical_compare(
                  a.begin(), a.end(), b.begin(), b.end(),
                  [](char ca, char cb) { return std::tolower(ca) < std::tolower(cb); });
          });

3.2 一键筛选满足条件的元素

std::vector<int> data = {1, 2, 3, 4, 5, 6};
auto it = std::find_if(data.begin(), data.end(),
                       [](int x) { return x > 3 && x % 2 == 0; });
if (it != data.end()) {
    std::cout << "找到第一个大于3的偶数：" << *it << std::endl;
}

4. 妙用二：优雅的回调注册与事件处理

在异步编程、GUI 事件处理或注册任务时，Lambda 可以捕获必要的上下文，避免额外的成员变量或全局状态。

class Button {
public:
    using ClickHandler = std::function<void()>;
    void setOnClick(ClickHandler handler) { onClick_ = std::move(handler); }
    void click() { if (onClick_) onClick_(); }
private:
    ClickHandler onClick_;
};

Button btn;
std::string message = "Button clicked!";
btn.setOnClick([&message]() { std::cout << message << std::endl; });
btn.click(); // 输出：Button clicked!

这里 Lambda 通过 [&message] 捕获了外部局部变量，不仅减少了代码量，还让逻辑更加内聚。

5. 妙用三：`[=]` 与 `[&]` 的捕获艺术

捕获方式是 Lambda 的灵魂，不同的捕获方式决定了使用的安全性和灵活性。

• [=] 值捕获：拷贝一份外部变量，适合临时 Lambda 或需要延长对象生命周期的场景。
• [&] 引用捕获：直接引用外部变量，可修改，但必须保证 Lambda 执行时变量仍然有效。
• [this] 捕获：可以访问当前类的成员，相当于隐式拿到了 this 指针。

std::vector<std::function<int()>> tasks;
int base = 10;
for (int i = 0; i < 5; ++i) {
    // 值捕获 i，每个 Lambda 都拥有独立的 i 副本
    tasks.push_back([=]() { return base + i; });
}
// 所有任务都返回 base + 各自的 i 值
for (auto& task : tasks) {
    std::cout << task() << " ";
}

6. 妙用四：泛型 Lambda —— C++14 的“自动”魔法

C++14 允许 Lambda 参数使用 auto，实现了类似模板的能力，代码复用性大增。

auto print_pair = [](const auto& first, const auto& second) {
    std::cout << "(" << first << ", " << second << ")\n";
};
print_pair(10, 3.14);   // (10, 3.14)
print_pair(std::string("key"), 42); // (key, 42)

这种写法在处理异构容器或需要统一打印不同类型时特别方便，避免了手写重载。

7. 妙用五：立即执行的 Lambda（IILE）

有时我们需要一段复杂的初始化逻辑，但又不想污染外部作用域。立即执行的 Lambda（Immediately Invoked Lambda Expression）可以把初始化过程自包含起来，结果直接赋给变量。

const auto config = []() {
    std::map<std::string, int> defaults = {{"timeout", 30}, {"retry", 3}};
    // 根据环境变量调整配置
    if (const char* env = std::getenv("TIMEOUT")) {
        defaults["timeout"] = std::stoi(env);
    }
    return defaults;
}(); // 注意末尾的 () 立即调用

这种模式在初始化常量、构建复杂对象时非常有用，还能配合 if constexpr 进行编译期分支。

8. 性能小贴士与注意事项

• 避免不必要的捕获：值捕获会带来拷贝开销，尤其是大对象；引用捕获则要注意生命周期。
• 小心悬垂引用：当 Lambda 作为回调被存储起来，而其引用捕获的变量已经销毁时，使用即触发未定义行为。
• Lambda 的大小：每个 Lambda 都是一个匿名类，其大小取决于捕获的变量。尽量不要在热路径中频繁复制大型 Lambda 对象。
• 优先使用 auto 接收 Lambda：除非必须使用 std::function（如多态存储），否则用 auto 可以避免类型擦除带来的性能损失。

从简单的排序自定义到复杂的回调捕获，Lambda 表达式已经成为现代 C++ 不可或缺的一部分。它能让代码可读性更高、逻辑更内聚，同时减少不必要的函数对象定义。掌握这些“妙用”，你的 C++ 代码会变得更加简洁、表达力更强。在日常开发中不妨多思考一下：这里是不是可以换成一个 Lambda？你可能会发现很多用传统写法十分啰嗦的地方，其实几行 Lambda 就能优雅解决