[問題] kotlin 泛型的問題

[minesos520 (!!!)]

open class Z
open class ZZ : Z()
open class ZZZ : ZZ()
open class ZZZZ : ZZZ()

fun <T> List<T>.ccc(t: T): Boolean {
    return contains(t)
}

val list = mutableListOf<ZZZZ>()

list.ccc("Q")
list.ccc(0)
list.ccc(Z())
list.ccc(ZZ())
list.ccc(ZZZ())


想請問list的 T 是 ZZZZ，為什麼我在傳入參數時

不會被限制呢？

難道 List<T> 跟 ccc(t:T) 這兩個T不同的嗎@@




--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.136.148.76 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/AndroidDev/M.1575742626.A.A8B.html
→ y3k: 因為你的ccc是掛在List<T>底下 MutableList<>沒改到
→ y3k: ...雖然是這樣解釋啦 但是事實上MutableList<T>並沒有overrid
→ y3k: e List<T>.contains() 而是因為mutableListOf()回傳的是
→ y3k: ArrayList() 才導致這個現象