C++11函数式编程：从函数指针到lambda的进化

1. 从函数指针到lambda：C++11的函数式编程进化

在C++11之前，我们处理回调逻辑主要依赖函数指针和仿函数（Functor）。函数指针虽然灵活但类型安全性差，仿函数需要预先定义类结构又显得过于笨重。这两种方式都无法直接捕获上下文变量，导致代码常常需要传递大量额外参数。

C++11引入的lambda表达式彻底改变了这一局面。我第一次在实际项目中使用lambda时，发现它完美解决了事件处理中的状态传递问题。比如在GUI开发中，按钮点击事件需要访问当前窗口状态：

cpp复制// 传统方式：通过类成员传递状态
class MyWindow {
    int windowState;
    void setupButton() {
        button.setClickHandler(&MyWindow::onButtonClick);
    }
    void onButtonClick() { /* 需要访问windowState */ }
};

// lambda方式：直接捕获所需变量
int windowState = 42;
button.setClickHandler([&windowState]() {
    // 直接使用windowState
});

这种写法不仅减少了样板代码，更重要的是将相关逻辑集中在一处，极大提升了代码可读性。在团队代码审查中，我们逐渐形成共识：对于不超过10行的简单回调逻辑，优先使用lambda表达式。

2. lambda表达式的完整语法解析

lambda表达式的完整语法远比初看上去复杂，让我们拆解每个组成部分：

cpp复制[capture-list] (params) mutable -> return-type { body }

2.1 捕获列表的七种武器

捕获方式决定了lambda如何访问外部变量，每种选择都有特定使用场景：

1. 值捕获 [x]：创建时拷贝变量值

   • 适合基本类型小对象
   • 陷阱：捕获后与原变量脱离关系

   cpp复制int x = 10;
   auto foo = [x]() { return x; };
   x = 20;  // foo()仍返回10
   

2. 引用捕获 [&x]：绑定到原变量

   • 适合大对象或需要修改的场景
   • 危险：可能产生悬垂引用

   cpp复制std::string s;
   auto foo = [&s]() { s += "!"; };
   foo();  // 修改原变量
   

3. 隐式全捕获 [=]/[&]：捕获所有可见变量

   • 方便但可能导致意外捕获
   • 团队规范建议显式列出所需变量

4. 混合捕获 [=, &x]：默认值捕获+特定引用

   • 平衡安全性与灵活性

   cpp复制vector<int> data;
   int threshold;
   auto filter = [=, &data](int x) { 
       return x > threshold && !data.empty();
   };
   

5. 移动捕获 [x=std::move(y)] (C++14)

   • 高效转移所有权
   • 适合unique_ptr等不可拷贝对象

6. this捕获 [this]：访问当前类成员

   • 注意生命周期问题
   • 现代C++更推荐 [*this] 值捕获整个对象

7. 初始化捕获 [name=expr] (C++14)

   • 任意表达式初始化捕获变量