个人中心
gpt4 book ai didi

C++11 中std::promise 介绍

转载 作者：qq735679552 更新时间：2022-09-29 22:32:09 31 4
gpt4 key购买 nike

CFSDN坚持开源创造价值，我们致力于搭建一个资源共享平台，让每一个IT人在这里找到属于你的精彩世界.

这篇CFSDN的博客文章C++11 中std::promise 介绍由作者收集整理，如果你对这篇文章有兴趣，记得点赞哟.

前面两讲《C++11 并发指南二(std::thread 详解) 》，《C++11 并发指南三(std::mutex 详解) 》分别介绍了 std::thread 和 std::mutex，相信读者对 C++11 中的多线程编程有了一个最基本的认识，本文将介绍 C++11 标准中 <future> 头文件里面的类和相关函数.

<future> 头文件中包含了以下几个类和函数:

  • Providers 类：std::promise, std::package_task
  • Futures 类：std::future, shared_future.
  • Providers 函数：std::async()
  • 其他类型：std::future_error, std::future_errc, std::future_status, std::launch.

std::promise 类介绍 。

promise 对象可以保存某一类型 T 的值，该值可被 future 对象读取（可能在另外一个线程中），因此 promise 也提供了一种线程同步的手段。在 promise 对象构造时可以和一个共享状态（通常是std::future）相关联，并可以在相关联的共享状态(std::future)上保存一个类型为 T 的值.

可以通过 get_future 来获取与该 promise 对象相关联的 future 对象，调用该函数之后，两个对象共享相同的共享状态(shared state) 。

  • promise 对象是异步 Provider，它可以在某一时刻设置共享状态的值。
  • future 对象可以异步返回共享状态的值，或者在必要的情况下阻塞调用者并等待共享状态标志变为 ready，然后才能获取共享状态的值。

下面以一个简单的例子来说明上述关系 。

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>    // std::cout
#include <functional>   // std::ref
#include <thread>     // std::thread
#include <future>     // std::promise, std::future
 
void print_int(std::future< int >& fut) {
   int x = fut.get(); // 获取共享状态的值.
   std::cout << "value: " << x << '\n' ; // 打印 value: 10.
}
 
int main ()
{
   std::promise< int > prom; // 生成一个 std::promise<int> 对象.
   std::future< int > fut = prom.get_future(); // 和 future 关联.
   std:: thread t(print_int, std::ref(fut)); // 将 future 交给另外一个线程t.
   prom.set_value(10); // 设置共享状态的值, 此处和线程t保持同步.
   t.join();
   return 0;
}

std::promise 构造函数 。

  。

default (1) 
promise();
with allocator (2) 
template <class Alloc> promise (allocator_arg_t aa, const Alloc& alloc);
copy [deleted] (3) 
promise (const promise&) = delete;
move (4) 
promise (promise&& x) noexcept;

  。

  • 默认构造函数，初始化一个空的共享状态。
  • 带自定义内存分配器的构造函数，与默认构造函数类似，但是使用自定义分配器来分配共享状态。
  • 拷贝构造函数，被禁用。
  • 移动构造函数。

另外，std::promise 的 operator= 没有拷贝语义，即 std::promise 普通的赋值操作被禁用，operator= 只有 move 语义，所以 std::promise 对象是禁止拷贝的.

例子

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
#include <iostream>    // std::cout
#include <thread>     // std::thread
#include <future>     // std::promise, std::future
 
std::promise< int > prom;
 
void print_global_promise () {
   std::future< int > fut = prom.get_future();
   int x = fut.get();
   std::cout << "value: " << x << '\n' ;
}
 
int main ()
{
   std:: thread th1(print_global_promise);
   prom.set_value(10);
   th1.join();
 
   prom = std::promise< int >();  // prom 被move赋值为一个新的 promise 对象.
 
   std:: thread th2 (print_global_promise);
   prom.set_value (20);
   th2.join();
 
  return 0;
}

