શરતી અને મેપ કરેલ પ્રકારો શું છે?

Question

Accepted Answer

આ TypeScript ના **પ્રકાર-સ્તરીય પ્રોગ્રામિંગ** સાધનો છે — તે હાલના લોકોમાંથી નવા પ્રકારોની ગણતરી કરે છે। ## મેપ કરેલ પ્રકારો — દરેક ગુણધર્મને પરિવર્તિત કરો મેપ કરેલ પ્રકાર પ્રકારની કીઓ પર પુનરાવર્તિત થાય છે અને દરેકને રૂપાંતરિત કરે છે: ```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`, `-?` તેમને દૂર કરે છે). ## શરતી પ્રકારો — શરત પર આધારિત શાખા ```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]; }; ``` મેપ કરેલ પ્રકારો શરતી હોવામાં પણ union પર **વિતરિત** થાય છે, શક્તિશાળી રૂપાંતરણો સક્ષમ કરે છે. ## તે શા માટે મહત્વપૂર્ણ છે મેપ કરેલ અને શરતી પ્રકારો લાઇબ્રેરીઓને ચોક્કસ પ્રકારના સંબંધો વ્યક્ત કરવાની મંજૂરી આપે છે — તે ઉપયોગી પ્રકારો અમલમાં આવે છે, ફોર્મ/માન્યતા લાઇબ્રેરીઓને શક્તિ આપે છે, ORM ક્વેરી બિલ્ડર્સ અને API ક્લાયન્ટ્સ જે પ્રતિક્રિયા આકાર અનુમાન કરે છે. તે અદ્વિતીય છે, પરંતુ તેમને સમજવાથી *કેવી રીતે* TypeScript ની ટાઇપ સિસ્ટમ એટલી અભિવ્યક્તિશીલ હોઈ શકે છે તે સમજાય છે, અને તે તમને હાથથી લખાયેલ વેરિએન્ટ્સ બદલે પુનઃઉપયોગ્ય પ્રકાર રૂપાંતરણો બનાવવાની મંજૂરી આપે છે.