Okuzeka
تطوير البرمجيات · مصطلحات · مفاهيم البرمجة

ما معنى type inference؟

المعنى في مجال تطوير البرمجيات مع أمثلة

اسممصطلح شائع

type inference: استنتاج النوع، استدلال النوع

تحديد نوع قيمة أو تعبير من الشيفرة من دون مطالبة المبرمج بكتابة النوع صراحةً.

طريقة الاستخدام

شائع في رسائل المترجمات وأدلة اللغات ذات الأنواع. ويظل النوع المستنتج خاضعاً لفحص اللغة.

أمثلة

  1. The compiler used type inference to recognize the list as a list of integers.

    استخدم المترجم استنتاج النوع ليدرك أن القائمة تضم أعداداً صحيحة.

    كانت قيم العناصر كافية لتحديد نوع القائمة دون تصريح كتابي به.

  2. Type annotations helped where type inference could not choose between two overloads.

    ساعدت تعليقات الأنواع حين عجز الاستنتاج عن الاختيار بين تحميلين زائدين.

    تحسم المعلومات الصريحة الالتباس؛ فالاستنتاج لا ينجح في كل تعبير.

تراكيب شائعة

  • compiler type inference
  • type inference rules

مصطلحات أخرى: مفاهيم البرمجة

تدرّب على القراءة المتدرجة

تساعدك القراءة بالمستوى المناسب على تثبيت المفردات الجديدة. اختر كتبًا إنجليزية مجانية: