亚洲在线久爱草,狠狠天天香蕉网,天天搞日日干久草,伊人亚洲日本欧美

為了賬號安全,請及時綁定郵箱和手機立即綁定
已解決430363個問題,去搜搜看,總會有你想問的

為什么示例不編譯,又如何(共同,反向和反向)方差有效?

為什么示例不編譯,又如何(共同,反向和反向)方差有效?

為什么示例不編譯,又如何(共同,反向和反向)方差有效?有人可以在Scala中解釋以下內容:class Slot[+T] (var some: T) {     //  DOES NOT COMPILE     //  "COVARIANT parameter in CONTRAVARIANT position"}我明白之間的區別+T,并T在類型聲明(它編譯如果我使用T)。但是,如何實際編寫一個在其類型參數中具有協變性的類而不依賴于創建未參數化的東西?如何確保只能使用實例創建以下內容T?class Slot[+T] (var some: Object){       def get() = { some.asInstanceOf[T] }}
查看完整描述

3 回答

?
largeQ

TA貢獻2039條經驗 獲得超8個贊

簡而言之,如果允許的話:

  class Slot[+T](var some: T) {
    def get: T = some   
  }

  val slot: Slot[Dog] = new Slot[Dog](new Dog)   
  val slot2: Slot[Animal] = slot  //because of co-variance 
  slot2.some = new Animal   //legal as some is a var
  slot.get ??

slot.get然后會在運行時拋出一個錯誤,因為它沒有成功轉換AnimalDog(duh?。?。

一般來說,變異性與協方差和反方差不相符。這就是為什么所有Java集合都是不變的原因。


查看完整回答
反對 回復 2019-08-09
  • 3 回答
  • 0 關注
  • 472 瀏覽

添加回答

舉報

0/150
提交
取消
微信客服

購課補貼
聯系客服咨詢優惠詳情

幫助反饋 APP下載

慕課網APP
您的移動學習伙伴

公眾號

掃描二維碼
關注慕課網微信公眾號