Cas pratiques d’utilisation de infer : déballer les promesses
Déballez les types Promise, Array et les enveloppes personnalisées
Cas pratiques d’utilisation de infer : déballer les promesses est une leçon TypeScript Academy gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage TypeScript Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours TypeScript Academy comprend 4 leçons au total.
Le problème du retrait des enveloppes
Lorsque vous travaillez avec du code asynchrone, vous recevez souvent Promise et avez besoin du T sous-jacent. Le mot-clé infer rend cette extraction réutilisable.
type Awaited<T> = T extends Promise<infer U> ? U : T;
type A = Awaited<Promise<string>>; // string
type B = Awaited<number>; // numberUtilitaire Awaited intégré
TypeScript 4.5 a introduit Awaited, l’utilitaire intégré qui gère récursivement les promesses imbriquées.
type A = Awaited<Promise<Promise<string>>>; // string
// Handles arbitrary nesting automaticallyRetrait des enveloppes avec une profondeur personnalisée
Avant l’intégration d’Awaited, les développeurs utilisaient des types récursifs avec infer pour retirer les enveloppes des promesses.
type DeepAwaited<T> =
T extends Promise<infer U> ? DeepAwaited<U> : T;
type A = DeepAwaited<Promise<Promise<number>>>; // numberRetrait des enveloppes des éléments de tableaux
Le même modèle d’inférence extrait le type des éléments d’un tableau, ce qui équivaut à l’approche intégrée T[number].
type Element<T> = T extends (infer U)[] ? U : never;
type A = Element<string[]>; // string
type B = Element<number[]>; // numberRetrait des enveloppes des types observables
Pour les observables RxJS, l’inférence extrait le type émis.
type ObservableType<T> = T extends Observable<infer U> ? U : never;
type A = ObservableType<Observable<User>>; // UserRetrait de l’enveloppe du retour d’une fonction
Combinez ReturnType et Awaited pour obtenir la valeur résolue d’une fonction asynchrone.
async function getUser(): Promise<User> { /* ... */ }
type UserResult = Awaited<ReturnType<typeof getUser>>; // UserRetrait des enveloppes imbriquées
Vous pouvez enchaîner les inférences pour gérer des types enveloppés dans plusieurs couches, comme Promise.
type UnwrapPromiseArray<T> =
T extends Promise<infer U>
? U extends (infer V)[]
? V
: U
: T;
type A = UnwrapPromiseArray<Promise<User[]>>; // UserRetrait conditionnel selon la forme
Utilisez l’inférence pour retirer conditionnellement les enveloppes de certains types uniquement, en laissant les autres inchangés.
type MaybeUnwrap<T> =
T extends Promise<infer U> ? U : T extends (infer V)[] ? V : T;
type A = MaybeUnwrap<Promise<string>>; // string
type B = MaybeUnwrap<number[]>; // number
type C = MaybeUnwrap<boolean>; // booleanAdaptateur typé pour les requêtes d’API
Un adaptateur de requête générique qui renvoie le type de données résolu est une application classique du retrait d’enveloppes fondé sur l’inférence.
async function fetchData<T>(url: string): Promise<T> {
const res = await fetch(url);
return res.json() as T;
}
type UserData = Awaited<ReturnType<typeof fetchData<User>>>; // UserRetrait des enveloppes avec gestion sûre des erreurs
Le modèle Result combiné à l’inférence permet d’extraire le type de réussite d’une union discriminée.
type Ok<T> = { ok: true; value: T };
type Err = { ok: false; error: string };
type ExtractOk<T> = T extends Ok<infer V> ? V : never;
type A = ExtractOk<Ok<number> | Err>; // numberRécapitulatif : retrait des enveloppes avec l’inférence
Le mot-clé infer est l’outil polyvalent pour extraire des types d’enveloppes — promesses, tableaux, observables et types Result. L’utilitaire intégré Awaited gère le retrait des enveloppes asynchrones ; utilisez des types personnalisés pour les autres structures.
Vérification rapide
Quelle est la meilleure façon d’obtenir le type de la valeur résolue d’une fonction asynchrone ?
Ce que vous avez appris
Le retrait d’enveloppes fondé sur l’inférence est un outil pratique pour le code TypeScript asynchrone. Utilisez l’utilitaire intégré Awaited pour les promesses et créez des types personnalisés de retrait d’enveloppes pour les tableaux, les observables et les modèles Result.
Questions Fréquemment Posées
La leçon « Cas pratiques d’utilisation de infer : déballer les promesses » est-elle gratuite ?
Oui — le texte complet de « Cas pratiques d’utilisation de infer : déballer les promesses » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours TypeScript Academy, passe à CoddyKit PRO. Le cours TypeScript Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Cas pratiques d’utilisation de infer : déballer les promesses » ?
Déballez les types Promise, Array et les enveloppes personnalisées Tu pratiques TypeScript Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer TypeScript Academy ?
Aucune expérience préalable n'est requise. TypeScript Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.
Combien de temps prend la leçon « Cas pratiques d’utilisation de infer : déballer les promesses » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon TypeScript Academy ?
Oui. Chaque leçon TypeScript Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- Comprendre infer dans les types conditionnels
- Créer ReturnType et Parameters à partir de zéro
- Motifs de déduction profondément imbriqués
- Cas pratiques d’utilisation de infer : déballer les promesses