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) 상태를 준비시킵니다.

이 연산은 promise 객체를 업데이트하는 동안 set_value , set_exception , set_value_at_thread_exit , 그리고 set_exception_at_thread_exit 가 promise 객체와 연관된 단일 뮤텍스를 획득하는 것처럼 동작합니다.

이 함수에 대한 호출은 get_future 호출과 데이터 경쟁(data race)을 발생시키지 않습니다 (따라서 서로 동기화할 필요가 없습니다).

목차

매개변수

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 타입 객체를 복사/이동할 때
던질 수 있는 예외를 던질 수 있음

참고 항목

스레드 종료 시에만 알림을 전달하면서 결과를 특정 값으로 설정
(public member function)
결과를 예외 발생을 나타내도록 설정
(public member function)