C++雾中风景7：闭包

什么是闭包？

闭包是函数与其创建时的词法环境的绑定体。在C++中，闭包通过lambda表达式实现，允许函数捕获并访问其定义时的局部变量，即使这些变量在其原始作用域之外已失效。闭包的核心价值在于将函数与上下文数据封装为一个整体，实现灵活的回调和状态保持。

为什么需要闭包？

• 避免全局变量：闭包允许函数携带局部状态，无需污染全局命名空间。
• 简化代码：替代手写仿函数或复杂绑定逻辑，减少模板代码。
• 延迟执行：捕获的变量可在后续调用时使用，适合异步或回调场景。

---

手动实现闭包

仿函数：闭包的最原始形态

通过重载operator()的类实现闭包功能，显式存储捕获的变量。

示例：实现乘法闭包

class Multiply {
    int factor_;  // 捕获的变量
public:
    explicit Multiply(int factor) : factor_(factor) {}
    int operator()(int x) const { return x * factor_; }
};

// 使用
std::vector<int> v = {1, 2, 3};
Multiply times_10(10);
std::transform(v.begin(), v.end(), v.begin(), times_10);
// v变为 {10, 20, 30}

引入捕获：模拟lambda的捕获列表

按值捕获

捕获变量的副本，闭包持有独立数据。

int a = 10;
auto lambda = [a](int x) { return a + x; };  // 等价于：
class ValueCapture {
    int a_;
public:
    ValueCapture(int a) : a_(a) {}
    int operator()(int x) const { return a_ + x; }
};

按引用捕获

捕获变量的引用，闭包内操作影响原始变量。

int b = 10;
auto lambda_ref = [&b](int x) { return b + x; };  // 等价于：
class RefCapture {
    int& b_;
public:
    RefCapture(int& b) : b_(b) {}
    int operator()(int x) const { return b_ + x; }
};

多个捕获项

可混合捕获多个变量，如[x, &y]。

默认捕获

• [=]：默认按值捕获所有可见变量。
• [&]：默认按引用捕获所有可见变量。

---

深入理解闭包

可变闭包：mutable的作用

默认闭包的operator()为const，若需修改按值捕获的变量，需加mutable关键字。

int counter = 0;
auto lambda = [counter]() mutable { ++counter; };  // 允许修改副本

闭包的传递与存储

• 类型唯一性：每个lambda表达式生成唯一类型，适合模板参数。
• 类型擦除 ：使用std::function存储任意闭包，但有间接调用开销。

内存与性能

• 值捕获：闭包对象包含捕获变量的副本，大小随捕获数据增长。
• 引用捕获：闭包仅存储引用，但需注意悬垂引用风险（如局部变量销毁后调用闭包）。

闭包 vs 函数指针

• 优势：闭包可携带状态，支持内联优化；函数指针无状态，需额外参数传递上下文。

---

总结

闭包是C++中强大的抽象工具，通过lambda或仿函数实现，兼顾灵活性与性能。理解其底层机制（如捕获方式、内存布局）有助于避免常见陷阱（如悬垂引用），并高效应用于回调、泛型编程等场景。