在类型参数中使用 extends 表示这个泛型中的参数必须是 E 或者 E 的子类,这样有两个好处:
如果传入的类型不是 E 或者 E 的子类,编译不成功
泛型中可以使用 E 的方法,要不然还得强转成 E 才能使用
privateE test(K arg1, E arg2){ E result = arg2; arg2.compareTo(arg1); //..... return result; }
类型参数列表中如果有多个类型参数上限,用逗号分开
下界通配符 < ? super E>
下界: 用 super 进行声明,表示参数化的类型可能是所指定的类型,或者是此类型的父类型,直至 Object
在类型参数中使用 super 表示这个泛型中的参数必须是 E 或者 E 的父类。
privatevoidtest(Listsuper T> dst, List src){ for (T t : src) { dst.add(t); } }
publicstaticvoidmain(String[] args){ List dogs = new ArrayList<>(); List animals = new ArrayList<>(); new Test3().test(animals,dogs); } // Dog 是 Animal 的子类 classDogextendsAnimal{
T 是一个 确定的 类型,通常用于泛型类和泛型方法的定义,?是一个 不确定 的类型,通常用于泛型方法的调用代码和形参,不能用于定义类和泛型方法。
区别1:通过 T 来 确保 泛型参数的一致性
// 通过 T 来 确保 泛型参数的一致性 publicvoid test(List dest, List src)
//通配符是 不确定的,所以这个方法不能保证两个 List 具有相同的元素类型 publicvoid test(List dest, List src)
像下面的代码中,约定的 T 是 Number 的子类才可以,但是申明时是用的 String ,所以就会飘红报错。
不能保证两个 List 具有相同的元素类型的情况
GlmapperGeneric glmapperGeneric = new GlmapperGeneric<>(); List dest = new ArrayList<>(); List src = new ArrayList<>(); glmapperGeneric.testNon(dest,src);
上面的代码在编译器并不会报错,但是当进入到 testNon 方法内部操作时(比如赋值),对于 dest 和 src 而言,就还是需要进行类型转换。
区别2:类型参数可以多重限定而通配符不行
使用 & 符号设定多重边界(Multi Bounds),指定泛型类型 T 必须是 MultiLimitInterfaceA 和 MultiLimitInterfaceB 的共有子类型,此时变量 t 就具有了所有限定的方法和属性。对于通配符来说,因为它不是一个确定的类型,所以不能进行多重限定。