Generiikka antavat sinulle mahdollisuuden kirjoittaa uudelleenkäytettävää koodia, joka on parametrisoitu tyypin perusteella — "tyyppivariabeli", joka täytetään koodia käytettäessä. Ne antavat sinulle uudelleenkäytettävyyden ilman tyyppiturvallisuuden menetystä (vaihtoehto, any, menettää sen).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T on paikanpitäjä; TypeScript päättelee sen argumentista, joten palautustyyppi on tarkka — first([1,2]) antaa number-arvon, ei any-arvoa.
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]
Generiikka ajaa lähes kaikkea uudelleenkäytettävää abstraktiota TypeScriptissä: Array<T>, Promise<T>, Map<K,V>, Reactin useState<T>, tietohakemistojen apuohjelmat ja kokoelmat.
Ne antavat yhden toteutuksen toimia monille tyypeille samalla kun täydellisten tietotyyppien tieto säilytetään alusta loppuun — suhde syöttö- ja tulostyyppien välillä säilytetään, sitä ei poisteta.