Namespaces
Variants

std::promise<R>:: set_value

From cppreference.net
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
Generic lock management
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
Safe reclamation
Hazard pointers
Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11) (deprecated in C++20)
(C++11) (deprecated in C++20)
Memory ordering
(C++11) (deprecated in C++26)
Free functions for atomic operations
Free functions for atomic flags
メインテンプレート
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 がプロミスオブジェクトに関連付けられた単一のミューテックスを獲得するかのように振る舞います。

この関数の呼び出しは、 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 のオブジェクトをコピー/ムーブする
ために選択された実際のコンストラクタが
送出する例外を送出可能

関連項目

スレッド終了時のみ通知を配信しながら結果を特定の値に設定する
(公開メンバ関数)
結果を例外を示すように設定する
(公開メンバ関数)