软件构造——Java中的型变与泛型

型变：当子类型关系出现在更加复杂类型中时，新类型中有着怎样的类型关系？ 如： Cat是Animal的子类，那么List 和List有什么关系？ 型变有如下三种情况： Covariant(协变): 保持子类型关系List是List的子类 Contravariant(逆变):反转了子类型关系 ，如List是List的子类 Invariant(不变): 没有子类型关系，如List nor 和List均不

>>阅读原文<<