ટાઇપ નેરોઇંગ શું છે અને કોમ્પાઇલર તે કેવી રીતે કરે છે?

Question

Accepted Answer

**નેરોઇંગ** એ TypeScript ને વ્યાપક ટાઇપ (જેમ કે યુનિયન) ને કોડ શાખાની અંદર વધુ ચોક્કસ આ પર પર સંકુચિત કરવાની રીત છે, જે રানટાઇમ ચેક પર આધારિત છે. કોમ્પાઇલર નિયંત્રણ પ્રવાહને ટ્રૅક કરે છે અને તે અનુસાર ટાઇપને અપડેટ કરે છે.

```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
```

## ભેદભાવ યુનિયનો સુંદરતાથી સંકુચિત થાય છે

```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
  }
}
```

શેર કરેલ શાબ્દિક ક્ષેત્ર (`kind`) ને ચેક કરવું કોમ્પાઇલરને તમારી પાસે કયો વેરિયન્ટ છે તે બરાબર કહે છે, જે તે વેરિયન્ટના ગુણધર્મોને અનલૉક કરે છે.

## કસ્ટમ ગાર્ડ્સ નેરોઇંગને વિસ્તૃત કરે છે

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

## આ શા માટે મહત્વપૂર્ણ છે

નેરોઇંગ એ કે જે યુનિયન ટાઇપ્સને *ઉપયોગી* બનાવે છે — તે તમને ટાઇપ-ચોક્કસ સભ્યોને સુરક્ષિત રીતે ધરાવવાની મંજૂરી આપે છે માત્ર ટાઇપ સાબિત કર્યા પછી, રનટાઇમ ચેક્સને કમ્પાઇલ-ટાઇમ ગ્યારંટીમાં રૂપાંતરિત કરે છે.

યે `string | number`, `T | null`, અને ટેગ કરેલ સ્થિતિને નિયંત્રણમાં લેવાની પાછળ દૈનિક પદ્ધતિ છે.