ما هو نوع never وكيف يمكنه تفعيل فحوصات exhaustiveness؟

Question

Accepted Answer

`never` هو نوع القيم التي **لا تحدث أبداً** — دالة لا تعود أبداً (تطرح استثناء أو تدخل في حلقة لا نهائية)، أو فرع أثبت المترجم أنه مستحيل. إنه النوع *الفارغ*: لا توجد قيمة يمكن إسنادها إلى `never` (باستثناء `never` نفسه).

```ts
function fail(msg: string): never { throw new Error(msg); } // never returns
function loop(): never { while (true) {} }
```

## لماذا never مفيد: فحص exhaustiveness

عندما تضيق اتحاد نوع إلى اللا شيء، يكتب TypeScript القيمة المتبقية كـ `never`. تستغل هذا لفرض معالجة كل حالة:

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

function area(s: Shape): number {
  switch (s.kind) {
    case "circle": return Math.PI * s.r ** 2;
    case "square": return s.side ** 2;
    default:
      // if all cases are handled, s is `never` here — assignment OK
      const _exhaustive: never = s;
      return _exhaustive;
  }
}
```

الآن إذا أضاف شخص ما `{ kind: "triangle"; ... }` إلى `Shape` لكنه نسي حالة، فإن `s` في الحالة الافتراضية هي نوع المثلث (وليس `never`)، لذا `const _exhaustive: never = s` **يفشل في التجميع** — مما يشير إليك بالضبط switch الذي يحتاج إلى تحديث.

## never مقابل void

```ts
function a(): void {}   // returns normally, just no value
function b(): never { throw "x"; } // never returns at all
```

## لماذا يعتبر مهماً

`never` يحول "هل تعاملت مع كل حالة؟" من أمل في الوقت الفعلي إلى ضمان في وقت التجميع.

إنها المفتاح للمعالجة الآمنة والمستقبلية للاتحادات المميزة — أضف متغيراً والمترجم يعدد كل مكان يجب عليك تحديثه.