ਟਾਈਪ ਨੈਰੋਇੰਗ ਕੀ ਹੈ ਅਤੇ ਕੰਪਾਇਲਰ ਇਹ ਕਿਵੇਂ ਕਰਦਾ ਹੈ?

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

ਸਾਂਝੀ literal ਖੇਤ (`kind`) ਨੂੰ ਚੈਕ ਕਰਨਾ ਕੰਪਾਇਲਰ ਨੂੰ ਬਿਲਕੁਲ ਦੱਸਦਾ ਹੈ ਕਿ ਤੁਹਾਡੇ ਕੋਲ ਕਿਹੜਾ ਵੇਰੀਐਂਟ ਹੈ, ਉਸ ਵੇਰੀਐਂਟ ਦੀਆਂ ਸੰਪੱਤੀਆਂ ਨੂੰ ਅਨਲੌਕ ਕਰਦਾ ਹੈ।

## ਕਸਟਮ ਗਾਰਡਜ਼ ਨੈਰੋਇੰਗ ਨੂੰ ਵਧਾਉਂਦੇ ਹਨ

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

## ਕਿਉਂ ਇਹ ਮਹੱਤਵਪੂਰਨ ਹੈ

ਨੈਰੋਇੰਗ ਉਹ ਹੈ ਜੋ ਯੂਨੀਅਨ ਟਾਈਪਾਂ ਨੂੰ *ਵਰਤਣਯੋਗ* ਬਣਾਉਂਦਾ ਹੈ — ਇਹ ਤੁਹਾਨੂੰ ਟਾਈਪ ਨੂੰ ਸਾਬਤ ਕਰਨ ਤੋਂ ਬਾਅਦ ਹੀ ਸੁਰੱਖਿਆ ਨਾਲ ਟਾਈਪ-ਖਾਸ ਮੈਂਬਰਾਂ ਤਕ ਪਹੁੰਚ ਕਰਨ ਦਿੰਦਾ ਹੈ, ਰਨਟਾਈਮ ਚੈਕਾਂ ਨੂੰ ਕੰਪਾਇਲ-ਟਾਈਮ ਗ੍ਰੀਨਨੰਟੀਜ਼ ਵਿੱਚ ਬਦਲ ਦਿੰਦਾ ਹੈ।

ਇਹ `string | number`, `T | null`, ਅਤੇ tagged state ਨੂੰ ਸੰਭਾਲਣ ਦੇ ਪਿੱਛੇ ਰੋਜ਼ਾਨਾ ਦਾ ਮਕੈਨਿਜ਼ਮ ਹੈ।