public member function
<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
Set value
val 存储为 *shared state* 中的值,使其变为 *ready*。

如果与同一个 *shared state* 关联的 future 对象当前正在等待 future::get 的调用,则会解除阻塞并返回 val

void 特化版本中的成员仅使 *shared state* 变为 ready,而不设置任何值。

参数

val
*shared state* 的值。

返回值



示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
// promise example
#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';
}

int main ()
{
  std::promise<int> prom;                      // create promise

  std::future<int> fut = prom.get_future();    // engagement with future

  std::thread th1 (print_int, std::ref(fut));  // send future to new thread

  prom.set_value (10);                         // fulfill promise
                                               // (synchronizes with getting the future)
  th1.join();
  return 0;
}

输出

value: 10


数据竞争

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

异常安全

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

此成员函数在以下条件下抛出异常
exception typeerror condition描述
future_errorfuture_errc::no_state该对象没有共享状态(它已被移动赋值
future_errorfuture_errc::promise_already_satisfied共享状态已存储值或异常
如果用于复制/移动 val 的构造函数抛出异常(对于 *(1)*),此成员函数也会抛出异常,并且(取决于库实现)也可能抛出以报告其他情况。

另见