اتحاد الأنواع وتضييقها

قد يصلك معرّف المنتج أحيانًا رقمًا مثل 42 وأحيانًا نصًّا مثل "ab12"، والنوع string | number يعبّر عن هذا بالضبط، أي أنّ القيمة من أحد النوعين، ويسمّى هذا الاتحاد (union).

ولا يسمح لك المترجم إلا بما يشترك فيه النوعان، فـid.toUpperCase() خطأ في الأنواع لأنّ الأرقام ليس فيها toUpperCase، وهذا هو الخطأ نفسه الذي يوقف البرنامج في JavaScript حين يصل إلى الدالة رقم.

والحلّ هو التضييق (narrowing)، فداخل if (typeof id === "number") يعرف المترجم أنّ id رقم، وفي الفرع الآخر يعرف أنه نصّ. وانتبه إلى أنّ typeof لا يفرّق بين المصفوفة وnull والكائن، فهي كلها "object".