सीक [+ ए] ए में कैसे हो सकता है?

Question

कैसे Seq [+ A] एक में covariant जा सकता है अगर एक contravariant स्थिति में होता है:

def :+ (elem: A) : Seq[A] ?

मैं समझता हूँ के रूप में, एक विधि तर्क प्रकार एक contravariant स्थिति है। मैं क्या खो रहा हूँ ?

Answer 1

यह उपयोग हस्ताक्षर का उपयोग करें। यह वास्तविक हस्ताक्षर नहीं है, केवल सामान्य उपयोग मामले में आप आमतौर पर क्या देखेंगे।

वास्तविक हस्ताक्षर है:

def :+ [B >: A, That] (elem : B)(implicit bf : CanBuildFrom[Seq[A], B, That]) : That 

कौन सा, जैसा कि आप देख, यहां तक ​​कि एक Seq वापसी, बहुत कम A गारंटी नहीं है।