Çfarë janë tipet conditional dhe mapped?

Question

Accepted Answer

Këto janë mjete të **programimit në nivel tipi** të TypeScript — ato llogarisin tipe të reja nga ato ekzistuese. ## Pse ka rëndësi Tipet e hartuar — transformo çdo veti Një tip i hartuar përsërit mbi çelësat e një tipi dhe transformon secilin: ```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]` kalon nëpër secilin çelës `K`; `T[K]` është tipi i vlerës të atij çelësi. Kështu zbatohen `Partial`, `Readonly` dhe `Required`. Mund të ri-hartëzoni çelësa dhe të shtoni modifikues (`-readonly`, `-?` i heqin ato). ## Tipet conditional — degëzim në një kusht ```ts type IsString = T extends string ? "yes" : "no"; type A = IsString; // "yes" type B = IsString; // "no" ``` `T extends U ? X : Y` është një if/else në nivel tipi. Me `infer` mund të *nxirrni* tipe brenda kushtit: ```ts type ElementOf = T extends (infer U)[] ? U : never; type E = ElementOf; // string ``` ## Kombinimi i tyre — një shembull real ```ts // Make only the function-valued properties optional type PartialMethods = { [K in keyof T]: T[K] extends Function ? T[K] | undefined : T[K]; }; ``` Tipet e hartuar gjithashtu **shpërndahen** mbi bashkimet në conditional, duke mundësuar transformime të fuqishme. ## Pse ka rëndësi Tipet e hartuar dhe conditional lejojnë bibliotekave të shprehin marrëdhënie të saktë tipesh — ato zbatojnë tipet e shërbimeve, fuqizojnë biblioteka të formularëve/vërtetimit, ndërtues të pyetjeve ORM dhe klientë API që nxjerrin forma përgjegjesh. Janë të përparuara, por të kuptimtarit i shpjegon *si* sistemi i tipeve i TypeScript mund të jetë kaq shprehës, dhe ju lejon të ndërtoni transformime tipesh të reutilizueshme në vend të shkrimit manual të varianteve.