ما هو تضييق النوع (Type Narrowing) وكيف يقوم المترجم به؟

Question

Accepted Answer

**Narrowing** هو الطريقة التي يقوم بها 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
```

## الـ Discriminated 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
  }
}
```

فحص الحقل الحرفي المشترك (`kind`) يخبر المترجم بالضبط أي متغير لديك، مما يفتح خصائص ذلك المتغير.

## الحراسات المخصصة تمدد تضييق النوع

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

## لماذا هذا مهم

تضييق النوع هو ما يجعل أنواع union *قابلة للاستخدام* — فهو يسمح لك بالوصول الآمن إلى أعضاء محددة للنوع فقط بعد إثبات النوع، محولاً فحوصات وقت التشغيل إلى ضمانات وقت الترجمة.

هذه هي الآلية اليومية وراء التعامل مع `string | number` و `T | null` والحالات المستهدفة.