اكتب فحص

ما هو فحص النوع؟

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

فحص النوع الثابت

في فحص النوع الثابت ، ليست هناك حاجة لتشغيل برنامج للتحقق منه. يقوم المترجم بإجراء فحص ثابت للنوع في وقت الترجمة.

يعد فحص النوع الثابت مفيدًا عند وجود أخطاء في برنامجك حيث يمكن اكتشافها قبل تشغيله. يساعد في تحسين الموثوقية والأمان.

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

فحص النوع الديناميكي

لا يتم فحص النوع الديناميكي حتى وقت التشغيل أو وقت التنفيذ. يعد فحص النوع الديناميكي مفيدًا لأنه يسمح لنا بكتابة البرامج دون معرفة مسبقة بالأنواع. في السيناريوهات التي نحتاج فيها إلى التحقق من الأنواع في وقت التشغيل فقط.

يتضمن الشكل الأكثر شيوعًا لفحص النوع تعيين نوع بيانات لكل متغير ومعلمة وقيمة إرجاع دالة في برنامج كمبيوتر. بناءً على الأنواع المخصصة لهذه القيم ، يُسمح بالعمليات المناسبة (على سبيل المثال ، إضافة متغيرين صحيحين لإنتاج عدد صحيح آخر أو ربط سلسلتين لإنتاج سلسلة أخرى). يضمن التحقق من النوع أن هذه العمليات صالحة للأغراض المقصودة.

في بعض لغات البرمجة (على سبيل المثال C) ، يتم فحص النوع بواسطة المترجم ؛ في حالات أخرى (على سبيل المثال PHP) ، يمكن تأجيلها حتى وقت التشغيل (في هذه الحالة قد يسمى فحص النوع الديناميكي).

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

تتضمن العديد من اللغات كلا النهجين ؛ على سبيل المثال ، توفر Java أنواعًا محددة مسبقًا وتسمح للمبرمجين بإنشاء فئات جديدة أو توسيع الفئات الموجودة (أي تحديد أنواع جديدة). تقوم بعض اللغات ، مثل Perl و Python ، أيضًا بإجراء الاستدلال على الكتابة ولا تتطلب أي نوع من الإعلانات.