Scala مجردة نوع الحدود عرض المرجع
-
13-12-2019 - |
سؤال
لدي فئتين مجردةتين ستحمل إشارات مع بعضهما البعض. كيف يمكنني اكتب ملزمة أعضاء النوع حتى لأن أنواع HEXT في أفراد SIDET من فئات عرافة مشتقة ستكون دائما فئة عرافة مشتقة؟لذلك للحصول على فئة مشتقة HEXA مضمونة أن: HEXA # SIDET # HEXT= HEXA
وبالمثل أن أنواع SIDET في أعضاء HEXT من جميع الفئات الجانبية المشتقة ستكون الطبقة الجانبية المشتقة: SIDEB # HEXT # SIDET= SIVEB
أنا أستخدم Scala for Eclipse 2.1.0.m1 مع Eclipse 3.7.2 جميع الفئات في ملفات منفصلة.الجمعيات التالية موافق ولكن لا تضمن ما أريد:
giveacodicetagpre.ولكن لن يترجم ما يلي في التطبيقات المشتقة:
giveacodicetagpre.هل هذا صحيح؟يجب أن تجميع هذه؟
المحلول
ماذا عن هذا؟
giveacodicetagpre.أو مع سمة تغليف للمجال:
giveacodicetagpre.أو مع معلمات النوع:
giveacodicetagpre.لا تنتمي إلى StackOverflow