Wird std :: async garantiert für Funktionen aufgerufen, die void zurückgeben?

Question

Ich habe den folgenden Code geschrieben, um std::async() auf Funktionen void mit GCC 4.8.2 auf Ubuntu zu testen.

#include <future> 
#include <iostream> 

void functionTBC() 
{ 
    std::cerr << "Print here\n"; 
} 

int main(void) 
{ 
#ifdef USE_ASYNC 
    auto i = std::async(std::launch::async, functionTBC); 
#else 
    auto i = std::async(std::launch::deferred, functionTBC); 
#endif 
    //i.get(); 
    return 0; 
} 

Wenn i.get(); unkommentiert ist, wird die Meldung "Print here" immer vorhanden ist; Wenn jedoch i.get(); auskommentiert ist, existiert "Print here", wenn und nur wenn USE_ASYNC definiert ist (dh std::launch::async führt immer zur Nachricht ausgedruckt, während std::launch::deferred niemals).

Ist dieses garantierte Verhalten? Wie kann man sicherstellen, dass der asynchrone Aufruf void ausgeführt wird?

Answer 1

std::launch::deferred bedeutet "nicht ausführen, bis ich .wait() oder .get()".

Wie Sie nie .get() oder .wait() Ed, es lief nie.

void hat nichts damit zu tun.

Für std::launch::async, der Standard besagt, dass die zurück Zukunft destructor (~future) blockiert, bis die Aufgabe abgeschlossen ist (dh hat eine implizites .wait()). Dies wird von MSVC absichtlich verletzt, weil sie mit dieser Designentscheidung nicht einverstanden waren, und sie kämpfen darum, den Standard zu ändern: In der Praxis bedeutet dies, dass Sie sich von std::launch::asyncfuture nicht verlassen können, wenn Sie zukunftssicher sein wollen dein Code.

Ohne implizite wait in ~future, wäre es unbestimmt, wenn es tatsächlich die Funktion aufgerufen, wenn main beendet. Es wäre entweder passiert oder nicht. Möglicherweise könnten Sie UB aufrufen, indem Sie noch aktive Threads am Ende von main haben.

Sie fragen sich vielleicht, welche Verwendung deferred hat: Sie können es verwenden, um eine Berechnung für faule Auswertung in die Warteschlange.