闭包是什么？

牛不才

于 2024-05-10 09:20:46 发布

阅读量539

点赞数 9

分类专栏： 001-基础知识文章标签： C++ lambda stl 函数式编程

本文链接：https://blog.csdn.net/niu91/article/details/138647542

版权

001-基础知识专栏收录该内容

130 篇文章 3 订阅

订阅专栏

在C++中，闭包的概念通常通过lambda表达式实现。C++11及之后的版本支持lambda表达式，它允许我们定义匿名函数。这些匿名函数可以捕获周围作用域中的变量，从而形成闭包。

一个lambda表达式可以捕获外部变量的方式有以下几种：

[=]：以值捕获所有外部作用域的变量。
[&]：以引用捕获所有外部作用域的变量。
[var]：以值捕获外部作用域的变量var。
[&var]：以引用捕获外部作用域的变量var。
[=, &var]：以值捕获所有外部变量，但是以引用捕获变量var。
[&, var]：以引用捕获所有外部变量，但是以值捕获变量var。

C++中的闭包例子

下面是一个使用lambda表达式的C++例子，演示如何创建一个闭包，该闭包捕获局部变量：

#include <iostream>
#include <vector>
#include <functional>

int main() {
    int x = 10;
    int y = 20;

    // 创建一个lambda表达式，捕获x和y
    // 这个lambda表达式形成了一个闭包
    auto add = [x, &y]() -> int {
        // 这里可以访问x的副本和y的引用
        return x + y;
    };

    std::cout << "Sum: " << add() << std::endl; // 输出: Sum: 30

    // 修改y的值
    y = 25;

    // 再次调用闭包
    std::cout << "Sum after modifying y: " << add() << std::endl; // 输出: Sum after modifying y: 35

    return 0;
}

在这个例子中，add是一个通过lambda表达式创建的闭包，它捕获了在其定义作用域内的两个变量：x和y。x是以值捕获的，这意味着add内部使用的是x的一个副本；而y是以引用捕获的，所以add内部使用的是y的引用。因此，即使在add被定义之后，修改了y的值，通过add得到的和也会反映出y的变化，这正是闭包的特性之一。

这个例子演示了C++中如何使用lambda表达式创建闭包，以及如何通过闭包捕获和使用作用域中的变量。C++中的闭包主要用于实现回调、事件处理、并行算法等场景。

由于C++是一种多范式编程语言，支持过程式编程、面向对象编程、泛型编程以及函数式编程，闭包（通过lambda表达式）在C++中的应用非常广泛且多样。以下是一些C++中闭包常见的应用场景：

1. STL算法

C++标准模板库（STL）中包含大量算法，如sort, find_if, transform, for_each等，这些算法通常接受函数对象作为参数来自定义行为。通过lambda表达式，开发者可以方便地传入自定义的操作，而这些lambda表达式捕获外部变量的能力使得它们可以非常灵活地与算法一起工作，从而实现复杂的操作。

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    std::vector<int> vec = {1, 2, 3, 4, 5};
    int threshold = 3;
    vec.erase(std::remove_if(vec.begin(), vec.end(), [threshold](int value) { return value < threshold; }), vec.end());
    for (int value : vec) {
        std::cout << value << " ";
    }
    // 输出: 3 4 5
}

2. 事件处理和回调

在GUI或游戏开发中，事件处理和回调函数的定义是一个常见需求。通过lambda表达式，可以轻松定义这些回调，并且捕获所需的上下文环境，使得事件处理逻辑更为灵活和强大。

3. 并发编程

C++11引入了对并发的支持，包括线程、互斥量、条件变量等。Lambda表达式和闭包在这里扮演重要角色，尤其是在创建线程时传递任务或者在任务之间共享状态。

#include <thread>
#include <iostream>

int main() {
    int sharedState = 42;
    std::thread t([sharedState]() {
        std::cout << "Shared state in thread: " << sharedState << std::endl;
    });
    t.join();
    // 输出可能是: Shared state in thread: 42
}

4. 自定义比较函数

在需要自定义排序规则时，例如使用std::sort对自定义类型数组或容器排序，lambda表达式允许你以简洁的方式提供比较逻辑。

#include <algorithm>
#include <vector>
#include <iostream>

int main() {
    std::vector<int> vec = {5, 3, 4, 1, 2};
    std::sort(vec.begin(), vec.end(), [](int a, int b) { return a < b; });
    for (int value : vec) {
        std::cout << value << " ";
    }
    // 输出: 1 2 3 4 5
}