جدول المحتويات:
تعريف - ماذا يعني الفرعي؟
النوع الفرعي عبارة عن فكرة في نظرية لغة البرمجة حيث يرتبط النوع الفرعي ، وهو نوع البيانات ، بنمط فائق يعتمد على فكرة الاستبدال ، حيث ستظل عناصر البرنامج مثل الدوال الفرعية والوظائف الفرعية المكتوبة للنوع الفائق تعمل إذا تم إعطاؤها النوع الفرعي بدلا من ذلك. تعد الأنواع الفرعية مفهومًا أساسيًا في البرمجة الموجهة للكائنات ويمكن استبدالها بالأنواع الفائقة وفي بعض الأحيان يكون لها مواصفات أكثر صرامة من النوع الفائق.
تيكوبيديا يشرح الفرعي
Subtyping هي طريقة لاستبدال وإعادة استخدام الكود في لغات البرمجة الموجهة للكائنات لمنع النسخ غير الضروري لرمز مشابه إلى حد كبير وتعزيز قابلية قراءة الكود ومنع الأخطاء. يعتبر النوع الفرعي أساسًا بديلاً عن النوع الفائق الذي يمكنه تلبية جميع مواصفات الأخير ، ثم بعضه. لذلك إذا كانت B عبارة عن نوع فرعي من A ، فيمكن دائمًا استخدام B للاستعاضة عن A وأي ممتلكات مضمونة من قبل A يجب أيضًا ضمانها بواسطة B.
يُسمح للنوع الفرعي بتقوية وحتى إضافة الخصائص غير الموجودة في النوع الفائق ، مما يعني أنه يسمح بتمديد النوع الفائق. لذلك ، بدلاً من إنشاء نوع جديد جديد في كل مرة يكون هناك حاجة إلى شيء جديد ثم نسخ الخصائص والظروف من نوع آخر ممتاز ، يمكن ببساطة إنشاء نوع فرعي يمد النوع الفائق بخصائص أو ميزات إضافية دون تغيير النوع الفائق. بعد ذلك ، في هذه الحالة ، سيكون كل ما يمكن إثباته للنمط الفائق قابلاً للإثبات على النوع الفرعي والمزيد. إذا تم التعامل مع نوع فرعي تمامًا تمامًا كما هو الحال مع النموذج الفائق باستخدام أساليب وحقول النمط فقط والاستعلام عنها ، ستكون النتائج متسقة مع كائنات النوع الفائق.
