泛型
泛型
泛型是一种“代码模板”,可以用一套代码套用各种类型。
本节我们详细讨论Java的泛型编程。
什么是泛型
在讲解什么是泛型之前,我们先观察Java标准库提供的ArrayList,它可以看作“可变长度”的数组,因为用起来比数组更方便。实际上ArrayList内部就是一个Object[]数组,配合存储一个当前分配的长度,就可以充当“可变数组”:
如果用上述ArrayList存储String类型,会有这么几个缺点:
- 需要强制转型;
- 不方便,易出错。
例如,代码必须这么写:
很容易出现ClassCastException,因为容易“误转型”:
要解决上述问题,我们可以为String单独编写一种ArrayList:
问题暂时解决。然而,新的问题是,如果要存储Integer,还需要为Integer单独编写一种ArrayList:
实际上,还需要为其他所有class单独编写一种ArrayList:
- LongArrayList
- DoubleArrayList
- PersonArrayList
- ...
这是不可能的,JDK的class就有上千个,而且它还不知道其他人编写的class。
为了解决新的问题,我们必须把ArrayList变成一种模板:ArrayList<T>,代码如下:
T可以是任何class。这样一来,我们就实现了:编写一次模版,可以创建任意类型的ArrayList:
因此,泛型就是定义一种模板,例如ArrayList<T>,然后在代码中为用到的类创建对应的ArrayList<类型>:
由编译器针对类型作检查:
这样一来,
- 既实现了编写一次,万能匹配,
- 又通过编译器保证了类型安全
这就是泛型。
向上转型:
在Java标准库中的ArrayList<T>实现了List<T>接口,它可以向上转型为List<T>:
即类型ArrayList<T>可以向上转型为List<T>。
要特别注意:
不能把ArrayList<Integer>向上转型为ArrayList<Number>或List<Number>。
这是为什么呢?假设ArrayList<Integer>可以向上转型为ArrayList<Number>,观察一下代码:
我们把一个ArrayList<Integer>转型为ArrayList<Number>类型后,这个ArrayList<Number>就可以接受Float类型,因为Float是Number的子类。但是,ArrayList<Number>实际上和ArrayList<Integer>是同一个对象,也就是ArrayList<Integer>类型,它不可能接受Float类型, 所以在获取Integer的时候将产生ClassCastException。
实际上,编译器为了避免这种错误,根本就不允许把ArrayList<Integer>转型为ArrayList<Number>。ArrayList<Integer>和ArrayList<Number>两者完全没有继承关系。
小结:
- 泛型就是编写模板代码来适应任意类型;
- 泛型的好处是使用时不必对类型进行强制转换,它通过编译器对类型进行检查;
- 注意泛型的继承关系:可以把ArrayList<Integer>向上转型为List<Integer>(T不能变!),但不能把ArrayList<Integer>向上转型为ArrayList<Number>(T不能变成父类)。
使用泛型
使用ArrayList时,如果不定义泛型类型时,泛型类型实际上就是Object:
此时,只能把<T>当作Object使用,没有发挥泛型的优势。
编译器如果能自动推断出泛型类型,就可以省略后面的泛型类型。例如,对于下面的代码:
编译器看到泛型类型List<Number>就可以自动推断出后面的ArrayList<T>的泛型类型必须是ArrayList<Number>,因此,可以把代码简写为:
泛型接口:
除了ArrayList<T>使用了泛型,还可以在接口中使用泛型。例如,Arrays.sort(Object[])可以对任意数组进行排序,但待排序的元素必须实现Comparable<T>这个泛型接口:
让Person实现Comparable<T>接口:
小结:
- 使用泛型时,把泛型参数<T>替换为需要的class类型,例如:ArrayList<String>,ArrayList<Number>等;
- 可以省略编译器能自动推断出的类型,例如:List<String> list = new ArrayList<>();;
- 不指定泛型参数类型时,编译器会给出警告,且只能将<T>视为Object类型;
- 可以在接口中定义泛型类型,实现此接口的类必须实现正确的泛型类型。
编写泛型
编写泛型类比普通类要复杂。通常来说,泛型类一般用在集合类中,例如ArrayList<T>,我们很少需要编写泛型类。
如果我们确实需要编写一个泛型类,那么,应该如何编写它?
静态方法:
编写泛型类时,要特别注意,泛型类型<T>不能用于静态方法。例如:
上述代码会导致编译错误,我们无法在静态方法create()的方法参数和返回类型上使用泛型类型T。
这实际上和类型泛型擦除有关,你看了下一节就明白了。
- 因为普通的方法是通过类的实例来调用的,创建实例的过程调用了构造方法,也就是说对象已经知道这个时候类上面定义的<T>的具体类型了;
- 而静态方法不需要对象实例来调用,所以也就不知道<T>的具体类型,虚拟机不允许这种情况发生,所以编译的时候就报错了。
用个老师的例子:
Pair<String> p = new Pair<>("Hello", "world"); //创建实例时已经知道<T>是String类型
String first = p.getFirst();
Pair.create(...); //如果是静态方法,则并不清楚<T>的具体类型
<K>放在static后面,你可以理解为既然静态方法不知道Pair里面的具体类型,你就手动的告诉它具体的类型。
总之,静态方法由于随着类的加载而加载,不能访问类的泛型(因为在创建对象的时候才确定),因此必须定义自己的泛型类型。
对于静态方法,我们可以单独改写为“泛型”方法,只需要使用另一个类型即可。
对于上面的create()静态方法,我们应该把它改为另一种泛型类型,例如,
使用时可以这样子使用:
package com.yk.boc.test;
public class Pair<T> {
private T first;
private T last;
public Pair(T first, T last) {
this.first = first;
this.last = last;
}
public T getFirst() {
return first;
}
public T getLast()
{
return last;
}
// 可以编译通过:
public static <K> Pair<K> create(K first, T last) {
return new Pair<K>(first, last);
}
public static void main(String[] args) {
Pair p = Pair.<String>create("first","last");
System.out.println(p.getFirst());
}
}
这样才能清楚地将静态方法的泛型类型和实例类型的泛型类型区分开。
多个泛型类型:
泛型还可以定义多种类型。例如,我们希望Pair不总是存储两个类型一样的对象,就可以使用类型<T, K>:
使用的时候,需要指出两种类型:
Java标准库的Map<K, V>就是使用两种泛型类型的例子。它对Key使用一种类型,对Value使用另一种类型。
小结:
- 编写泛型时,需要定义泛型类型<T>;
- 静态方法不能引用泛型类型<T>,必须定义其他类型(例如<K>)来实现静态泛型方法;
- 泛型可以同时定义多种类型,例如Map<K, V>。
擦拭法
泛型是一种类似”模板代码“的技术,不同语言的泛型实现方式不一定相同。Java语言的泛型实现方式是擦拭法(Type Erasure)。所谓擦拭法是指,虚拟机对泛型其实一无所知,所有的工作都是编译器做的。例如,我们编写了一个泛型类Pair<T>,这是编译器看到的代码(个人:应该是编译器刚看到没经过它处理过的之前的代码):
而虚拟机根本不知道泛型。这是虚拟机执行的代码(个人:应该是经过编译器处理之后的代码):
因此,Java使用擦拭法实现泛型,导致了:
- 编译器把类型<T>视为Object;
- 编译器根据<T>,实现安全的强制转型。
使用泛型的时候,我们编写的代码也是编译器看到的代码(个人:应该是编译器刚看到没经过它处理过的之前的代码):
而虚拟机执行的代码并没有泛型(个人:应该是经过编译器处理之后的代码,编译器根据<T>,实现安全的强制转型):
所以,Java的泛型是由编译器在编译时实行的,
- 编译器内部永远把所有类型T视为Object处理,
- 但是,在需要转型的时候(个人:应该是遇到使用调用语句的时候),编译器会根据T的类型,自动为我们实行安全地强制转型。
了解了Java泛型的实现方式——擦拭法,我们就知道了Java泛型的局限:
- 局限一:<T>不能是基本类型,例如int,因为实际类型是Object,Object类型无法持有基本类型:
- 局限二:无法取得带泛型的Class。观察以下代码:
因为T是Object,我们对Pair<String>和Pair<Integer>类型获取Class时,获取到的是同一个Class,也就是Pair类的(编译器内部将Pair<String>和Pair<Integer>类型都变成了Pair类)Class。
换句话说,所有泛型实例,无论T的类型是什么,getClass()返回同一个Class实例,因为编译后它们全部都是Pair<Object>。 - 局限三:无法判断带泛型的类型:
原因和前面一样,并不存在Pair<String>.class,而是只有唯一的Pair.class。(个人:也就是我们无法通过泛型类型Pair<String>.class得到它的class类型,这条语句是非法的,编译通不过;如果a是一个泛型类的对象变量,那么我们可以通过a.getClass()得到一个class类型,这个语句能通过编译,但是得到的是Object类型的泛型类的class) - 局限四:不能实例化T类型:
上述代码无法通过编译,因为构造方法的两行语句:
擦拭后实际上变成了:
这样一来,创建new Pair<String>()和创建new Pair<Integer>()就全部成了Object,显然编译器要阻止这种类型不对的代码(个人:这时候之后编译器再进行强制类型转换已经没用了,显然我们无法把已经创建完成的实际类型Object强制转化成String或者Integer)。
要实例化T类型,我们必须借助额外的Class<T>参数:
上述代码,借助Class<T>参数,并通过反射,来实例化T类型,使用的时候,也必须传入Class<T>。例如:
因为传入了Class<String>的实例,所以我们借助String.class就可以实例化String类型。
不恰当的覆写方法:
有些时候,一个看似正确定义的方法会无法通过编译。例如:
这是因为,定义的equals(T t)方法实际上会被擦拭成equals(Object t),而这个方法是继承自Object的,编译器会阻止一个实际上会变成覆写的泛型方法定义。
换个方法名,避开与Object.equals(Object)的冲突就可以成功编译:
泛型继承:
一个类可以继承自一个泛型类。例如:父类的类型是Pair<Integer>,子类的类型是IntPair,可以这么继承:
使用的时候,因为子类IntPair并没有泛型类型,所以,正常使用即可:
前面讲了,我们无法获取Pair<T>的T类型,即给定一个变量Pair<Integer> p,无法从p中获取到Integer类型。
但是,在父类是泛型类型的情况下,编译器就必须把类型T(对IntPair来说,也就是Integer类型)保存到子类的class文件中,不然,编译器就不知道IntPair只能存取Integer这种类型。
在继承了泛型类型的情况下,子类可以获取父类的泛型类型。例如:IntPair可以获取到父类的泛型类型Integer。获取父类的泛型类型代码比较复杂:
因为Java引入了泛型,所以,只用Class来标识类型已经不够了。实际上,Java的类型系统结构如下:
小结:
-
Java的泛型是采用擦拭法实现的;
-
擦拭法决定了泛型<T>:
- 不能是基本类型,例如:int;
- 不能获取带泛型类型的Class,例如:Pair<String>.class;
- 不能判断带泛型类型的类型,例如:x instanceof Pair<String>;
- 不能实例化T类型,例如:new T()。
-
泛型方法要防止重复定义方法,例如:public boolean equals(T obj);
-
子类可以获取父类的泛型类型<T>。
extends通配符
这样一来,给方法传入Pair<Integer>类型时,它符合参数Pair<? extends Number>类型。这种使用<? extends Number>的泛型定义称之为上界通配符(Upper Bounds Wildcards),即把泛型类型T的上界限定在Number了。
如果我们考察对Pair<? extends Number>类型调用getFirst()方法,实际的方法签名变成了:
即返回值是Number或Number的子类,因此,可以安全赋值给Number类型的变量:
然后,我们不可预测实际类型就是Integer,例如,下面的代码是无法通过编译的:
这是因为实际的返回类型可能是Integer,也可能是Double或者其他类型,编译器只能确定类型一定是Number的子类(包括Number类型本身),但具体类型无法确定。
我们再来考察一下Pair<T>的set方法:
不出意外,我们会得到一个编译错误(在运行之前,编译器就会给出编译错误):
编译错误发生在p.setFirst()传入的参数是Integer类型。有些童鞋会问了,既然p的定义是Pair<? extends Number>,那么setFirst(? extends Number)为什么不能传入Integer?原因还在于擦拭法。如果我们传入的p是Pair<Double>,显然它满足参数定义Pair<? extends Number>,然而,Pair
这就是<? extends Number>通配符的一个重要限制:方法参数签名setFirst(? extends Number)无法传递任何Number的子类型给setFirst(? extends Number)。这里唯一的例外是可以给方法参数传入null:
extends通配符的作用:
如果我们考察Java标准库的java.util.List<T>接口,它实现的是一个类似“可变数组”的列表,主要功能包括:
现在,让我们定义一个方法来处理列表的每个元素:
为什么我们定义的方法参数类型是List<? extends Integer>而不是List<Integer>?从方法内部代码看,传入List<? extends Integer>或者List<Integer>是完全一样的,但是,注意到List<? extends Integer>的限制:
- 允许调用get()方法获取Integer的引用;
- 不允许调用set(? extends Integer)方法并传入任何Integer的引用(null除外)。
因此,方法参数类型List<? extends Integer>表明了该方法内部只会读取List的元素,不会修改List的元素(因为无法调用add(? extends Integer)、remove(? extends Integer)这些方法(个人:sumOfList这个函数,函数参数接口设计的只有一个参数List<? extends Integer>,在这个函数内部,如果调用add或者remove方法,我们得自己在内部给个实参调用,因为这些方法的参数为? extends Integer,我们无法确定它的具体类型,我们无法编写出传入实参对所有参数? extends Integer情况都正确、都成立的代码,编译器编译通不过)。换句话说,这是一个对参数List<? extends Integer>进行只读的方法(恶意调用set(null)除外)。
使用extends限定T类型:
在定义泛型类型Pair<T>的时候,也可以使用extends通配符来限定T的类型:
现在,我们只能定义:
非Number类型将无法通过编译:
public class App {
public static void main(String[] args) throws Exception {
Pair<Integer> p = new Pair<>(123, 456);
p.setFirst(Integer.valueOf(3));
System.out.println(p.getFirst());
}
}
class Pair<T extends Number> {
private T first;
private T last;
public Pair(T first, T last) {
this.first = first;
this.last = last;
}
public T getFirst() {
return first;
}
public T getLast() {
return last;
}
public void setFirst(T first) {
this.first = first;
}
public void setLast(T last) {
this.last = last;
}
}
输出结果:
Windows PowerShell
版权所有 (C) Microsoft Corporation。保留所有权利。
尝试新的跨平台 PowerShell https://aka.ms/pscore6
PS C:\Users\guoyo\Desktop\abc\test> & 'C:\Program Files\Java\jdk-17.0.2\bin\java.exe' '-XX:+ShowCodeDetailsInExceptionMessages' '-cp' 'C:\Users\guoyo\Desktop\abc\test\bin' 'App'
3
' '-XX:+ShowCodeDetailsInExceptionMessages' '-cp' 'C:\Users\guoyo\Desktop\abc\test\bin' 'App'
3
PS C:\Users\guoyo\Desktop\abc\test>
小结:
- 使用类似<? extends Number>通配符作为方法参数时表示:
- 方法内部可以调用获取Number引用的方法,例如:Number n = obj.getFirst();;
- 方法内部无法调用传入Number引用的方法(null除外),例如:obj.setFirst(Number n);。
即一句话总结:使用extends通配符表示可以读,不能写。
- 使用类似<T extends Number>定义泛型类时表示:泛型类型限定为Number以及Number的子类。
super通配符
泛型的继承关系:Pair<Integer>
不是Pair<Number>
的子类。
考察下面的set方法:
传入Pair<Integer>
是允许的,但是传入Pair<Number>
是不允许的。因为上面介绍的泛型的继承关系。
和extends通配符相反,这次,我们希望接受Pair<Integer>
类型,以及Pair<Number>
、Pair<Object>
,因为Number
和Object
是Integer
的父类,setFirst(Number)
和setFirst(Object)
实际上允许接受Integer
类型。
我们使用super通配符来改写这个方法:
注意到Pair<? super Integer>表示,方法参数接受所有泛型类型为Integer或Integer父类的Pair类型。
- 考察Pair<? super Integer>的setFirst()方法,它的方法签名实际上是:
因此,可以安全地传入Integer类型。 - 再考察Pair<? super Integer>的getFirst()方法,它的方法签名实际上是:
这里注意到我们无法使用Integer类型来接收getFirst()的返回值,即下面的语句将无法通过编译:
因为如果传入的实际类型是Pair<Number>,编译器无法将Number类型转型为Integer。
注意:虽然Number是一个抽象类,我们无法直接实例化它。但是,即便Number不是抽象类,这里仍然无法通过编译。此外,传入Pair<Object>
类型时,编译器也无法将Object
类型转型为Integer
。
唯一可以接收getFirst()方法返回值的是Object类型:
因此,使用<? super Integer>
通配符表示:
- 允许调用
set(? super Integer)
方法传入Integer
的引用; - 不允许调用
get()
方法获得Integer
的引用。唯一例外是可以获取Object
的引用:Object o = p.getFirst()
。
换句话说,使用<? super Integer>
通配符作为方法参数,表示方法内部代码对于参数只能写,不能读。
对比extends和super通配符:
我们再回顾一下extends通配符。作为方法参数,<? extends T>类型和<? super T>类型的区别在于:
- <? extends T>允许调用读方法T get()获取T的引用,但不允许调用写方法set(T)传入T的引用(传入null除外);
- <? super T>允许调用写方法set(T)传入T的引用,但不允许调用读方法T get()获取T的引用(获取Object除外)。
一个是允许读不允许写,另一个是允许写不允许读。
先记住上面的结论,我们来看Java标准库的Collections类定义的copy()方法:
它的作用是把一个List的每个元素依次添加到另一个List中。它的第一个参数是List<? super T>,表示目标List,第二个参数List<? extends T>,表示要复制的List。我们可以简单地用for循环实现复制。在for循环中,我们可以看到,对于类型<? extends T>的变量src,我们可以安全地获取类型T的引用,而对于类型<? super T>的变量dest,我们可以安全地传入T的引用。
这个copy()方法的定义就完美地展示了extends和super的意图:
- copy()方法内部不会读取dest,因为不能调用dest.get()来获取T的引用;
- copy()方法内部也不会修改src,因为不能调用src.add(T)。
这是由编译器检查来实现的.(在虚拟机运行之前,编译器编译不通过)。如果在方法代码中意外修改了src,或者意外读取了dest,就会导致一个编译错误:
这个copy()方法的另一个好处是可以安全地把一个List<Integer>添加到List<Number>,但是无法反过来添加:
而这些都是通过super和extends通配符,并由编译器强制检查来实现的。
PECS原则:
何时使用extends,何时使用super?为了便于记忆,我们可以用PECS原则:Producer Extends Consumer Super。即:
- 如果需要返回T,它是生产者(Producer),要使用extends通配符;
- 如果需要写入T,它是消费者(Consumer),要使用super通配符。
还是以Collections的copy()方法为例:
需要返回T的src是生产者,因此声明为List<? extends T>
,需要写入T的dest是消费者,因此声明为List<? super T>
。
无限定通配符:
Java的泛型还允许使用无限定通配符(Unbounded Wildcard Type),即只定义一个?
:
因为<?>
通配符既没有extends,也没有super,因此:
- 不允许调用set(T)方法并传入引用(null除外);
- 不允许调用T get()方法并获取T引用(只能获取Object引用)。
换句话说,<?>
既不能读,也不能写,那只能做一些null判断:
大多数情况下,可以引入泛型参数<T>消除<?>通配符:
<?>通配符有一个独特的特点,就是:Pair<?>是所有Pair<T>的超类:
上述代码是可以正常编译运行的,因为Pair<Integer>是Pair<?>的子类,可以安全地向上转型。
小结:
-
使用类似<? super Integer>通配符作为方法参数时表示:
- 方法内部可以调用传入Integer引用的方法,例如:obj.setFirst(Integer n);;
- 方法内部无法调用获取Integer引用的方法(Object除外),例如:Integer n = obj.getFirst();。
-
即使用super通配符表示只能写不能读。
-
使用extends和super通配符要遵循PECS原则。
-
无限定通配符<?>很少使用,可以用<T>替换,同时它是所有<T>类型的超类。
泛型和反射
Java的部分反射API也是泛型。例如:Class<T>就是泛型:
调用Class<T>的getSuperclass()方法返回的Class类型是Class<? super T>:
构造方法Constructor<T>也是泛型:
我们可以声明带泛型的数组,但不能用new操作符创建带泛型的数组:(个人:我们new出的数组元素是Pair