C++11实用技术(三)std::future、std::promise、std::packaged_task、async

简介: C++11实用技术(三)std::future、std::promise、std::packaged_task、async


简介

C++的多线程指令是thread。例如

#include <iostream>
#include <thread>
// 线程函数,打印一条消息
void printMessage(const std::string& message) {
    std::cout << "Message: " << message << std::endl;
}
int main() {
    // 创建线程对象,并指定线程函数及其参数
    std::thread t(printMessage, "Hello, world!");
    // 等待线程执行完毕
    t.join();
    return 0;
}

我们可以通过thread创建多线程。并把执行任务函数以回调函数的形式传入多线程中去执行。但是通过thread有个问题:

我们没有获取任务函数的接口,也就是我们很难在主线程中拿到我们任务函数的返回值或者内部参数值。(可以通过全局变量来获取,但是有一定的并发风险,并且不优雅)。

而std::future、std::promise就是可以处理这类场景。

std::future&std::async

要想在thread中获得std::future对象还要结合std::promise使用,下面会讲到。

而C++11可以通过std::async来更方便地异步创建执行task,也就是多线程执行task(和thread功能一样)。并且async返回的结果可以用std::future接收。

例如:

#include <iostream>
#include <future>
int calculateSum(int a, int b) {
    return a + b;
}
int main() {
    std::future<int> result = std::async(calculateSum, 2, 3);
    // 执行其他操作...
    // 获取异步任务的结果
    int sum = result.get();
    // 输出结果
    std::cout << "Sum: " << sum << std::endl;
    return 0;
}

可以看到我们的async创建的异步task可以用std::future接收,并且可以在主线程使用.get()来获取返回值。

注意:

result.get()这里是阻塞的,会等到task执行完成才会拿到返回值。(拿到返回值后async就会被回收,不像thread还需要使用join())。


包含.get()在内,获取future结果有3种应用不同场景的方式(有兴趣可以多了解一下):

  • get:阻塞等待异步操作结束并返回结果。
  • wait:只是等待异步操作完成,没有返回值。
  • wait_for:轮询定时查询future状态,知道任务完成。

std::async还有两种线程的创建策略:

  • std::launch::async:在调用async时就开始创建线程,默认的就是这种。
  • std::launch::deferred:延迟加载方式创建线程。调用async时不创建线程,知道调用了future的get或者wait时才创建线程。

使用示例:

std::future<int> result = std::async(std::launch::async, calculateSum, 2, 3);
std::future<int> result = std::async(std::launch::deferred, calculateSum, 2, 3);

future注意点:

用.get()获取任务返回值,只能获取一次。多次获取会报错。

#include <iostream>
#include <future>
int calculateSum(int a, int b) {
  return a + b;
}
int main() {
  std::future<int> result = std::async(calculateSum, 2, 3);
  // 执行其他操作...
  // 获取异步任务的结果
  int sum = result.get();
  // 输出结果
  std::cout << "Sum: " << sum << std::endl;
  int sum1 = result.get();//这里第二次使用get会报错
  return 0;
}

上述int sum = result.get();和int sum1 = result.get();第二次使用会报错。

如果想多次获取异步任务的返回结果可以使用std::shared_future;

shared_future

future可以通过.share()来拿到shared_future对象。

#include <iostream>
#include <future>
// 异步任务函数,返回一个结果
int asyncTask() {
  // 模拟耗时操作
  std::this_thread::sleep_for(std::chrono::seconds(5));
  return 42;
}
int main() {
  // 创建异步任务,并获取 std::future 对象
  std::future<int> fut = std::async(std::launch::async, asyncTask);
  // 创建共享的 std::shared_future 对象
  std::shared_future<int> sharedFut = fut.share();
  // 在多个线程中获取共享的异步任务结果
  std::thread t1([&sharedFut]() {
    int result = sharedFut.get();
    std::cout << "Thread 1 Result: " << result << std::endl;
    });
  std::thread t2([&sharedFut]() {
    int result = sharedFut.get();
    std::cout << "Thread 2 Result: " << result << std::endl;
    });
  t1.join();
  t2.join();
  return 0;
}

上述使用 fut 创建了一个共享的 std::shared_future 对象 sharedFut,并将其传递给两个线程。这两个线程分别调用 sharedFut.get() 来获取共享的异步任务结果。

注意,std::shared_future 可以在多个线程中同时访问结果,而不会阻塞等待。这使得多个线程可以并发地获取异步任务的结果。

std::promise

上述future可以获取我们的异步task返回结果,而promise可以获取我们异步task的中间值。用于在一个线程中产生一个值,并在另一个线程中获取该值。它允许你在一个线程中设置一个值,并将其与一个 std::future 关联起来,以便在另一个线程中获取该值。

例如在主线程获取异步线程task任务中的局部函数sum值:

#include <iostream>
#include <future>
void calculateSum(std::promise<int>& promise, int a, int b) {
    int sum = a + b;
    // 设置值
    promise.set_value(sum);
}
int main() {
    std::promise<int> promise;
    std::future<int> result = promise.get_future();
    // 启动异步任务
    std::thread thread(calculateSum, std::ref(promise), 2, 3);//这里用std::async也是一样的,但这里我们不需要获取task的返回值,所以就使用thread。
    // 执行其他操作...
    // 获取异步任务的结果
    int sum = result.get();
    // 输出结果
    std::cout << "Sum: " << sum << std::endl;
    // 等待线程结束
    thread.join();
    return 0;
}

