public member function
<future>

std::promise::set_exception

void set_exception (exception_ptr p);
设置异常
将异常指针 p 存储在“就绪”的共享状态中。

如果与同一共享状态关联的 future 对象当前正在等待 future::get 调用,则解除阻塞并抛出由 p 指向的异常对象。

参数

p
一个 exception_ptr 对象。
exception_ptr 是一个用于引用异常对象的智能指针类型。

返回值



示例

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
40
41
42
// promise::set_exception
#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 (print_int, std::ref(fut));
  std::thread th2 (get_int, std::ref(prom));

  th1.join();
  th2.join();
  return 0;
}

可能的输出

Please enter an integer value: boogey!
[exception caught: ios_base::failbit caught]


数据竞争

promise 对象被修改。
共享状态被修改为原子操作(不会导致数据竞争)。

异常安全

基本保证:如果抛出异常,则 promise 对象处于有效状态。

此成员函数在以下条件下抛出异常
异常类型错误条件描述
future_errorfuture_errc::no_state该对象没有共享状态(它已被移动赋值
future_errorfuture_errc::promise_already_satisfied共享状态已存储值或异常
根据库实现的不同,此成员函数还可能抛出异常来报告其他情况。

另见