Apa itu tipe bersyarat dan tipe bermeta?

Question

Accepted Answer

Ini adalah **alat pemrograman tingkat-tipe** TypeScript — mereka menghitung tipe baru dari yang sudah ada. ## Tipe bermeta — ubah setiap properti Tipe bermeta melakukan iterasi pada kunci tipe dan mengubah masing-masing: ```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]` melakukan loop pada setiap kunci `K`; `T[K]` adalah tipe nilai kunci tersebut. Ini adalah cara `Partial`, `Readonly`, dan `Required` diimplementasikan. Anda juga dapat memetakan ulang kunci dan menambahkan pengubah (`-readonly`, `-?` menghapusnya). ## Tipe bersyarat — cabang berdasarkan kondisi ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` adalah if/else tingkat-tipe. Dengan `infer` Anda dapat *mengekstrak* tipe dalam kondisi: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Menggabungkannya — contoh nyata ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Tipe bermeta juga **didistribusikan** di atas union dalam kondisi, memungkinkan transformasi yang kuat. ## Mengapa ini penting Tipe bermeta dan bersyarat memungkinkan perpustakaan untuk mengekspresikan hubungan tipe yang presisi — mereka mengimplementasikan tipe utilitas, memberdayakan perpustakaan formulir/validasi, pembangun kueri ORM, dan klien API yang menyimpulkan bentuk respons. Mereka canggih, tetapi memahami mereka menjelaskan *bagaimana* sistem tipe TypeScript bisa sangat ekspresif, dan memungkinkan Anda membangun transformasi tipe yang dapat digunakan kembali daripada menulis varian dengan tangan.