Apakah itu conditional types dan mapped types?

Question

Accepted Answer

Ini ialah alat **pengaturcaraan peringkat-jenis** TypeScript — ia mengira jenis baharu daripada jenis sedia ada. ## Mapped types — mengubah setiap sifat Sebuah mapped type mengulang melalui kunci sesuatu jenis dan mengubah setiap satunya: ```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]` mengulang setiap kunci `K`; `T[K]` ialah jenis nilai bagi kunci tersebut. Inilah cara `Partial`, `Readonly`, dan `Required` dilaksanakan. Anda juga boleh memetakan semula kunci dan menambah pengubah suai (`-readonly`, `-?` membuangnya). ## Conditional types — bercabang berdasarkan syarat ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` ialah if/else peringkat-jenis. Dengan `infer` anda boleh *mengekstrak* jenis di dalam syarat tersebut: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Menggabungkannya — satu contoh sebenar ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Mapped types juga **mengagih** ke atas union dalam conditional, membolehkan transformasi yang berkuasa. ## Mengapa ia penting Mapped types dan conditional types membolehkan pustaka menyatakan hubungan jenis yang tepat — ia melaksanakan utility types, menggerakkan pustaka borang/pengesahan, pembina kueri ORM, dan klien API yang menyimpulkan bentuk respons. Ia lanjutan, tetapi memahaminya menerangkan *bagaimana* sistem jenis TypeScript boleh begitu ekspresif, dan membolehkan anda membina transformasi jenis yang boleh diguna semula dan bukannya menulis varian secara manual.