تغطية كل الحالات

قد يغطّي switch اليوم كل حالات الاتحاد، ثم يضيف زميلك غدًا حالة جديدة فيبتلعها default بصمت، فلا يظهر خطأ ولا تحذير، وتصير رسوم كل دفعة بالمحفظة صفرًا.

المترجم يضيّق النوع مع كل case، فإذا غطّيت الحالات كلها لم يبقَ شيء، وصار نوع القيمة في default هو never، أي النوع الذي لا قيمة له. فإذا مرّرت هذه القيمة إلى دالة لا تقبل إلا never، فإن أي حالة منسية ستبقى في النوع وتصير خطأً عند الترجمة.

والدالة function assertNever(x: never): never تحميك في الوقتين، ففي الترجمة لا تقبل إلا نوعًا لم يبقَ فيه شيء، وفي التشغيل ترمي خطأً إن وصلتها بيانات لم يتوقّعها أحد.