std::promise::get_future 介绍 。

该函数返回一个与 promise 共享状态相关联的 future 。返回的 future 对象可以访问由 promise 对象设置在共享状态上的值或者某个异常对象。只能从 promise 共享状态获取一个 future 对象。在调用该函数之后，promise 对象通常会在某个时间点准备好(设置一个值或者一个异常对象)，如果不设置值或者异常，promise 对象在析构时会自动地设置一个 future_error 异常(broken_promise)来设置其自身的准备状态。上面的例子中已经提到了 get_future，此处不再重复.

std::promise::set_value 介绍 。

  。

generic template (1) 
void set_value (const T& val);void set_value (T&& val);
specializations (2) 
void promise<R&>::set_value (R& val);  // when T is a reference type (R&)void promise<void>::set_value (void);  // when T is void

  。

设置共享状态的值，此后 promise 的共享状态标志变为 ready. 。

 std::promise::set_exception 介绍 为 promise 设置异常，此后 promise 的共享状态变标志变为 ready，例子如下，线程1从终端接收一个整数，线程2将该整数打印出来，如果线程1接收一个非整数，则为 promise 设置一个异常(failbit) ，线程2 在std::future::get 是抛出该异常.

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
#include <iostream>    // std::cin, std::cout, std::ios
#include <functional>   // std::ref
#include <thread>     // std::thread
#include <future>     // std::promise, std::future
#include <exception>   // std::exception, std::current_exception
 
void get_int(std::promise< int >& prom) {
   int x;
   std::cout << "Please, enter an integer value: " ;
   std::cin.exceptions (std::ios::failbit);  // throw on failbit
   try {
     std::cin >> x;             // sets failbit if input is not int
     prom.set_value(x);
   } catch (std::exception&) {
     prom.set_exception(std::current_exception());
   }
}
 
void print_int(std::future< int >& fut) {
   try {
     int x = fut.get();
     std::cout << "value: " << x << '\n' ;
   } catch (std::exception& e) {
     std::cout << "[exception caught: " << e.what() << "]\n" ;
   }
}
 
int main ()
{
   std::promise< int > prom;
   std::future< int > fut = prom.get_future();
 
   std:: thread th1(get_int, std::ref(prom));
   std:: thread th2(print_int, std::ref(fut));
 
   th1.join();
   th2.join();
   return 0;
}

std::promise::set_value_at_thread_exit 介绍 。

设置共享状态的值，但是不将共享状态的标志设置为 ready，当线程退出时该 promise 对象会自动设置为 ready。如果某个 std::future 对象与该 promise 对象的共享状态相关联，并且该 future 正在调用 get，则调用 get 的线程会被阻塞，当线程退出时，调用 future::get 的线程解除阻塞，同时 get 返回 set_value_at_thread_exit 所设置的值。注意，该函数已经设置了 promise 共享状态的值，如果在线程结束之前有其他设置或者修改共享状态的值的操作，则会抛出 future_error( promise_already_satisfied ).

std::promise::swap 介绍 。

交换 promise 的共享状态.

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持我.

原文链接：https://www.cnblogs.com/haippy/p/3239248.html 。

最后此篇关于C++11 中std::promise 介绍的文章就讲到这里了,如果你想了解更多关于C++11 中std::promise 介绍的内容请搜索CFSDN的文章或继续浏览相关文章，希望大家以后支持我的博客！ 。

31 4 0
文章推荐： windows无法完成格式化怎么办?windows无法完成格式化的解决教程
文章推荐： 浅谈Go数组比切片好在哪
文章推荐： 0x80004005是什么错误？0x80004005错误怎么解决
文章推荐： mmc无法创建管理单元怎么办?mmc无法创建管理单元的解决方法
qq735679552
个人简介

我是一名优秀的程序员,十分优秀！

滴滴打车优惠券免费领取
滴滴打车优惠券
全站热门文章
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com