பொதுமையான தடைகள் என்றால் என்ன?

Question

Accepted Answer

A **generic constraint** (`T extends ...`) ஒரு பொதுமையான அளவுரு என்ன வகைகளாக இருக்கலாம் என்பதைக் கட்டுப்படுத்துகிறது, இதனால் நீங்கள் அதன் மீது சில பண்புகள் அல்லது முறைகளைப் பாதுகாப்பாகப் பயன்படுத்தலாம். ஒரு தடை இல்லாமல், ஒரு பொதுமையான *எதுவாகவும்* இருக்கலாம், எனவே இது எந்த உறுப்பினர்களைக் கொண்டுள்ளது என்று நீங்கள் கருத முடியாது. ```ts // ❌ without a constraint, you can't access .length — T might be a number function longestBad(a: T, b: T) { return a.length > b.length ? a : b; // Error: 'length' does not exist on 'T' } // ✅ constrain T to things that HAVE a length function longest(a: T, b: T): T { return a.length > b.length ? a : b; } longest("abc", "de"); // ✅ strings have length longest([1, 2], [3]); // ✅ arrays have length longest(1, 2); // ❌ numbers have no length ``` தடை ஒரு *வாக்குறுதி*: "`T` எப்போதும் குறைந்தபட்சம் இந்த வடிவத்தைக் கொண்டிருக்கும்," இது `.length` ஐ அनुमति দேய்க்க சंकलक அनுமति देते समे `T` ஐ துல்லியமாக வைத்திருக்கிறது (திரும்பக் கொடுக்கப்படும் வகை உண்மையான வரிசை/சரத் வகை, தடை அல்ல). ## விசைகளுக்கு கட்டுப்படுத்துதல் (மிகவும் பொதுவானது) ```ts function pluck(obj: T, key: K): T[K] { return obj[key]; } ``` `K extends keyof T` `key` `obj` இன் உண்மையான சொத்து என்பதை உறுதிப்படுத்துகிறது — மற்றும் `T[K]` அதன் சரியான வகையை வழங்குகிறது. ## முன்னிருப்பு வகை அளவுருக்கள் ```ts interface Box { value: T; } // T defaults to string if not specified ``` ## ஏன் இது முக்கியமாக இருக்கிறது தடைகள் நெகிழ்வுத்தன்மை மற்றும் பாதுகாப்பிற்கான ভারসாம்য: அவை பொதுமையான குறியீட்டு குறைந்தபட்ச வடிவத்தில் (`.length` உள்ளது, விசை `K` உள்ளது, சில அடிப்படைகளை நீட்டிக்கிறது) நம்பிக்கை கொள்ள அனுமति देய, அதே நேரத்தில் அழைப்பாளரின் குறிப்பிட்ட வகையைப் பாதுகாக்கிறது. அவை பயன்பாட்டு செயல்பாடுகள், வகை-பாதுகாப்பான பொருள் அணுகல் மற்றும் அதன் வகை அளவுருவில் *ஏதாவது செய்ய* வேண்டிய எந்த பொதுமைக்கும் அপরிहार्য.