上述创建了一个 std::promise 对象 promise,并通过调用 promise.get_future() 获取与之关联的 std::future 对象 result。然后启动一个新线程,将 calculateSum 函数作为参数传递给它,并传递 promise 对象和两个整数参数。

在执行其他操作后,我们通过调用 result.get() 来获取异步任务的结果。这会阻塞当前线程,直到task任务内promise.set_value(sum)执行完成。

std::packaged_task

std::packaged_task 是一个类模板,用于包装可调用对象(如函数、函数对象或lambda表达式),并将其与 std::future 关联起来,以便在另一个线程中获取该可调用对象的结果。

例如:

#include <iostream>
#include <future>
int calculateSum(int a, int b) {
    return a + b;
}
int main() {
    std::packaged_task<int(int, int)> task(calculateSum);
    std::future<int> result = task.get_future();
    // 启动异步任务
    std::thread thread(std::move(task), 2, 3);
    // 执行其他操作...
    // 获取异步任务的结果
    int sum = result.get();
    // 输出结果
    std::cout << "Sum: " << sum << std::endl;
    // 等待线程结束
    thread.join();
    return 0;
}

使用 std::packaged_task 类模板创建了一个 task 对象,将 calculateSum 函数作为参数传递给它。然后,我们通过调用 task.get_future() 获取与之关联的 std::future 对象 result。

上面看起来packaged_task和promise有点像,promise是保存一个值,而packaged_task保存了一个函数。

std::promise、std::packaged_task和std::future的关系

上述可以看出promise和packaged_task都可以使用.get_future()获取对象,是因为它们内部都有future,以便访问操作结果。

promise是保存一个值,而packaged_task保存了一个函数。如果想获取某个值,就是用promise,如果想获取返回值,就使用packaged_task(获取返回值也可以使用async,上面有讲到)。

目录
相关文章
|
4天前
|
存储 对象存储 C++
C++ 中 std::array<int, array_size> 与 std::vector<int> 的深入对比
本文深入对比了 C++ 标准库中的 `std::array` 和 `std::vector`,从内存管理、性能、功能特性、使用场景等方面详细分析了两者的差异。`std::array` 适合固定大小的数据和高性能需求,而 `std::vector` 则提供了动态调整大小的灵活性,适用于数据量不确定或需要频繁操作的场景。选择合适的容器可以提高代码的效率和可靠性。
22 0
|
3月前
|
存储 算法 C++
C++提高篇:泛型编程和STL技术详解,探讨C++更深层的使用
文章详细探讨了C++中的泛型编程与STL技术,重点讲解了如何使用模板来创建通用的函数和类,以及模板在提高代码复用性和灵活性方面的作用。
58 2
C++提高篇:泛型编程和STL技术详解,探讨C++更深层的使用
|
3月前
|
安全 C++
C++: std::once_flag 和 std::call_once
`std::once_flag` 和 `std::call_once` 是 C++11 引入的同步原语,确保某个函数在多线程环境中仅执行一次。
|
4月前
|
人工智能 Anolis
聚焦C++20 最新标准!技术 Workshop 精彩亮点一览 | 2024 龙蜥大会
多场技术 Workshop、多位领域专家亲自授课,分享独家洞察与宝贵经验。
|
4月前
|
算法 C# 开发工具
《黑神话:悟空》背后的编程语言揭秘——超越C++的多元技术融合
【8月更文挑战第27天】在游戏开发领域,一款游戏的成功往往离不开其背后强大的技术支持和编程语言的精妙运用。《黑神话:悟空》作为备受瞩目的国产单机动作游戏,其开发过程不仅涉及了多种编程语言,更是一次技术创新的集中展现。然而,当我们深入探讨其开发语言时,会发现它并非仅依赖于单一的C++,而是融合了多种编程语言的优势,共同铸就了这款游戏的辉煌。
291 0
|
5月前
|
存储 C++ 运维
开发与运维函数问题之使用C++标准库中的std::function来简化回调函数的使用如何解决
开发与运维函数问题之使用C++标准库中的std::function来简化回调函数的使用如何解决
55 6
|
5月前
|
C++ 运维
开发与运维编译问题之在C++中在使用std::mutex后能自动释放锁如何解决
开发与运维编译问题之在C++中在使用std::mutex后能自动释放锁如何解决
74 2
|
6月前
|
SQL 人工智能 算法
技术心得记录:模板函数函数模板FunctionTemplate(C++Primer
技术心得记录:模板函数函数模板FunctionTemplate(C++Primer
|
7月前
|
前端开发 JavaScript
如何处理 JavaScript 中的异步操作和 Promise?
如何处理 JavaScript 中的异步操作和 Promise?
69 1
|
7月前
|
前端开发 JavaScript
在JavaScript中,什么是promise、怎么使用promise、怎么手写promise
在JavaScript中,什么是promise、怎么使用promise、怎么手写promise
105 4