第七色在线视频,2021少妇久久久久久久久久,亚洲欧洲精品成人久久av18,亚洲国产精品特色大片观看完整版,孙宇晨将参加特朗普的晚宴

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

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

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

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

3 回答

?
largeQ

TA貢獻2039條經(jīng)驗 獲得超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?。?。

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


查看完整回答
反對 回復 2019-08-09
  • 3 回答
  • 0 關注
  • 471 瀏覽
慕課專欄
更多

添加回答

舉報

0/150
提交
取消
微信客服

購課補貼
聯(lián)系客服咨詢優(yōu)惠詳情

幫助反饋 APP下載

慕課網(wǎng)APP
您的移動學習伙伴

公眾號

掃描二維碼
關注慕課網(wǎng)微信公眾號