作者adrianshum (Alien)
看板java
标题Re: [问题] 请问covariant是什麽意思?
时间Thu Apr 2 17:29:34 2009
※ 引述《rick1014 (hi)》之铭言：
: The problem is that arrays are covariant, so a List<String>[] is also an
: Object[], and you can use this to assign an ArrayList<Integer> into your
: array, with no error at either compile time or run time.
: 虽然这句话我大概了解是什麽意思，
: 不过不非常清楚covarint是泛指什麽意思，
: 是後半段，is-a 又为is-b的关系就是covarint的意思吗?
正确的 covariant 的定义我说不太上来.
大概知道的是, 假如 S 是 T 的 subtype,
S[] 就会是 T[] 的 subtype. 这种就是 convariant
subtyping 的意思.
is-a 不是 abc 的 a, 是 a an 的 a.
is-a 的意思就是 "是一个"
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 202.155.236.82