مرتبط بالآخر، هذا هو الجزء 4 معلومات مثيرة جداً حول الأساليب الافتراضية في C# هذه حقاً مادة مثيرة للاهتمام (حسناً، أعتقد أنها كذلك) هناك قسم عن "العقود" والأساليب الافتراضية...

ماذا تعني بالعقود الواردة والصادرة؟

انديرز هيجلسبرغ: العقد الوارد هو ما استخدمه عندما اطلب طريقة ما. انه يمكّنني من التفكير في ما هو مطلوب مني فعله قبل ان ادعو الى الطريقة وما الذي حدث بعد العودة الى الطريقة. العقد الصادر هو ما استخدمه عندما اتجاوز طريقة ما. اذا نظرتم الى معظم الارقام القياسية فهي في الواقع سيئة جدا في توثيق ما يفترض بك القيام به عندما تتجاوزون طريقة افتراضية : ما هي المتغيرات قبل استدعائك ؟ ما الذي يجب ان يكون صحيحا بعد ذلك ؟ ما هي الطرائق التي لا يمكنك الاتصال بها من التنفيذ ؟ وهكذا. اعتقد انه من الخطر جدا ان نقول ان جميع الطرائق تتضمن جوانب خارجية وخارجية على حد سواء. من الخطر ان نثق في الجميع ان يكتبوا وثائق جيدة عن متى تتجاوز وما هي المتغيرات عندما تكون متفوقة.

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