ਕੰਡੀਸ਼ਨਲ ਅਤੇ ਮੈਪਡ ਟਾਈਪਸ ਕੀ ਹਨ?

Question

Accepted Answer

ਇਹ TypeScript ਦੀਆਂ **type-level programming** ਟੂਲਸ ਹਨ — ਇਹ ਮੌਜੂਦਾ ਸਮੂਹਾਂ ਤੋਂ ਨਵੀਆਂ ਟਾਈਪਸ ਦੀ ਗਣਨਾ ਕਰਦੇ ਹਨ। ## ਕਿਉਂ ਇਹ ਮਹੱਤਵਪੂਰਨ ਹੈ Mapped types — ਹਰ ਜਾਇਦਾਦ ਨੂੰ ਤਬਦੀਲ ਕਰਦਾ ਹੈ ਇੱਕ mapped type ਕਿਸੇ ਟਾਈਪ ਦੀਆਂ ਕੁੰਜੀਆਂ ਨੂੰ ਦੁਹਰਾਉਂਦਾ ਹੈ ਅਤੇ ਹਰ ਇੱਕ ਨੂੰ ਤਬਦੀਲ ਕਰਦਾ ਹੈ: ```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` ਇੱਕ type-level 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 types ਵੀ conditionals ਵਿੱਚ unions ਉੱਤੇ **distribute** ਹੁੰਦੇ ਹਨ, ਸ਼ਕਤੀਸ਼ਾਲੀ ਪਰਿਵਰਤਨ ਨੂੰ ਸਮਰੱਥ ਬਣਾਉਂਦੇ ਹਨ। ## ਕਿਉਂ ਇਹ ਮਹੱਤਵਪੂਰਨ ਹੈ Mapped ਅਤੇ conditional types ਲਾਇਬ੍ਰੇਰੀਆਂ ਨੂੰ ਸਹੀ ਟਾਈਪ ਸਬੰਧਾਂ ਨੂੰ ਪ੍ਰਗਟ ਕਰਨ ਦਿੰਦੇ ਹਨ — ਉਹ utility types ਲਾਗੂ ਕਰਦੇ ਹਨ, form/validation ਲਾਇਬ੍ਰੇਰੀਆਂ, ORM query builders, ਅਤੇ API clients ਨੂੰ ਸ਼ਕਤੀ ਦਿੰਦੇ ਹਨ ਜੋ response shapes ਕਢਦੇ ਹਨ। ਉਹ ਬਿਆਸਨ ਹਨ, ਪਰ ਉਹਨਾਂ ਨੂੰ ਸਮਝਣਾ *ਕਿਵੇਂ* TypeScript ਦੀ ਟਾਈਪ ਸਿਸਟਮ ਇਸ ਕਦਰ ਪ੍ਰਗਟ ਹੋ ਸਕਦੀ ਹੈ ਇਸ ਦੀ ਵਿਆਖਿਆ ਕਰਦਾ ਹੈ, ਅਤੇ ਤੁਹਾਨੂੰ ਸਵੈ-ਲਿਖੀ ਭਿੰਨਤਾਵਾਂ ਦੀ ਬਜਾਏ ਪੁਨਰ-ਯੋਗ ਟਾਈਪ ਪਰਿਵਰਤਨ ਬਣਾਉਣ ਦੇਣ ਦਿੰਦਾ ਹੈ।