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