in تضييق الأنواع بمعامل in

آخر تحديث: 2026-10-22

in تضييق الأنواع بمعامل in

يتحقق معامل in من وجود اسم خاصية على كائن ما، ويستغل TypeScript ذلك ليضيّق النوع الاتحادي إلى العضو الذي يمتلك تلك الخاصية. عندما لا يشارك أعضاء الاتحاد حقلًا مشتركًا للتمييز ويكونون واجهات (لا يصلح معها instanceof)، يكون in أيسر وسائل للتمييز البنيوي.

ℹ️ معلومة يحوّل المحرر لغة TypeScript إلى JavaScript ثم يشغّلها (بدون فحص أنواع)؛ راجع ناتج كل مثال لنتيجة فحص الأنواع.

📝 الصيغة

interface Bird { fly: () => void }
interface Fish { swim: () => void }

function move(animal: Bird | Fish) {
  if ("swim" in animal) {
    animal.swim();   // مضيَّق إلى Fish
  } else {
    animal.fly();    // مضيَّق إلى Bird
  }
}

⚙️ المعاملات

القيمة المُعادة：يعيد تعبير in قيمة منطقية؛ ويحدث التضييق في وقت الترجمة اعتمادًا على التبادلية بين خصائص أعضاء الاتحاد (امتلاك خاصية أو الانعدام).

▶ مثال

عدّل الكود أدناه واضغط «جرّب» لرؤية نتيجة التحويل:

الناتج：

bubble...
it swims
flap!
it flies

(مخرجات التشغيل بعد الترجمة؛ نجاح الفحص النوعي للوصول إلى animal.swim() سببه أن تضييق in قد ثبّت animal بوصفها Fish — التضييق مضمون ساكنًا بواسطة tsc، وفي وقت التشغيل لا توجد سوى القيم)

💡 نقاط مهمة

🏷️ تضييق الأنواع والتأكيدات ذو صلة

💡 حالات ذات صلة

📚 دروس ذات صلة

❓ أسئلة شائعة

فريق Web-Tutorial التقني

منصة دروس برمجية يديرها عدة مطورين. كل درس يتم كتابته ومراجعته بواسطة مطورين متخصصين في المجال. نعمل على ضمان دقة وموثوقية المحتوى — إذا لاحظت أي مشكلة، فيرجى إخبارنا.

من نحن