I generics ti permettono di scrivere codice riutilizzabile parametrizzato da un tipo — una "variabile di tipo" riempita quando il codice viene utilizzato. Ti danno il riutilizzo senza perdere la type safety (l'alternativa, any, la perde).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T è un segnaposto; TypeScript lo deduce dall'argomento, quindi il tipo di ritorno è preciso — first([1,2]) restituisce un number, non any.
interface ApiResponse<T> { data: T; status: number; }
const res: ApiResponse<User> = await getUser(); // res.data is User
class Box<T> {
constructor(private value: T) {}
get(): T { return this.value; }
}
const box = new Box(123); // Box<number>
function pair<K, V>(k: K, v: V): [K, V] { return [k, v]; }
pair("id", 42); // [string, number]
I generics alimentano quasi ogni astrazione riutilizzabile in TypeScript: Array<T>, Promise<T>, Map<K,V>, useState<T> di React, utility di data-fetching e collezioni.
Consentono a un'implementazione di funzionare per molti tipi preservando le informazioni di tipo complete da capo a coda — la relazione tra i tipi di input e output viene mantenuta, non cancellata.