Conditional type và mapped type là gì?

Question

Accepted Answer

Đây là các công cụ **lập trình ở cấp độ type (type-level programming)** của TypeScript — chúng tính toán ra các type mới từ các type hiện có. ## Mapped type — biến đổi từng property Một mapped type lặp qua các key của một type và biến đổi từng key: ```ts type ReadonlyAll = { readonly [K in keyof T]: T[K] }; type Optional = { [K in keyof T]?: T[K] }; interface User { id: number; name: string; } type RO = ReadonlyAll; // { readonly id: number; readonly name: string } ``` `[K in keyof T]` lặp qua từng key `K`; `T[K]` là kiểu giá trị của key đó. Đây chính là cách `Partial`, `Readonly`, và `Required` được triển khai. Bạn cũng có thể remap các key và thêm modifier (`-readonly`, `-?` để loại bỏ chúng). ## Conditional type — rẽ nhánh dựa trên một điều kiện ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` là một if/else ở cấp độ type. Với `infer`, bạn có thể *trích xuất* các type bên trong điều kiện: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Kết hợp chúng — một ví dụ thực tế ```ts // Chỉ làm cho các property có giá trị là function trở thành optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapped type cũng **phân phối (distribute)** trên các union trong conditional, mở ra các phép biến đổi mạnh mẽ. ## Tại sao điều này quan trọng Mapped type và conditional type cho phép các thư viện biểu đạt các mối quan hệ type chính xác — chúng triển khai các utility type, hỗ trợ các thư viện form/validation, các query builder của ORM, và các API client suy ra được shape của response. Chúng nâng cao, nhưng việc hiểu chúng giải thích *làm thế nào* hệ thống type của TypeScript lại có thể giàu biểu đạt đến vậy, và cho phép bạn xây dựng các phép biến đổi type tái sử dụng thay vì viết tay từng biến thể.