1：协变（extends：PECS（Producer-Extends, Consumer-Super））1.1：先看看直接使用两种类型的泛型/**
* 不同的泛型
*/
@Test
public void differentGeneric() {
// 编译失败
List<Number> list = new Arra
首先，Java有泛型这一个概念，初衷是为了保证在运行时出现的错误能提早放到编译时检查。有了这个前提，再来看看题主的问题。先说一下java中的协变，逆变，不可变:假设有如下类：class Food{} // 默认继承Object
class Fruit extends Food{}
class Meat extends Food {}
class Apple extends Fruit{}
cla
泛型型协变逆变by Fabian Terh 由Fabian Terh (An introduction to generic types in Java: covariance and contravariance)(Types)Java is a statically typed language, which means you must first declare a variable an
准备材料:当A≤B时有f(B)≤f(A)成立,称之为逆变（contravariant）;当A≤B时有f(A)≤f(B)成立,称之为协变（covariant）;当A≤B时上述两个式子均不成立,称之为不变（invariant）; 关于理解协变逆变的总原则:类型赋值时,A = B ,前提条件是要保证A >= B ;类型变量取值时,严格按照 ? super T 代表
泛型参数的输入与输出 如果泛型参数不带任何修饰符，那么在分配对象时，类型参数只能是固定的类型。 // B从A派生 Class<A> x = new Class<A>(); Class<A> x = new Class<B>(); // 编译错误 这需要泛型的参数类型成为变体，需要in和out修饰符。 ...
