الاتحاد والتضييق

معرّف المنتج يصلك أحيانًا رقمًا 42 وأحيانًا نصًّا "ab12". والنوع string | number — الاتحاد — يقول ذلك بالضبط: القيمة من أحد النوعين.

ولا يسمح المترجم إلا بما يشترك فيه الطرفان: id.toUpperCase() خطأ أنواع لأن الأرقام ليس فيها toUpperCase. وهو الانهيار نفسه الذي تقع فيه الجافاسكربت حين يصلها رقم.

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