x is T حراسات الأنواع المخصصة ودوال التأكيد

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

x is T حراسات الأنواع المخصصة ودوال التأكيد

عندما لا تكفي الحراسات المدمجة (typeof/instanceof/in) يمكنك كتابة دالة حارسة للنوع بنفسك: اكتب نوع قيمتها المرجعة على الصيغة x is T (محصّلة نوع)، وسيضيّق TS النوع x إلى T في الفروع التي تعيد فيها الدالة true. وشقيقتها دالة التأكيد (asserts x is T) التي لا تعيد قيمة منطقية بل ترمي خطأ مباشرة.

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

📝 الصيغة

// المحصّلة النوعية: يُضيَّق x إلى T حيث تعيد الدالة true
function isFoo(x: unknown): x is Foo {
  return typeof x === "object" && x !== null && "foo" in x;
}

// دالة تأكيد: تُلقي خطأً عند عدم الصلاحية؛ وبعدها يُعامل x كـ T
function assertFoo(x: unknown): asserts x is Foo {
  if (!isFoo(x)) throw new Error("not a Foo");
}

⚙️ المعاملات

القيمة المُعادة：دالة المحصّلة is دالة منطقية عادية في وقت التشغيل؛ والتضييق يحدث في وقت الترجمة. أما دالة asserts فلا تعيد شيئًا (void) في وقت التشغيل وتُشير إلى الفشل بالرمي (throw).

▶ مثال

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

الناتج：

failed: 404
data: x,y

(مخرجات التشغيل بعد الترجمة؛ بعد إعادة isFailure القيمة true يضيّق res إلى ApiError ويصبح الوصول إلى res.data ناجحًا نوعيًا — التضييق مضمون ساكنًا بواسطة tsc، وفي وقت التشغيل لا توجد سوى القيم)

💡 نقاط مهمة

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

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

📚 دروس ذات صلة

❓ أسئلة شائعة

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

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

من نحن