1.定义:
JDK5.0后,Java提供了泛型。
泛型是一种在编译时提供类型安全的方式,允许程序员在定义类、接口和方法时使用类型参数。这样,可以在不损失类型安全的情况下,创建可重用的代码。
泛型有两种主要的使用形式:类型参数(如 T)和通配符(如 ?)。
T通常用作类型参数的占位符。比如:泛型方法的语法包括一个包含在尖括号内的类型参数列表,并将它置于方法的返回类型之前。
?通配符主要用于泛型方法的参数和泛型类的字段,以及泛型集合的声明中。
通配符分为3种,分别为:
1)上界通配符:List<? extends Number>
可以读取容器内的元素。由于容器的具体类型未知,如果往容器添加元素,无法确保添加进去的具体数据是该容器具体类型的子类还是父类,因此存在类型不安全问题,所以是不允许往容器里添加数据的。
2)无界通配符:List<?>
3)下界通配符:List<? super Number>
可以读取也可以写入元素。
2.使用范围:
1)T 用作声明类的类型参数、方法(包括静态泛型方法、非静态泛型方法、泛型构造函数,但类型参数仅限于方法内使用)的类型参数。
2)? 通配符用作 参数类型、字段类型、局部变量类型及返回类型。
通配符在PECS(Producer Extends Consumer Super)原则中非常有用,该原则指出当你从一个泛型集合中获取对象时(生产者),应该使用上界通配符,当你向泛型集合中插入对象时(消费者),应该使用下界通配符。
通配符,一般是用于定义一个引用变量,以便实现"多态"调用(非真正意义上的多态)。例如
//以下是正确的代码:
public static void main(String[] args) {
List<String> sList = new ArrayList<String>();
List<Integer> iList = new ArrayList<Integer>();
sList.add("abc");
iList.add(10000);
dump(sList);
dump(iList);
}
public static void dump(List<?> list) {
for (Object o : list) {
System.out.println(o);
}
}
通常我们使用 ? 的时候并不知道也不关心这个时候的类型,只想使用其通用的方法,而且 ? 通配符是无法作用于声明类的类型参数,一般作用于方法和参数上。而 类型变量 T 在类定义时具有更广泛的应用。
在某些程度的使用上 ? 通配符与 T 参数类型是可以等效的,但是 T 参数类型并不支持下界限制, 即 T super AClass 而 通配符支持下界限制 ? super AClass,即:使用super限定父集的时候,T 不可以,? 可以。
T和?两者都可以通过extends来限定一个类型的子集,但是 T 可以 List<T extends Number & AInterface> 限定为多重限定,? 不可以。
使用T时,Java的类型参数支持多重限定,如 <T extends CharSequence & Comparable<T>,但如果类型参数中包含类,则需要将类参数类型写在最前面。
如果你想写一个通用的方法且该方法的逻辑不关心类型那么就用 ? 通配符来进行适配,如果你需要作用域类型(这可能在操作通用数组类型时更有用)或者声明类的类型参数时请使用 T 类型变量。
//以下是错误的用法(编译错误:通配符不能用在创建对象上):
ArrayList<?> list = new ArrayList<?>();
//以下是错误的用法(List<T>在实例化的时候T要替换成具体的类):
List<T> t = new ArrayList<T>();
类型参数T和通配符?可以混合使用,例如以下为一个接受泛型集合并返回其中最大元素的方法:
public static <T extends Comparable<T>> T max(Collection<? extends T> collection) {
T maxElement = null;
for (T element : collection) {
if (maxElement == null || element.compareTo(maxElement) > 0) {
maxElement = element;
}
}
return maxElement;
}
3.总结:
当对通用的对象类型进行操作时,使用 Object的缺点为:无法对 Object 编译时进行检查,因为 Object 是所有类的父类。
? 表示了集合[所有Java类型,包括String,Integer,Character等系统定义的,或者用户定义的类型]这个整体;而 T 表示了集合[所有Java类型,包括String,Integer,Character等系统定义的,或者用户定义的类型]中的一个成员。
当Integer类是Number类的子类时,List<? extends Integer>是List<? extends Number>的子类,而List<Integer>不是List<Number>类的子类。
可以向 List<Object> 中插入 Object 对象或者其子类对象,但只能向 List<?> 中插入 null 值,因为List<?>无法确定插入的元素的类型,而null是所有类型的成员。
类型参数写成全大写的有意义的单词是更具可读性的方式。
致力于C、C++、Java、Kotlin、Android、Shell、JavaScript、TypeScript、Python等编程技术的技巧经验分享。
若作品对您有帮助,请关注、分享、点赞、收藏、在看、喜欢。您的支持是我们为您提供帮助的最大动力。