泛型程序设计
泛型程序设计意味着编写的代码可以被很多不同类型的对象所重用。例如ArrayList类可以聚集任何类型的对象,这是一个泛型程序设计的实例。实际上,在Java增加泛型类之前已经有一个ArrayList类,下面来研究泛型程序设计机制是如何演变的。
类型参数的好处
在Java增加泛型类之前,泛型程序设计是用继承实现的。ArrayList类只维护一个Object引用的数组:
public class ArrayList
{
private Object[] elementData;
. . .
public Object get(int i) { . . . }
public void add(Object o) { . . . }
}
这种方法有两个问题,我们以一个保存文件名的files数组列表为例:
- 当获取一个值时必须进行强制类型转换:
ArrayList files = new ArrayList();
. . .
String filename = (String)files.get(0);
- 当添加一个值时不进行类型检查,可以添加任何类的对象:
files.add(new File(". . ."));
此调用在编译和运行时都不会出错,但如果将get的结果强制转换为String会产生一个错误
为了解决上述问题,引入了类型参数。ArrayList有一个类型参数用来指示元素类型:ArrayList
,注意前后两个T必须一致,不能是子类和父类!因为在泛型中,如果A是B的子类,泛型类和泛型类之间并没有任何的关系。在Java SE 7及以后的版本,构造函数可以省略类型参数,即ArrayList
这种方法有三个好处:
1)get得到的值不必进行强制类型转换
2)向数组列表中添加对象时会进行类型检查,如果不符合类型,无法通过编译,出现编译错误比类在运行时出现类的强制转换异常要好得多
3)程序具有更好的可读性,比如ArrayList
一看就是聚集了String对象的数组列表
定义简单的泛型类
一个泛型类就是具有一个或多个类型变量的类,下面使用一个简单的Pair类作为例子:
public class Pair
{
private T first;
private T second;
public Pair() {first = null; second = null}
public Pair(T first,T second) {this.first = first; this.second = second}
public void setFirst(T newValue) {first = newValue;}
public void setSecond(T newValue) {second = newValue;}
}
Pair类引入了一个类型变量T,用尖括号括起来,并放在类名的后面。注意这里的T只是指定了一种类型,不代表类只有一个属性成员,而表示接下来类中出现的T都和尖括号里的类型保持一致,即类定义的类型变量指定方法返回类型以及域和局部变量的类型。
泛型类可以有多个类型变量,如可以定义两个域类型不同的Pair类public class Pair
类型变量命名规则:E表示集合的元素类型,K和V分别表示表的键和值的类型,T(需要时还可以用临近的字母U和S)表示“任意类型”。
实际使用中将类定义尖括号里的T替换为具体类型,类中的T也会进行相应的替换,所以,泛型类可以看作普通类的工厂
泛型方法
前面介绍了如何定义一个泛型类,下面我们来定义一个带有类型参数的简单泛型方法:
class ArrayAlg
{
public static T getMiddle(T...a)
{
return a[a.length / 2];
}
}
注意:
1)类型变量放在修饰符(这里是public static)的后面,返回类型的前面
2)泛型方法可以定义在普通类中,也可以定义在泛型类中
3)当调用一个泛型方法时,在方法名前的尖括号中放入具体的类型:
String middle = ArrayAlg.getMiddle("John","Q.","Public");
或者在Java1.7/1.8利用type inference,让Java自动推导出相应的类型参数:
String middle = ArrayAlg.getMiddle("John","Q.","Public");
我们注意到上面的泛型方法的参数必须是T类型,如果想要传入T类型的子类怎么办呢?我们可以把
改为,这样参数就可以接受T类型以及它的子类。类似的
则表示参数可以为T类型以及它的超类。以上统称为通配符。
类型变量的限定
有时,类或方法需要对类型变量加以约束。下面是一个典型的例子,我们要计算数组中的最小元素:
class ArrayAlg
{
public static T min(T[] a)
{
if(a == null || a.length == 0) return null;
T smallest = a[0];
for(int i = 1; i < a.length;i++)
if(smallest.compareTo(a[i]) > 0)
smallest = a[i];
return smallset;
}
}
我们会发现一个问题,smallest的类型为T,既可以是任何一个类的对象,如何保证T类型有compareTo方法呢?解决方法是限制T为实现了Comparable接口的类,即将泛型方法定义改为public static
注意:
1)限定类时如果实现的是接口也用extends关键字,如上面的T extends Comparable
2)只需要在尖括号里限定,之后的T不用再加限定
一个类型变量或通配符可以有多个限定,用'&'分隔限定类型,用逗号分隔类型变量,例如:T extends Comparable & Serializable
可以有多个接口限定和至多一个类限定,将标记接口(空接口)放在限定列表的末尾,如果用一个类作为限定,它必须是限定列表中的第一个。
这种限定方式称为边界符。
PECS原则
上面我们看到了类似的用法,利用它我们可以从list里面get元素,那么我们可不可以往list里面add元素呢?我们来尝试一下:
public class GenericsAndCovariance {
public static void main(String[] args) {
// Wildcards allow covariance:
List flist = new ArrayList();
// Compile Error: can't add any type of object:
// flist.add(new Apple())
// flist.add(new Orange())
// flist.add(new Fruit())
// flist.add(new Object())
flist.add(null); // Legal but uninteresting
// We Know that it returns at least Fruit:
Fruit f = flist.get(0);
}
}
答案是否定,Java编译器不允许我们这样做,为什么呢?对于这个问题我们不妨从编译器的角度去考虑。因为List flist它自身可以有多种含义:
List flist = new ArrayList();
List flist = new ArrayList();
List flist = new ArrayList();
- 当我们尝试add一个Apple的时候,flist可能指向new ArrayList
(); - 当我们尝试add一个Orange的时候,flist可能指向new ArrayList
(); - 当我们尝试add一个Fruit的时候,这个Fruit可以是任何类型的Fruit,而flist可能只想某种特定类型的Fruit,编译器无法识别所以会报错。
所以对于实现了的集合类只能将它视为Producer向外提供(get)元素,而不能作为Consumer来从外获取(add)元素。
如果我们要add元素应该怎么做呢?可以使用:
public class GenericWriting {
static List apples = new ArrayList();
static List fruit = new ArrayList();
static void writeExact(List list, T item) {
list.add(item);
}
static void f1() {
writeExact(apples, new Apple());
writeExact(fruit, new Apple());
}
static void writeWithWildcard(List list, T item) {
list.add(item)
}
static void f2() {
writeWithWildcard(apples, new Apple());
writeWithWildcard(fruit, new Apple());
}
public static void main(String[] args) {
f1(); f2();
}
}
这样我们可以往容器里面添加元素了,但是使用super的坏处是以后不能get容器里面的元素了,原因很简单,我们继续从编译器的角度考虑这个问题,对于List list,它可以有下面几种含义:
List list = new ArrayList();
List list = new ArrayList();
List list = new ArrayList
当我们尝试通过list来get一个Apple的时候,可能会get得到一个Fruit,这个Fruit可以是Orange等其他类型的Fruit。
根据上面的例子,我们可以总结出一条规律,”Producer Extends, Consumer Super”:
- “Producer Extends” – 如果你需要一个只读List,用它来produce T,那么使用? extends T。
- “Consumer Super” – 如果你需要一个只写List,用它来consume T,那么使用? super T。
- 如果需要同时读取以及写入,那么我们就不能使用通配符了。
如何阅读过一些Java集合类的源码,可以发现通常我们会将两者结合起来一起用,比如像下面这样:
public class Collections {
public static void copy(List dest, List src) {
for (int i=0; i
类型擦除
对于虚拟机来说没有泛型类型,只有普通类和方法。无论何时定义一个泛型类型,都自动提供了一个相应的原始类型。类型擦除就是说Java泛型只能用于在编译期间的静态类型检查,然后编译器生成的代码会擦除相应的类型信息,泛型类型会被转化为原始类型,这样到了运行期间实际上JVM根本就不知道泛型所代表的具体类型。原始类型就是删去类型参数后的泛型类型名。擦除类型变量,并替换为限定类型(无限定类型的变量替换为Object)。
例如,Pair
的原始类型如下:
public class Pair
{
private Object first;
private Object second;
public Pair() {first = null; second = null}
public Pair(Object first,Object second) {this.first = first; this.second = second}
public void setFirst(Object newValue) {first = newValue;}
public void setSecond(Object newValue) {second = newValue;}
}
因为T是一个无限定的参数变量,所以直接用Object替换
如果是T是一个限定类型的参数变量,用限定列表中的第一个类型替换,比如T extends Comparable & Serializable
被替换为Comparable
翻译泛型表达式
当泛型表达式编译时,编译器会将其编译为原始类型并加入强制类型转换。比如:
Pair buddies = . . . ;
Employee buddy = buddies.getFirst();
编译器会把这个方法调用翻译为两条虚拟机指令:
- 对原始方法Pair.getFirst的调用
- 将返回的Object类型强制转换为Employee类型
当存入一个泛型域时编译器也会自动在字节码中插入强制类型转换。
翻译泛型方法
类型擦除会发生一些问题,比如一个类subPair继承自类Pair
:
class SubPair extends Pair //继承一个泛型类
{
public void setFirst(String newValue){....}//重写了父类的方法
}
Pair在编译的时候被类型擦除,Pair的setFirst方法变为了setFirst(Object newValue),这样SubPair的setFirst(Stirng newValue)方法就无法覆盖父类中的setFirst(Object newValue)方法,因为参数不同,不是同一个方法。
SubPair中会出现两个方法:
public void setFirst(String newValue){....}
public void setFirst(Object newValue){....}
此时如果有如下测试代码:
SubPair p = new SubPair(. . .);
Pair pair = p;
p.setFirst("Hello world");
按理来说,这段测试代码应该不能通过编译,因为要实现多态的话,所调用的方法必须在子类中重写,但是在这里SubPair类并没有重写Pair类中的setFirst方法,只是单纯的继承而已,并且新加了一个参数不同的同名方法。
但结果可以运行,因为为了解决这种类型擦除和多态的冲突,编译器会在SubPair类中生成一个桥方法,上述两个方法被编译器变成了这样:
public void setFirst(String newValue){....} //子类定义的方法不变
//编译器生成的桥方法
public void setFirst(Object newValue)
{
setFirst((String) newValue);
//桥内部调用的是子类中定义的setFirst(String newValue)方法
}
可以看出,这个桥方法实际上就是对超类中setFirst(Object newValue)的重写。这样做的原因是,当程序员在子类中写下setFirst(String newValue)方法时,本意是对超类中的同名方法进行重写,但因为超类发生了类型擦除,所以实际上并没有重写成功,因此加入了桥方法的机制来避免类型擦除与多态发生冲突。
详见博客:Java中的类型擦除与桥方法
约束与局限性
在使用Java泛型时需要考虑一些限制。大多数限制都是由类型擦除引起的。
1.不能用基本类型实例化类型参数
类型参数不能为基本类型。比如,没有Pair
只有Pair
,其原因是类型擦除,因为擦除之后,Pair类含有Object类型的域,Object不能存储double值。
2.运行时类型查询只适用于原始类型
使用instanceof查询一个对象是否属于某个泛型类会产生编译错误,比如:
if(a instanceof Pair)//Error
同样的道理,getClass方法总是返回原始类型。例如:
Pair stringPair = . . .;
Pair employeePair = . . .;
if(stringPair.getClass() == employeePair.getClass()) //equal
其比较结果是true,因为两次调用getClass结果都返回Pair.class
3.不能创建参数化类型的数组
不能实例化参数化类型的数组,例如:
Pair[] table = new Pair [10];//Error
为什么编译器不支持上面这样的做法呢?继续使用逆向思维,我们站在编译器的角度来考虑这个问题。
我们先来看一下下面这个例子:
Object[] strings = new String[2];
strings[0] = "hi"; // OK
strings[1] = 100; // An ArrayStoreException is thrown.
对于上面这段代码还是很好理解,字符串数组不能存放整型元素,而且这样的错误往往要等到代码运行的时候才能发现,编译器是无法识别的。接下来我们再来看一下假设Java支持泛型数组的创建会出现什么后果:
Object[] stringLists = new List[]; // compiler error, but pretend it's allowed
stringLists[0] = new ArrayList(); // OK
// An ArrayStoreException should be thrown, but the runtime can't detect it.
stringLists[1] = new ArrayList();
假设我们支持泛型数组的创建,由于运行时期类型信息已经被擦除,JVM实际上根本就不知道new ArrayList
如果你对上面这一点还抱有怀疑的话,可以尝试运行下面这段代码:
public class ErasedTypeEquivalence {
public static void main(String[] args) {
Class c1 = new ArrayList().getClass();
Class c2 = new ArrayList().getClass();
System.out.println(c1 == c2); // true
}
}
最安全而有效的方法是使用ArrayList,即ArrayList
4.Varargs警告
考虑下面的方法,它有可变长的泛型类型参数ts:
public static void addAll(Collection coll,T...ts){
for(t : ts) coll.add(t);
}
现在如果调用:
Collection> table = . . .;
Pair pair1 = . . .;
Pair pair2 = . . .;
addAll(table,pair1,pair2);
JVM会为了可变长参数建立一个Pair
这里特别注意:Java不支持泛型类型的数组,但如果向参数个数可变的方法传递一个泛型类型的实例(即传递一个泛型类型对象的数组)这种规则有所放松,你只会得到一个警告,而不是错误。可以用@SuppressWarnings("unchecked")
或用@SafeVarags
标注addAll方法来抑制警告。
即如下:
@SafeVarargs
public static void addAll(Collection coll,T...ts)
现在就可以提供泛型类型来调用这个方法了。
5.不能实例化类型变量
不能使用像new T(...),new T[...]或T.class这样的表达式中的类型变量。例如,下面的Pair
构造器是非法的:
public Pair() {first = new T();second = new T();}//Error
类型擦除将T改变成Object,而且本意肯定不希望调用new Object()。在Java SE 8之后,最好的解决方法是让调用者提供一个构造器表达式。例如:
Pair p = Pair.makePair(String::new);
makePair方法接受一个Supplier
,这是一个函数式接口,表示一个无参数而且返回类型为T的函数:
public static Pair makePair(Supplier constr)
{
return new Pair<> (constr.get(),constr.get());
}
比较传统的解决方法是通过反射调用Class.newInstance方法来构造泛型对象。
遗憾的是,细节有点复杂。不能调用:
first = T.class.newInstance();//Error
表达式T.class是不合法的,因为它会被类型擦除为Object.class。必须像下面这样设计API以便得到一个Class对象:
public static Pair makePair(Class c1)
{
try {return new Pair<> (c1.newInstance(),c1.newInstance())};
catch(Exception ex) {return null;}
}
这个方法可以按照下列方式调用:
Pair p = Pair.makePair(String.class);
注意,Class类本身是泛型。例如,String.class是一个Class
的实例(事实上,它是唯一的实例)。因此,makePair方法能够推断除pair的类型。
6.不能构造泛型数组
就像不能实例化一个泛型实例一样,也不能实例化数组。不过原因有所不同,毕竟数组会填充null值,构造时看上去是安全的。不过,数组本身也有类型,用来监控存储在虚拟机中的数组。这个类型会被擦除。例如,考虑下面的例子:
public static T[] minmax(T[] a) {T[] mm = new T[2];}//Error
类型擦除会让这个方法永远构造Comparable[2]数组。
如果数组仅仅作为一个类的私有实例域,就可以将这个数组声明为Object[],并且在屈原素时进行类型转换。例如,ArrayList可以这样实现:
public class ArrayList
{
private Object[] elements;
. . .
@SuppressWarnings("unchecked")
public E get(int i) { return (E) elements[i];}//取元素时强制类型转换
public void set(int i,E e) { elements[i] = e;}//改变元素时不必强转
}
实际的实现没有那么清晰:
public class ArrayList
{
private E[] elements;
. . .
public ArrayList() {elements = (E[]) new Object[10];}
}
这里的强制类型转换E[]是一个假象,而类型擦除使其无法察觉。
由于 minmax 方法返回 T[] 数组,使得这一技术无法施展, 如果掩盖这个类型会有运行时错误结果。假设实现代码:
public static T[] minmax(T... a)
{
Object[] mm = new Object[2];
. . .
return (T[]) mm; // compiles with warning
}
调用 String[] ss = ArrayAlg.minmax("Tom", "Dick", "Harry");
编译时不会有任何警告。当 Object[] 引用赋给 Comparable[] 变量时,将会发生 ClassCastException异常。
在这种情况下, 最好让用户提供一个数组构造器表达式:
String[] ss = ArrayAlg.minmax (String[]::new,"Tom", "Dick", "Harry");
构造器表达式 String::new 指示一个函数,给定所需的长度,会构造一个指定长度的
String数组。
minmax方法使用这个参数生成一个有正确类型的数组:
public static constr, T... a)
{
T[] mm = constr.apply(2);
}
比较老式的方法是利用反射, 调用 Array.newInstance:
public static
ArrayList 类的 toArray 方法就没有这么幸运。它需要生成一个 T[] 数组, 但没有成分类型。因此, 有下面两种不同的形式:
Object[] toArray()
T[] toArray(T[] result)
第二个方法接收一个数组参数。如果数组足够大,就使用这个数组。否则,用 result 的成分类型构造一个足够大的新数组。
7.泛型类的静态上下文中类型变量无效
不能在静态域或方法中引用类型变量。例如, 下列高招将无法施展:
public class Singleton
{
private static T singlelnstance; // Error
public static T getSinglelnstanceO // Error
{
if (singleinstance == null) //construct new instance of T
return singlelnstance;
}
}
8.不能抛出或捕获泛型类的实例
既不能抛出也不能捕获泛型类对象。实际上, 甚至泛型类扩展 Throwable 都是不合法的。
例如, 以下定义就不能正常编译:
public class Problem extends Exception { /* . . . */ }
// Error can't extend Throwable
catch 子句中不能使用类型变量。例如, 以下方法将不能编译:
public static t)
{
try
{
do work
}
catch (T e) // Error can 't catch type variable
{
Logger.global.info(...)
}
}
不过,在异常规范中使用类型变量是允许的。以下方法是合法的:
public static void doWork(T t) throws T // OK
{
try
{
do work
}
catch (Throwable real Cause)
{
t.initCause(real Cause);
throw t;
}
}
9.可以消除对受查异常的检查
Java 异常处理的一个基本原则是, 必须为所有受查异常提供一个处理器。不过可以利用泛型消除这个限制。关键在于以下方法:
@SuppressWamings("unchecked")
public static void throwAs(Throwable e) throws T
{
throw (T) e;
}
假设这个方法包含在类 Block 中,如果调用Block.
编译器就会认为 t 是一个非受查异常。 以下代码会把所有异常都转换为编译器所认为的非受查异常:
try
{
do work
}
catch (Throwable t)
{
Block.throwAs(t) ;
}
下面把这个代码包装在一个抽象类中。用户可以覆盖 body 方法来提供一个具体的动作。调用 toThread 时, 会得到 Thread 类的一个对象, 它的 run 方法不会介意受查异常。
public abstract class Block
{
public abstract void body() throws Exception;
public Thread toThrea()
{
return new Thread()
{
public void run()
{
try
{
body();
}
catch (Throwable t)
{
Block. throwAs(t);
}
}
};
}
@SuppressWamings("unchecked")
public static void throwAs(Throwable e) throws T
{
throw (T) e;
}
例如, 以下程序运行了一个线程, 它会拋出一个受查异常。
public class Test
{
public static void main(String[] args)
{
new Block()
{
public void body() throws Exception
{
Scanner in = new Scanner(new File("ququx") ,"UTF-8");
while (in.hasNext())
System.out.println(in.next());
}
}
.toThread() .start();
}
}
运行这个程序时, 会得到一个栈轨迹, 其中包含一个FileNotFoundException ( 当然,假设你没有提供一个名为 ququx 的文件)。
这有什么意义呢? 正常情况下, 你必须捕获线程 run 方法中的所有受查异常, 把它们"包装"到非受查异常中, 因为 run 方法声明为不抛出任何受查异常。
不过在这里并没有做这种"包装"。我们只是抛出异常, 并"哄骗"编译器, 让它认为这不是一个受查异常。
通过使用泛型类、 擦除和 @SuppressWarnings 注解, 就能消除 Java 类型系统的部分基本限制。
注意擦除后的冲突
当泛型类型被擦除时,无法创建引发冲突的条件。下面是一个示例。假定像下面这样将equals 方法添加到 Pair 类中:
public class Pair
{
public boolean equals(T value) { return first.equals(value) && second.equals(value); }
}
考虑一个Pair
。从概念上讲,它有两个equals方法:
boolean equals(String) // defined in Pair
boolean equals(Object) // inherited from Object
但是,直觉把我们引入歧途。方法擦除boolean equals(T)
,就是boolean equals(Object)
与 Object.equals 方法发生冲突。
当然,补救的办法是重新命名引发错误的方法。
泛型规范说明还提到另外一个原则:"要想支持擦除的转换, 就需要强行限制一个类或类型变量不能同时成为两个接口类型的子类,而这两个接口是同一接口的不同参数化。"例如,
下述代码是非法的:
class Employee implements Coinparab1e { . . . }
class Manager extends Employee implements Comparable
{ . . . } // Error
Manager 会实现 Comparable
和 Comparable
, 这是同一接口的不同参数化。
这一限制与类型擦除的关系并不十分明确。毕竟,下列非泛型版本是合法的。
class Employee implements Comparable { . . . }
class Manager extends Employee implements Comparable { . . . }
其原因非常微妙, 有可能与合成的桥方法产生冲突。实现了 Comparable
的类可以获得一个桥方法:
public int compareTo(Object other) { return compareTo((X) other); }
对于不同类型的 X 不能有两个这样的方法。