軟件構造——Java中的型變與泛型

型變：當子類型關係出現在更加複雜類型中時，新類型中有着怎樣的類型關係？ 如： Cat是Animal的子類，那麼List 和List有什麼關係？ 型變有如下三種情況： Covariant(協變): 保持子類型關係List是List的子類 Contravariant(逆變):反轉了子類型關係 ，如List是List的子類 Invariant(不變): 沒有子類型關係，如List nor 和List均不

>>阅读原文<<