షరతులతో కూడిన రకాలు మరియు మ్యాప్ చేయబడిన రకాలు ఏమిటి?

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]; }; ``` మ్యాప్ చేయబడిన రకాలు షరతులలో unions పై కూడా **పంపిణీ** చేస్తాయి, శక్తివంతమైన రూపాంతరాలను ప్రారంభిస్తాయి. ## ఇది ఎందుకు ముఖ్యమైనది మ్యాప్ చేయబడిన మరియు షరతులతో కూడిన రకాలు లైబ్ररీలను ఖచ్చితమైన రకం సంబంధాలను వ్యక్త చేయడానికి అనుమతిస్తాయి — అవి యూటిలిటీ రకాలను, ఫారమ్/ధృవీకరణ లైబ్రరీలను, ORM క్యూరీ బిల్డర్‌లను, మరియు API క్లయింట్‌లను అందిస్తాయి, అవి ప్రతిస్పందన ఆకృతులను తీసుకుంటాయి. వాటి అధునాతనమైనవి, కానీ అవगాహన చేయడం *ఎలా* TypeScript యొక్క రకం వ్యవస్థ చాలా వ్యక్తీకరణీయమైనది అని వివరిస్తుంది, మరియు మీరు చేతిలో వ్రాసిన వేరియంట్‌ల బదులుగా పునర్వినియోగం చేయగల రకం రూపాంతరాలను నిర్మించడానికి మిమ్మల్ని అనుమతిస్తుంది.