Namensräume
Varianten
Aktionen

std::promise<R>::set_value

Von cppreference.com
< cpp‎ | thread‎ | promise
 
 
Bibliothek für nebenläufige Programmierung
Threads
(C++11)
(C++20)
this_thread Namespace
(C++11)
(C++11)
(C++11)
Kooperatives Beenden
Gegenseitiger Ausschluss
(C++11)
Allgemeines Sperrungsmanagement
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Bedingungsvariablen
(C++11)
Semaphoren
Latches und Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
Sichere Wiederherstellung
(C++26)
Hazard Pointer
Atomare Typen
(C++11)
(C++20)
Initialisierung von atomaren Typen
(C++11)(veraltet in C++20)
(C++11)(veraltet in C++20)
Speicherordnung
(C++11)(deprecated in C++26)
Freie Funktionen für atomare Operationen
Freie Funktionen für atomare Flags
 
 
Hauptvorlage
void set_value( const R& value );
(1) (seit C++11)
void set_value( R&& value );
(2) (seit C++11)
std::promise<R&> Spezialisierungen
void set_value( R& value );
(3) (seit C++11)
std::promise<void> Spezialisierung
void set_value();
(4) (seit C++11)
1-3) Speichert atomar value im gemeinsamen Zustand und macht den Zustand bereit.
4) Macht den Zustand bereit.

Die Operation verhält sich so, als würden `set_value`, set_exception, set_value_at_thread_exit und set_exception_at_thread_exit eine einzelne Mutex sperren, die mit dem Promise-Objekt verbunden ist, während das Promise-Objekt aktualisiert wird.

Aufrufe dieser Funktion führen keine Datenrennen mit Aufrufen von get_future ein (daher müssen sie nicht miteinander synchronisiert werden).

Inhalt

[bearbeiten] Parameter

value - Wert, der im gemeinsamen Zustand gespeichert werden soll

[bearbeiten] Rückgabewert

(keine)

[bearbeiten] Ausnahmen

std::future_error unter folgenden Bedingungen

  • *this hat keinen geteilten Zustand. Der Fehlercode wird auf no_state gesetzt.
  • Der gemeinsame Zustand speichert bereits einen Wert oder eine Ausnahme. Der Fehlercode wird auf promise_already_satisfied gesetzt.

Zusätzlich

1) Jede Ausnahme, die vom ausgewählten Konstruktor zum Kopieren eines Objekts vom Typ R ausgelöst wird.
2) Jede Ausnahme, die vom ausgewählten Konstruktor zum Verschieben eines Objekts vom Typ R ausgelöst wird.

[bearbeiten] Beispiel

Dieses Beispiel zeigt, wie std::promise<void> als Signale zwischen Threads verwendet werden kann.

#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();
}

Ausgabe

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

[bearbeiten] Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
LWG 2098 C++11 Überladungen (1,2) konnten nur die
Ausnahmen auslösen, die vom Kopier-/Verschiebe-
Konstruktor von R bzw.
sie können die Ausnahmen auslösen, die
vom tatsächlichen Konstruktor ausgelöst werden,
der zum Kopieren/Verschieben eines Objekts vom Typ R ausgewählt wurde

[bearbeiten] Siehe auch

setzt das Ergebnis auf einen bestimmten Wert und liefert die Benachrichtigung erst beim Beenden des Threads
(public member function) [bearbeiten]
setzt das Ergebnis, um eine Ausnahme anzuzeigen
(public member function) [bearbeiten]