Pattern di inferenza profondamente annidati
Applichi infer ricorsivamente per estrarre tipi complessi.
Pattern di inferenza profondamente annidati è una lezione TypeScript Academy gratuita su CoddyKit. Questa è la lezione 3 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento TypeScript Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso TypeScript Academy include 4 lezioni in totale.
Perché l'inferenza profonda?
A volte il tipo desiderato è nascosto all'interno di diversi livelli di generici. L'inferenza profonda utilizza tipi condizionali ricorsivi o concatenati per raggiungerlo.
type DeepUnwrap<T> =
T extends Promise<infer U>
? DeepUnwrap<U>
: T;
type A = DeepUnwrap<Promise<Promise<string>>>; // stringTipi condizionali ricorsivi
TypeScript 4.1+ supporta i tipi condizionali ricorsivi, consentendo di rimuovere i livelli di wrapper uno alla volta.
type Flatten<T> = T extends Array<infer U> ? Flatten<U> : T;
type B = Flatten<string[][][]>; // stringInferenza da generici annidati
È possibile concatenare più variabili infer in una singola clausola extends per acquisire contemporaneamente diversi livelli.
type InnerValue<T> =
T extends Map<any, infer V>
? V extends Set<infer S>
? S
: V
: T;
type C = InnerValue<Map<string, Set<number>>>; // numberTipi di proprietà profonde degli oggetti
I tipi ricorsivi possono attraversare le forme degli oggetti per estrarre i tipi delle proprietà profondamente annidate.
type DeepGet<T, K extends keyof T> =
T[K] extends object ? T[K] : never;
type Nested = { user: { profile: { name: string } } };
type Profile = DeepGet<Nested, "user">; // { profile: { name: string } }Estrarre in profondità i tipi degli elementi degli array
Combinare la rimozione ricorsiva dei wrapper con la gestione degli array consente di gestire qualsiasi profondità di annidamento.
type ElementType<T> = T extends (infer U)[] ? ElementType<U> : T;
type D = ElementType<number[][][]>; // numberRicorsione in coda sulle tuple
La manipolazione delle tuple con ricorsione in coda è un pattern comune per le pipeline con sicurezza dei tipi e per i tipi di composizione delle funzioni.
type Last<T extends any[]> =
T extends [...infer _, infer L] ? L : never;
type E = Last<[1, 2, 3]>; // 3Limiti di profondità e considerazioni pratiche
TypeScript limita la profondità della ricorsione per impedire i cicli infiniti. Mantenga la ricorsione poco profonda e, quando necessario, consideri di imporre un limite utilizzando un contatore di profondità.
// Deep recursion may hit "Type instantiation is excessively deep"
// Simplify or use branded types to break deep chainsInferenza nella distribuzione delle unioni
Quando T è un'unione, i tipi condizionali vengono distribuiti: ogni membro viene confrontato separatamente e i risultati vengono uniti in un'unione.
type Unwrap<T> = T extends Promise<infer U> ? U : T;
type F = Unwrap<Promise<string> | Promise<number> | boolean>;
// string | number | booleanInferenza di tuple rest
I pattern di tuple rest con infer consentono la decomposizione testa/coda e la manipolazione variadica dei tipi.
type Init<T extends any[]> =
T extends [...infer I, any] ? I : never;
type G = Init<[1, 2, 3, 4]>; // [1, 2, 3]Esempio reale: risposta API annidata
Il tipo di una risposta API annidata può essere aperto fino al tipo dei dati utilizzando infer concatenati.
type ApiResponse<T> = { data: T; status: number };
type UnwrapApi<T> = T extends ApiResponse<infer D> ? D : T;
type H = UnwrapApi<ApiResponse<{ users: string[] }>>; // { users: string[] }Riepilogo: inferenza profonda
L'inferenza profonda combina tipi condizionali ricorsivi, più variabili infer e la corrispondenza di pattern strutturali per estrarre tipi da strutture generiche annidate a profondità arbitraria.
Verifica rapida
Che cosa restituisce Flatten se Flatten?
Cosa ha imparato
L'inferenza da strutture profondamente annidate utilizza tipi condizionali ricorsivi e pattern infer concatenati per raggiungere i tipi nascosti all'interno di più wrapper generici. Limiti la ricorsione per evitare di superare i limiti di profondità di TypeScript.
Domande Frequenti
La lezione «Pattern di inferenza profondamente annidati» è gratuita?
Sì — il testo completo di «Pattern di inferenza profondamente annidati» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso TypeScript Academy, passa a CoddyKit PRO. Il corso TypeScript Academy include 4 lezioni in totale.
Cosa imparerò in «Pattern di inferenza profondamente annidati»?
Applichi infer ricorsivamente per estrarre tipi complessi. Eserciti TypeScript Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.
Ho bisogno di esperienza per iniziare TypeScript Academy?
Non è richiesta alcuna esperienza precedente. TypeScript Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 3 di 4.
Quanto tempo richiede la lezione «Pattern di inferenza profondamente annidati»?
La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.
Posso scrivere ed eseguire codice in questa lezione TypeScript Academy?
Sì. Ogni lezione TypeScript Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.
Tutte le lezioni di questo corso
- Comprendere infer nei tipi condizionali
- Creazione da zero di ReturnType e Parameters
- Pattern di inferenza profondamente annidati
- Casi d'uso pratici di infer: rimozione dei wrapper Promise