Kotlin在泛型in/out的一些問題

Question

圖中的Dog和Cat都繼承Animal, 想請問這邊的ArrayList已經宣告成out Animal了, 但為什麼自從animals = dogList之後, 出現了特例開始可以add Dog類了, println這個類也發現Dog有確實被add進去
(其他add Animal和add Cat自然是不行, 甚至IDE還提示只能add Nothing)

類似的代碼我在Java上自然是完全不行add Dog, 更別說add其他的了

---

下面補充一些資訊和發現到的IDE提示

animals的類型如預期的沒有改變

但是Type mismatch的提示卻顯示Required: Dog

Answer 1

bennyhuo 2024-04-11 18:49:03

这个问题非常细致。

当泛型参数为 out Animal 时，ArrayList 确实只能 add Nothing，否则可能会违反协变规则。但是，由于 animals 是局部变量，因此当 animals = dogList 执行时，Kotlin 编译器会对 animals 进行智能类型推导，于是 animals 就被推导成 ArrayList<Dog> 了，因此可以 add Dog。

当然，后面 IDE 提示只能 add Nothing，应该是 bug。

• 提问者 慕虎0318457 #1

  所以這邊我可以視為因為Kotlin智能類型推導所引起的小漏洞，導致編譯器放行add Dog這種方法(但其實是違反協變規則的)，因為同樣的代碼在Java是不可能放行的，至於IDE提示add Nothing我猜想應該是基於協變規則，也就是在我聲明out animal的當下IDE就會把這類add參數自動改為nothing類型，這樣理解應該沒錯吧？

• bennyhuo 回复 提问者 慕虎0318457 #2

  支持add dog是feature，不是bug。不过我觉得后面代码提示里面参数类型是nothing可能是bug。