std::promise<R>::set_value

void set_value( const R& value );	(1)	(только для шаблонного класса `promise`) (с C++11)
void set_value( R&& value );	(2)	(только для шаблонного класса `promise`) (с C++11)
void set_value( R& value );	(3)	(только для специализации шаблона `promise<R&>`) (с C++11)
void set_value();	(4)	(только для специализации шаблона `promise<void>`) (с 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) Любое исключение, сгенерированное конструктором копирования value.

2) Любое исключение, сгенерированное конструктором перемещения value.

Пример

Этот пример демонстрирует, как 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());
 
    // If numbers were already printed, it does nothing.
    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

См. также

set_exception

устанавливает результат, чтобы указать исключение
(публичный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/thread/promise/set_value