Generics stellen je in staat herbruikbare code te schrijven die geparametriseerd is door een type — een "typevariabele" die wordt ingevuld wanneer de code wordt gebruikt. Ze geven je hergebruik zonder typeveiligheid te verliezen (het alternatief, any, verliest het).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T is een placeholder; TypeScript leidt het af uit het argument, dus het retourtype is nauwkeurig — first([1,2]) geeft een number, niet 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]
Generics geven kracht aan vrijwel elke herbruikbare abstractie in TypeScript: Array<T>, Promise<T>, Map<K,V>, useState<T> van React, data-fetching utilities en collecties.
Ze stellen één implementatie in staat voor veel typen te werken, terwijl de volledige typeinformatie van begin tot eind behouden blijft — de relatie tussen invoer- en uitvoertypen wordt bewaard, niet gewist.