Conditional types และ Mapped types คืออะไร

Question

Accepted Answer

สิ่งเหล่านี้คือ **เครื่องมือการเขียนโปรแกรมระดับประเภท** ของ TypeScript — พวกมันคำนวณประเภทใหม่จากประเภทที่มีอยู่ ## Mapped types — เปลี่ยนแปลงแต่ละคุณสมบัติ ประเภท mapped จะวนซ้ำคีย์ของประเภทและเปลี่ยนแปลงแต่ละคีย์: ```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]` วนซ้ำคีย์ `K` แต่ละคีย์; `T[K]` คือประเภทค่าของคีย์นั้น นี่คือวิธีการใช้งาน `Partial`, `Readonly` และ `Required` มีการติดตั้ง คุณยังสามารถแม็พคีย์ใหม่และเพิ่มตัวปรับแต่ง (`-readonly`, `-?` ลบออก) ## Conditional types — แตกแขนงตามเงื่อนไข ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` คือ if/else ระดับประเภท ด้วย `infer` คุณสามารถ *แยก* ประเภทภายในเงื่อนไข: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## การรวมพวกมันเข้าด้วยกัน — ตัวอย่างจริง ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` ประเภท mapped ยังทำให้ **กระจาย** มากกว่า unions ในเงื่อนไข ซึ่งช่วยให้สามารถเปลี่ยนแปลงที่ทรงพลัง ## ทำไมจึงสำคัญ ประเภท mapped และ conditional ช่วยให้ไลบรารีสามารถแสดงความสัมพันธ์ประเภทที่แม่นยำ — พวกมันใช้ประเภท utility ให้ใช้ได้ ไลบรารีการตรวจสอบแบบฟอร์ม ตัวสร้างคำค้นหา ORM และไคลเอนต์ API ที่สามารถระบุรูปร่างของการตอบกลับ พวกมันมีความเจริญขั้นสูง แต่การทำความเข้าใจพวกมันจะอธิบายให้เห็นว่า *อย่างไร* ระบบประเภท TypeScript จึงสามารถแสดงออกได้อย่างมาก และช่วยให้คุณสามารถสร้างการเปลี่ยนแปลงประเภทที่นำกลับมาใช้ใหม่ได้แทนที่จะเขียนรูปแบบด้วยมือ