நிபந்தனை வகைகள் மற்றும் அனுமானம்

பரம்பரை உறவுகளின் அடிப்படையில் அற்பமான வகை முடிவுகளை வெளிப்படுத்த நிபந்தனை வகைகள் உங்களை அனுமதிக்கின்றன. தொடரியல் ஜாவாஸ்கிரிப்ட்டின் மும்மை ஆபரேட்டரை ஒத்திருக்கிறது:

T extends U ? X : Y

T வகை Uக்கு ஒதுக்கப்பட்டால், அதன் விளைவாக வரும் வகை X ஆக இருக்கும், இல்லையெனில் அது Y ஆக இருக்கும்.

அடிப்படை நிபந்தனை வகைகள்

ஒரு நிபந்தனை வகை தொகுக்கும் நேரத்தில் ஒரு நிபந்தனையை மதிப்பிடுகிறது:

type IsNumber<T> = T extends number ? true : false;

type A = IsNumber<number>; // true
type B = IsNumber<string>; // false

நெகிழ்வான மற்றும் ஆற்றல்மிக்க பயன்பாட்டு வகைகளை உருவாக்க, ஜெனரிக்ஸுடன் இணைந்து இந்த முறை மிகவும் சக்தி வாய்ந்தது.

infer உடன் பிரித்தெடுத்தலைத் தட்டச்சு செய்க

ஒரு நிபந்தனை வகையின் extends உட்பிரிவின் உள்ளே, கம்பைலரால் அனுமானிக்கப்படும் வகை மாறியை அறிவிக்க நாம் infer முக்கிய சொல்லைப் பயன்படுத்தலாம்.

எடுத்துக்காட்டாக, ஒரு செயல்பாட்டின் திரும்பும் வகையைப் பிரித்தெடுக்க விரும்பினால்:

type GetReturnType<T> = T extends (...args: any[]) => infer R ? R : never;

type ExampleFunction = () => string;
type Return = GetReturnType<ExampleFunction>; // string

இந்த எடுத்துக்காட்டில், infer R, செயல்பாட்டின் திரும்பும் வகையைத் தானாகக் கண்டறிந்து, நிபந்தனையின் நேர்மறைக் கிளையில் R ஆகக் கிடைக்கும்படி டைப்ஸ்கிரிப்டைச் சொல்கிறது.

நீங்களே முயற்சி செய்து பாருங்கள்

பயிற்சி 1: IsString வகை

பயிற்சி 2: infer உடன் ஒரு வரிசையிலிருந்து ஒரு வகையைப் பிரித்தெடுத்தல்