子類關係的真正意思是:對於一個給定的型別T,如果T'是它的子類,那麼T'可以代替T嗎? scala> class Contravariant[-A] defined class Contravariant ...
確定! 回上一頁