<future>

Incluez l’en-tête <standard pour> définir des modèles de classe et des modèles de prise en charge qui simplifient l’exécution d’une fonction, éventuellement dans un thread distinct, et la récupération de son résultat. Le résultat est la valeur retournée par la fonction ou une exception émise par la fonction, mais qui n’est pas interceptée dans la fonction.

Cet en-tête utilise le runtime d’accès concurrentiel (ConcRT) pour pouvoir l’utiliser avec d’autres mécanismes ConcRT. Pour plus d’informations sur ConcRT, consultez Runtime d’accès concurrentiel.

Syntaxe

#include <future>

Notes

Remarque

Dans le code compilé à l’aide de /clr, cet en-tête est bloqué.

Un fournisseur asynchrone stocke le résultat d’un appel de fonction. Un objet de retour asynchrone est utilisé pour récupérer le résultat d’un appel de fonction. Un état asynchrone associé permet la communication entre un fournisseur asynchrone et un ou plusieurs objets de retour asynchrones.

Un programme ne crée pas directement les objets d’état asynchrone associé. Le programme crée un fournisseur asynchrone chaque fois qu’il en a besoin, puis il crée un objet de retour asynchrone qui partage son état asynchrone associé avec le fournisseur. Les fournisseurs asynchrones et les objets de retour asynchrones gèrent les objets qui contiennent leur état asynchrone associé partagé. Quand le dernier objet qui référence l’état asynchrone associé le libère, l’objet qui contient l’état asynchrone associé est détruit.

Un fournisseur asynchrone ou un objet de retour asynchrone qui n’a aucun état asynchrone associé est vide.

Un état asynchrone associé est prêt uniquement si son fournisseur asynchrone a stocké une valeur de retour ou une exception.

La fonction async de modèle et les modèles promise de classe et packaged_task sont des fournisseurs asynchrones. Les modèles future de classe et shared_future décrivent les objets de retour asynchrones.

Chacun des modèles promisede classe , futureet shared_future a une spécialisation pour le type void et une spécialisation partielle pour le stockage et la récupération d’une valeur par référence. Ces spécialisations diffèrent du modèle principal uniquement dans les signatures et la sémantique des fonctions qui stockent et récupèrent la valeur retournée.

Les modèles future de classe et shared_future ne bloquent jamais dans leurs destructeurs, sauf dans un cas qui est conservé pour la compatibilité descendante : Contrairement à tous les autres futurs, pour un future— ou le dernier shared_future— qui est attaché à une tâche démarrée avec std::async, le destructeur bloque si la tâche n’est pas terminée ; autrement dit, il bloque si ce thread n’a pas encore appelé .get() ou .wait() si la tâche est toujours en cours d’exécution. La note d’utilisation suivante a été ajoutée à la description du std::async projet de norme : « [Remarque : Si un futur obtenu à partir de std ::async est déplacé en dehors de l’étendue locale, un autre code qui utilise l’avenir doit être conscient que le destructeur de l’avenir peut bloquer le blocage de l’état partagé pour que l’état partagé devienne prêt.—note de fin] » Dans tous les autres cas, future et shared_future les destructeurs sont requis et sont garantis de ne jamais bloquer.

Members (Membres)

Classes

Nom	Description
future, classe	Décrit un objet de retour asynchrone.
future_error, classe	Décrit un objet d’exception qui peut être levé par des méthodes dont les types gèrent les objets future.
packaged_task, classe	Décrit un fournisseur asynchrone qui est un wrapper d’appel dont la signature d’appel est Ty(ArgTypes...). Son état asynchrone associé contient une copie de l’objet pouvant être appelé, ainsi que le résultat potentiel.
promise, classe	Décrit un fournisseur asynchrone.
shared_future, classe	Décrit un objet de retour asynchrone. Contrairement à un objet future, un fournisseur asynchrone peut être associé à un nombre quelconque d’objets shared_future.

Structures

Nom	Description
is_error_code_enum, structure	Spécialisation qui indique que future_errc est adapté au stockage d’un error_code.
uses_allocator, structure	Spécialisation qui contient toujours la valeur true.

Functions

Nom	Description
async	Représente un fournisseur asynchrone.
future_category	Retourne une référence à l’objet error_category qui caractérise les erreurs associées aux objets future.
make_error_code	Crée un error_code dont l’objet error_category caractérise les erreurs de future.
make_error_condition	Crée un error_condition dont l’objet error_category caractérise les erreurs de future.
swap	Échange l’état asynchrone associé d’un objet promise avec celui d’un autre.

Énumérations

Nom	Description
future_errc	Fournit des noms symboliques pour toutes les erreurs signalées par la classe future_error.
future_status	Fournit les noms symboliques pour les raisons qu’une fonction d’attente chronométrée peut retourner.
Lancement	Représente un type de masque de bits qui décrit les modes possibles pour la fonction de modèle async.

Voir aussi

Informations de référence sur les fichiers d’en-tête