Mapped types là gì? Modifier `+/-` và key remapping `as`

Ví dụ

main.ts · sửa được▶ Chạy

type Nullable<T> = { [K in keyof T]: T[K] | null }; type Mutable<T> = { -readonly [K in keyof T]: T[K] }; type OnlyStrings<T> = { [K in keyof T as T[K] extends string ? K : never]: T[K]; }; type Person = { readonly id: number; name: string; age: number }; const a: Nullable<Person> = { id: null, name: "An", age: null }; const b: Mutable<Person> = { id: 1, name: "B", age: 2 }; b.id = 5; // hợp lệ nhờ -readonly const c: OnlyStrings<Person> = { name: "C" }; // chỉ còn key kiểu string console.log(a, b, c);

• keyof T lấy union các key; K in ... lặp qua union đó; T[K] là kiểu value.
• Modifier: -? biến optional thành bắt buộc (như Required), -readonly bỏ readonly, + là mặc định.
• Key remapping (TS 4.1): mệnh đề as cho phép đổi tên (kết hợp template literal như get${Capitalize<K>}) hoặc lọc key bằng never.
• Mapped type trên union/mảng/tuple dạng homomorphic (keyof T trực tiếp) giữ modifier và ánh xạ từng phần tử của tuple.