`std::future`--异步的优势

父母世界

于 2024-10-08 02:25:27 发布

阅读量43

点赞数

std::future 相比于直接使用线程在 C++ 中有几个重要的优势，主要体现在同步结果获取、简化代码管理、以及更安全的异步任务管理等方面。以下是 std::future 的一些主要优势：

1. 自动结果获取与同步

std::future 提供了一种便捷的机制来获取异步任务的返回值。当我们使用线程时，通常无法轻松获得线程的返回值，线程函数如果有返回值，需要通过共享变量、全局变量或其他同步机制进行通信，这使得代码更加复杂。

通过 std::future，可以轻松获取异步任务的结果，它在内部同步管理任务执行的结果。

例子：

cpp

#include <iostream>
#include <future>

int compute() {
    return 42;
}

int main() {
    std::future<int> result = std::async(std::launch::async, compute);
    std::cout << "Result: " << result.get() << std::endl; // 自动等待线程完成并返回结果
    return 0;
}

在这种情况下，result.get() 会等待线程完成，并获取异步任务的返回值 42。这比直接使用线程共享状态的方式要简单得多。

2. 简化代码管理

使用 std::thread 需要手动管理线程的生命周期，比如使用 join() 来等待线程执行完成。而 std::future 通过 get() 或者 wait() 来等待任务完成，自动管理同步，不需要手动调用 join()。

直接使用线程时：

cpp
```
#include <iostream>
#include <thread>

void compute(int &result) {
    result = 42;
}

int main() {
    int result;
    std::thread t(compute, std::ref(result));
    t.join(); // 必须手动调用 join() 等待线程完成
    std::cout << "Result: " << result << std::endl;
    return 0;
}
```
这里要通过 std::ref(result) 共享数据，并且必须手动管理线程的结束 (join())，否则程序会发生错误。

3. 更安全的异步任务管理

std::future 和 std::async 可以更好地管理异步任务，避免直接操作线程带来的错误。比如，当线程没有被正确 join 时，程序可能崩溃，而 std::future 会自动等待异步任务完成。
如果程序异常退出或者忘记调用 join()，std::thread 会导致程序中断或者未定义行为。而 std::future 不会发生这些问题，它通过 get() 自动等待异步任务完成。

例如，如果使用 std::thread，忘记 join()，程序会出现崩溃风险：

cpp
```
std::thread t([] { std::this_thread::sleep_for(std::chrono::seconds(1)); });
// 如果没有 t.join()，程序将崩溃
```

4. 异常管理

std::future 可以捕获异步任务中的异常，而直接使用线程时，异常管理需要额外的工作。在 std::future 中，get() 不仅可以获取任务的结果，还可以在任务中出现异常时，将该异常抛出，方便后续处理。

例子：

cpp

#include <iostream>
#include <future>
#include <stdexcept>

int faulty_task() {
    throw std::runtime_error("Something went wrong!");
}

int main() {
    std::future<int> result = std::async(std::launch::async, faulty_task);
    try {
        int value = result.get(); // 在此捕获异常
    } catch (const std::exception& e) {
        std::cerr << "Exception: " << e.what() << std::endl;
    }
    return 0;
}

直接使用 std::thread 时，要处理任务中的异常需要复杂的机制，std::future 简化了这一过程。

5. 延迟启动任务

使用 std::async 和 std::future，你可以选择是否立即启动线程，或者延迟执行任务（惰性启动）。通过 std::async 的第二个参数（如 std::launch::deferred），可以控制任务是否异步执行或延迟执行，这种灵活性在直接使用线程时无法轻易实现。

惰性启动：

cpp
```
std::future<int> result = std::async(std::launch::deferred, compute); // 任务并不会立即执行
// result.get() 执行时，任务才开始执行
```