std::promise<R>::set_value

主模板
void set_value( const R& value );	(1)	(自 C++11 起)
void set_value( R&& value );	(2)	(自 C++11 起)
std::promise<R&> 特化
void set_value( R& value );	(3)	(自 C++11 起)
std::promise<void> 特化
void set_value();	(4)	(自 C++11 起)

1-3) 原子地将 value 存储到共享状态，并使状态准备就绪。

4) 使状态准备就绪。

此操作的行为就好像 set_value、set_exception、set_value_at_thread_exit 和 set_exception_at_thread_exit 在更新 promise 对象时获取与 promise 对象关联的单个互斥锁。

对该函数的调用不会对对 get_future 的调用引入数据竞争（因此它们不需要相互同步）。

[编辑] 参数

value

-

要存储到共享状态的值

[编辑] 返回值

(无)

[编辑] 异常

在以下条件下，会抛出 std::future_error

*this 没有共享状态。错误代码设置为 no_state。
共享状态已经存储了值或异常。错误代码设置为 promise_already_satisfied。

此外

1) 由用于复制类型 R 对象的构造函数抛出的任何异常。

2) 由用于移动类型 R 对象的构造函数抛出的任何异常。

[编辑] 示例

此示例展示了如何使用 std::promise<void> 作为线程之间的信号。

运行此代码

#include <algorithm>
#include <cctype>
#include <chrono>
#include <future>
#include <iostream>
#include <iterator>
#include <sstream>
#include <thread>
#include <vector>
 
using namespace std::chrono_literals;
 
int main()
{
    std::istringstream iss_numbers{"3 4 1 42 23 -23 93 2 -289 93"};
    std::istringstream iss_letters{" a 23 b,e a2 k k?a;si,ksa c"};
 
    std::vector<int> numbers;
    std::vector<char> letters;
    std::promise<void> numbers_promise, letters_promise;
 
    auto numbers_ready = numbers_promise.get_future();
    auto letter_ready = letters_promise.get_future();
 
    std::thread value_reader([&]
    {
        // I/O operations
        std::copy(std::istream_iterator<int>{iss_numbers},
                  std::istream_iterator<int>{},
                  std::back_inserter(numbers));
 
        // notify for numbers
        numbers_promise.set_value();
 
        std::copy_if(std::istreambuf_iterator<char>{iss_letters},
                     std::istreambuf_iterator<char>{},
                     std::back_inserter(letters),
                     ::isalpha);
 
        // notify for letters
        letters_promise.set_value();
    });
 
 
    numbers_ready.wait();
 
    std::sort(numbers.begin(), numbers.end());
 
    if (letter_ready.wait_for(1s) == std::future_status::timeout)
    {
        // output the numbers while letters are being obtained
        for (int num : numbers)
            std::cout << num << ' ';
        numbers.clear(); // numbers were already printed
    }
 
    letter_ready.wait();
    std::sort(letters.begin(), letters.end());
 
    // does nothing if numbers were already printed
    for (int num : numbers)
        std::cout << num << ' ';
    std::cout << '\n';
 
    for (char let : letters)
        std::cout << let << ' ';
    std::cout << '\n';
 
    value_reader.join();
}

输出

-289 -23 1 2 3 4 23 42 93 93 
a a a a b c e i k k k s s

[编辑] 缺陷报告

以下行为更改的缺陷报告被追溯地应用于以前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2098	C++11	重载 (1,2) 只能抛出分别由 `R` 的复制/移动构造函数抛出的异常	它们可以抛出由实际构造函数抛出的异常用于复制/移动类型 `R` 的对象类型 `R` 的对象

[编辑] 另请参阅

set_value_at_thread_exit	在仅在线程退出时传递通知时，将结果设置为特定值 (公共成员函数) [编辑]
set_exception	将结果设置为指示异常 (公共成员函数) [编辑]

编译器支持
独立和托管
语言
标准库
标准库头文件
命名需求
功能测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

成员函数
promise::promise
promise::~promise
promise::operator=
promise::swap
获取结果
promise::get_future
设置结果
promise::set_value
promise::set_value_at_thread_exit
promise::set_exception
promise::set_exception_at_thread_exit
非成员函数
swap(std::promise)
辅助类
uses_allocator<std::promise>

cppreference.com

命名空间

变体

视图

操作