حرّاس الأنواع

ما يصلك من JSON.parse أو من الشبكة ليس له نوع معروف في الحقيقة، فنوعه الصحيح هو unknown، والمترجم لا يدعك تستعمله قبل أن تفحصه.

والفحص نفسه يضيّق النوع، فبعد typeof x === "object" && x !== null يصير x كائنًا، وبعد "id" in x يصير له حقل id، لكن نوع هذا الحقل يبقى unknown حتى تفحصه هو أيضًا بـtypeof.

لكن هذا التضييق ينتهي عند حدود الدالة، فالدالة التي تُرجع boolean لا تخبر من يستدعيها بشيء عن النوع. أما نوع الناتج x is User فينقله إلى الخارج، فيصير data من نوع User داخل if (isUser(data)). وهذه الدالة تُسمّى حارس النوع (type guard)، وهي وعد لا يتحقّق منه المترجم، فلو أرجعت true دائمًا لصدّقك.