स्काला कम प्रकार सीमा और सहप्रसरण

Question

इम यह पेज http://www.scala-lang.org/node/137 पढ़ने, मैं समझता हूँ कि क्या सहप्रसरण है और निचले सीमा के रूप में अच्छी तरह से है, लेकिन क्या यह स्पष्ट नहीं है इस लाइन है:

दुर्भाग्य से, इस कार्यक्रम को संकलित नहीं है क्योंकि एक covariance एनोटेशन केवल तभी संभव है जब टाइप वैरिएबल का उपयोग केवल कॉन्वेंटेंट स्थितियों में किया जाता है। चूंकि टाइप वैरिएबल टी विधि पैरापेड के पैरामीटर प्रकार के रूप में प्रकट होता है, इसलिए यह नियम टूटा हुआ है।

क्यों elem, T के महाप्रकार का एक उदाहरण होने के लिए करता है, तो पहले से ही ListNode covariant कारण है कि elem वर्तमान सूची के लिए prepended नहीं किया जा सकता है।

Answer 1

class Super    {override def toString = "Super"} 
class Sub extends Super {override def toString = "Sub"; def subMethod {} } 
val sup = new Super 
val sub = new Sub 

कल्पना कीजिए कि निम्नलिखित की अनुमति दी गई:

// invalid code 
class Foo[+T] { 
    def bar(x: T) = println(x) 
} 

Foo के बाद से T पर covariant है, यह वैध (एक सरल Upcast, के बाद से एक Foo[Sub] एक Foo[Super] है):

val foo : Foo[Super] = new Foo[Sub] { 
    override def bar(x: Sub) = x.subMethod 
} 

अब foo है, जहां तक ​​हम जानते हैं, Foo[Super] किसी अन्य की तरह, लेकिन इसकी bar विधि काम नहीं करेगा, bar कार्यान्वयन की आवश्यकता है, क्योंकि एक Sub:

foo.bar(sup) // would cause error!