Generic cho phép bạn viết code tái sử dụng được, được tham số hóa bởi một type — một "type variable" được điền vào khi code được sử dụng. Chúng mang lại khả năng tái sử dụng mà không mất type safety (giải pháp thay thế, any, sẽ làm mất nó).
(): { arr[]; }
first<T>(: T[]): T { arr[]; }
n = ([, , ]);
s = ([, ]);
T là một placeholder; TypeScript suy ra (infer) nó từ đối số, nên kiểu trả về rất chính xác — first([1,2]) trả về number, không phải any.
interface ApiResponse<T> { data: T; status: number; }
const res: ApiResponse<User> = await getUser(); // res.data là 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]
Generic hỗ trợ gần như mọi abstraction tái sử dụng trong TypeScript: Array<T>, Promise<T>, Map<K,V>, useState<T> của React, các tiện ích fetch dữ liệu, và các collection.
Chúng cho phép một triển khai duy nhất hoạt động với nhiều type trong khi vẫn bảo toàn đầy đủ thông tin type từ đầu đến cuối — mối quan hệ giữa kiểu đầu vào và đầu ra được giữ lại, không bị xóa bỏ.