تضييق الأنواع

Type Narrowing

مفهوم ~19 دقيقة

تضييق الأنواع — Type Narrowing

عندما تكون القيمة union، تحتاج تضييق النوع قبل استخدامها. إذا كانت القيمة string | number، لا يمكنك استدعاء toUpperCase مباشرة لأن الرقم لا يملك هذه الدالة. لكن بعد شرط typeof value === "string"، يعرف TypeScript داخل الفرع أن القيمة نص.

هذا ليس فقط لإرضاء compiler. إنه يعبر عن منطق حقيقي: قبل أن تتعامل مع القيمة كنص، تأكد أنها نص. تضييق الأنواع يجعل الكود أكثر أماناً وأكثر وضوحاً للقارئ.

مثال عملي

index.ts

function formatValue(value: string | number): string {
  if (typeof value === "string") {
    return value.trim().toUpperCase();
  }

  return value.toFixed(2);
}

console.log(formatValue(" azlearn "));
console.log(formatValue(12));

Output:

داخل فرع string، تظهر دوال النصوص. داخل فرع number، تظهر دوال الأرقام. هذا هو narrowing.

طرق التضييق

ستستخدم typeof للقيم البدائية، وin لفحص وجود خاصية، ووسوم مثل kind في discriminated unions. كلما كان نموذج البيانات أوضح، أصبح التضييق أسهل.

unknown مقابل any — unknown vs any

any يوقف كل الفحوصات كلياً — تستطيع استدعاء أي دالة على القيمة بدون أخطاء. هذا خطر لأن TypeScript يصمت عن الأخطاء الحقيقية.

unknown يجبرك على التضييق أولاً قبل أي استخدام. استخدمه عند حدود النظام: JSON غير معروف، قيمة خارجية، معامل عام:

index.ts

function parse(input: unknown): string {
  if (typeof input === "string") {
    return input.toUpperCase();
  }
  throw new Error("expected string");
}

console.log(parse("hello"));
// parse(42) — سيرمي خطأ في وقت التشغيل

Output:

القاعدة: استخدم unknown عند الحدود، وضيّق النوع داخلياً. any مقبول فقط في حالات نادرة جداً مبررة في كل موضع.

تحدي — Challenge

const value: string | number = "text";

if (typeof value === "string") {
  // اطبع النص بأحرف كبيرة — Print uppercase text
}