நிபந்தனை வகைகள் மற்றும் வரைபடமாறிய வகைகள் என்றால் என்ன?

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 இன் வகை அமைப்பு மிகவும் வெளிப்படுத்த முடியும் என்பதை விளக்குகிறது, மேலும் நீங்கள் கைகளால் எழுதப்பட்ட மாறுபாடுகளுக்கு பதிலாக மறுபயன்படுத்தக்கூடிய வகை மாற்றங்களை உருவாக்க அனுமதிக்கிறது.