நகல் வகையுநிறுவனமை என்றால் என்ன மற்றும் கம்பைலர் அதை எவ்வாறு செய்கிறது?

Question

Accepted Answer

**நகல் வகையுநிறுவனமை** என்பது TypeScript ஒரு பரந்த வகையை (union போன்றவை) ஒரு குறியீட்டு கிளையிற்குள் மிகவும் குறிப்பிட்ட வகையாக குறுக்கிக் கொள்ளும் முறை ஆகும், இயக்ககால சரிபார்ப்புகளின் அடிப்படையில். கம்பைலர் கட்டுப்பாட்டு ஓட்டத்தை ट్ರ్యాక్ చేస్తుంది మరియు అందువల్ల వకిలను నవీకరిస్తుంది.

```ts
function process(x: string | number) {
  if (typeof x === "string") {
    x.toUpperCase(); // ✅ here x is narrowed to string
  } else {
    x.toFixed(2);    // ✅ here x must be number
  }
}
```

## நகல் வகையுநிறுவனமை கருவிகள்

```ts
typeof x === "string"          // typeof guard — for primitives
x instanceof Date              // instanceof — for classes
"role" in obj                  // in operator — property existence
Array.isArray(x)               // built-in guards
if (x) { ... }                  // truthiness narrows out null/undefined/0/""
if (x === null) { ... }         // equality narrowing
```

## வேறுபடுத்தப்பட்ட unions깨끗하게நகல் வகையுநிறுவனమை செய்கின்றன

```ts
type Shape =
  | { kind: "circle"; r: number }
  | { kind: "square"; side: number };

function area(s: Shape) {
  switch (s.kind) {            // the discriminant
    case "circle": return Math.PI * s.r ** 2;  // s is the circle variant
    case "square": return s.side ** 2;          // s is the square variant
  }
}
```

பகிரப்பட்ட literal புல (`kind`) ஐ சரிபார்ப்பது கம்பைலரকு துல்லியமாக எந்த மாறுபாட்டை நீங்கள் வைத்திருக்கிறீர்கள் என்பதைக் கூறுகிறது, அந்த மாறுபாட்டின் பண்புகளை திறக்கிறது.

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

```ts
function isUser(x: unknown): x is User { return !!x && typeof (x as any).name === "string"; }
```

## ஏன் இது முக்கியமாக உள்ளது

நகல் வகையுநிறுவனமை union வகைகளை *பயன்படுத்தக்கூடியதாக* செய்கிறது — இது வகையை நிரூபித்த பிறகுமட்டுமே வகை-குறிப்பிட்ட உறுப்பினர்களை பாதுகாப்பாக அணுக அনுமதிக்கிறது, இயக்ககால சரிபார்ப்புகளை தொகுப்பு-நேர உத்தரவாதங்களாக மாற்றுகிறது.

இது `string | number`, `T | null`, மற்றும் குறிப்பிடப்பட்ட நிலையைக் கையாள்வதற்கான தினசரி பொறிமுறை ஆகும்.