Az általános típusok lehetővé teszik, hogy típussal paraméterezett, újrafelhasználható kódot írjon — egy "típusváltozó", amely akkor töltődik ki, amikor a kódot használja. Újrafelhasználást biztosítanak típusbiztonság elvesztése nélkül (az alternatíva, az any, elveszíti azt).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T egy helyőrző; TypeScript az argumentumból következtet rá, így a visszatérési típus pontos — first([1,2]) egy number-t ad vissza, nem any-t.
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]
Az általános típusok csaknem minden újrafelhasználható absztrakciót működtetnek a TypeScriptben: Array<T>, Promise<T>, Map<K,V>, React-ben a useState<T>, adatlehívási segédprogramok és gyűjtemények.
Lehetővé teszik, hogy egy implementáció sok típussal működjön, miközben megtartja a teljes típusinformációt végig — a bemeneti és kimeneti típusok közötti kapcsolat megmarad, nem törlődik.