泛型是一种“代码模板”,可以用一套代码套用各种类型。
ArrayList
向上转型为List
(T
不能变!),但不能把ArrayList
向上转型为ArrayList
(T
不能变成父类)。在讲解什么是泛型之前,我们先观察Java标准库提供的ArrayList
,它可以看作“可变长度”的数组,因为用起来比数组更方便。
实际上ArrayList
内部就是一个Object[]
数组,配合存储一个当前分配的长度,就可以充当“可变数组”:
public class ArrayList {
private Object[] array;
private int size;
public void add(Object e) {...}
public void remove(int index) {...}
public Object get(int index) {...}
}
如果用上述ArrayList
存储String
类型,会有这么几个缺点:
需要强制转型;
不方便,易出错。
例如,代码必须这么写:
ArrayList list = new ArrayList();
list.add("Hello");
// 获取到Object,必须强制转型为String:
String first = (String) list.get(0);
很容易出现ClassCastException,因为容易“误转型”:
list.add(new Integer(123));
// ERROR: ClassCastException:
String second = (String) list.get(1);
要解决上述问题,我们可以为String
单独编写一种ArrayList
public class StringArrayList {
private String[] array;
private int size;
public void add(String e) {...}
public void remove(int index) {...}
public String get(int index) {...}
}
这样一来,存入的必须是String
,取出的也一定是String
,不需要强制转型,因为编译器会强制检查放入的类型:
StringArrayList list = new StringArrayList();
list.add("Hello");
String first = list.get(0);
// 编译错误: 不允许放入非String类型:
list.add(new Integer(123));
问题暂时解决。然而,新的问题是,如果要存储Integer
,还需要为Integer
单独编写一种ArrayList
public class IntegerArrayList {
private Integer[] array;
private int size;
public void add(Integer e) {...}
public void remove(int index) {...}
public Integer get(int index) {...}
}
实际上,还需要为其他所有class单独编写一种ArrayList
:
这是不可能的,JDK的class就有上千个,而且它还不知道其他人编写的class。
为了解决新的问题,我们必须把ArrayList
变成一种模板:ArrayList
,代码如下
public class ArrayList
{
private T[] array;
private int size;
public void add(T e) {...}
public void remove(int index) {...}
public T get(int index) {...}
}
T
可以是任何class。这样一来,我们就实现了:编写一次模版,可以创建任意类型的ArrayList
// 创建可以存储String的ArrayList:
ArrayList strList = new ArrayList();
// 创建可以存储Float的ArrayList:
ArrayList floatList = new ArrayList();
// 创建可以存储Person的ArrayList:
ArrayList personList = new ArrayList();
因此,泛型就是定义一种模板,例如ArrayList
,然后在代码中为用到的类创建对应ArrayList<类型>
由编译器针对类型作检查:
ArrayList strList = new ArrayList();
strList.add("hello"); // OK
String s = strList.get(0); // OK
strList.add(new Integer(123)); // compile error!
Integer n = strList.get(0); // compile error!
这样一来,既实现了编写一次,万能匹配,又通过编译器保证了类型安全:这就是泛型。
在Java标准库中的ArrayList
实现了List
接口,它可以向上转型为List
public class ArrayList
implements List {...}
List
list = new ArrayList ();
即类型ArrayList
可以向上转型为List
。
要特别注意:不能把ArrayList
向上转型为ArrayList
或List
。
这是为什么呢?假设ArrayList
可以向上转型为ArrayList
,观察一下代码
// 创建ArrayList
类型:
ArrayListintegerList = new ArrayList ();
// 添加一个Integer:
integerList.add(new Integer(123));
// “向上转型”为ArrayList:
ArrayListnumberList = integerList;
// 添加一个Float,因为Float也是Number:
numberList.add(new Float(12.34));
// 从ArrayList获取索引为1的元素(即添加的Float):
Integer n = integerList.get(1); // ClassCastException!
我们把一个ArrayList
转型为ArrayList
类型后,这个ArrayList
就可以接受Float
类型,因为Float
是Number
的子类。但是,ArrayList
实际上和ArrayList
是同一个对象,也就是ArrayList
类型,它不可能接受Float
类型, 所以在获取Integer
的时候将产生ClassCastException。
实际上,编译器为了避免这种错误,根本就不允许把ArrayList
转型为ArrayList
。ArrayList
替换为需要的class类型,例如:ArrayList
,ArrayList
等;List list = new ArrayList<>();
;
视为Object
类型;使用ArrayList
时,如果不定义泛型类型时,泛型类型实际上就是Object
:
// 编译器警告:
List list = new ArrayList();
list.add("Hello");
list.add("World");
String first = (String) list.get(0);
String second = (String) list.get(1);
此时,只能把
当作Object
使用,没有发挥泛型的优势。当我们定义泛型类型
后,List
的泛型接口变为强类型List
// 无编译器警告:
Listlist = new ArrayList ();
list.add("Hello");
list.add("World");
// 无强制转型:
String first = list.get(0);
String second = list.get(1);
当我们定义泛型类型
后,List
的泛型接口变为强类型List
List list = new ArrayList();
list.add(new Integer(123));
list.add(new Double(12.34));
Number first = list.get(0);
Number second = list.get(1);
编译器如果能自动推断出泛型类型,就可以省略后面的泛型类型。例如,对于下面的代码:
List list = new ArrayList();
编译器看到泛型类型List
就可以自动推断出后面的ArrayList
的泛型类型必须是ArrayList
,因此,可以把代码简写为:
// 可以省略后面的Number,编译器可以自动推断泛型类型:
List list = new ArrayList<>();
除了ArrayList
使用了泛型,还可以在接口中使用泛型。例如,Arrays.sort(Object[])
可以对任意数组进行排序,但待排序的元素必须实现Comparable
这个泛型接口:
public interface Comparable {
/**
* 返回负数: 当前实例比参数o小
* 返回0: 当前实例与参数o相等
* 返回正数: 当前实例比参数o大
*/
int compareTo(T o);
}
可以直接对String
数组进行排序:
import java.util.Arrays;
public class Main {
public static void main(String[] args) {
String[] ss = new String[] { "Orange", "Apple", "Pear" };
Arrays.sort(ss);
System.out.println(Arrays.toString(ss));
}
}
这是因为String
本身已经实现了Comparable
接口。如果换成我们自定义的Person
类型试试
import java.util.Arrays;
public class Main {
public static void main(String[] args) {
Person[] ps = new Person[] {
new Person("Bob", 61),
new Person("Alice", 88),
new Person("Lily", 75),
};
Arrays.sort(ps);
System.out.println(Arrays.toString(ps));
}
}
class Person {
String name;
int score;
Person(String name, int score) {
this.name = name;
this.score = score;
}
public String toString() {
return this.name + "," + this.score;
}
}
运行程序,我们会得到ClassCastException
,即无法将Person
转型为Comparable
。我们修改代码,让Person
实现Comparable
接口
class Person implements Comparable
{ ...}
运行上述代码,可以正确实现按name
进行排序。也可以修改比较逻辑,例如,按score
从高到低排序。请自行修改测试。
;
,必须定义其他类型(例如
)来实现静态泛型方法;Map
。编写泛型类比普通类要复杂。通常来说,泛型类一般用在集合类中,例如ArrayList
,我们很少需要编写泛型类。如果我们确实需要编写一个泛型类,那么,应该如何编写它?可以按照以下步骤来编写一个泛型类。首先,按照某种类型,例如:String
,来编写类
public class Pair {
private String first;
private String last;
public Pair(String first, String last) {
this.first = first;
this.last = last;
}
public String getFirst() {
return first;
}
public String getLast() {
return last;
}
}
然后,标记所有的特定类型,这里是String
:
public class Pair {
private String first;
private String last;
public Pair(String first, String last) {
this.first = first;
this.last = last;
}
public String getFirst() {
return first;
}
public String getLast() {
return last;
}
}
最后,把特定类型String
替换为T
,并申明
public class Pair
{
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;
}
}
熟练后即可直接从T
开始编写。
编写泛型类时,要特别注意,泛型类型
不能用于静态方法。
public class Pair
{
private T first;
private T last;
public Pair(T first, T last) {
this.first = first;
this.last = last;
}
public T getFirst() { ... }
public T getLast() { ... }// 对静态方法使用
:
public static Paircreate(T first, T last) {
return new Pair(first, last);
}
}
上述代码会导致编译错误,我们无法在静态方法create()
的方法参数和返回类型上使用泛型类型T
。
// 可以在
static
修饰符后面加一个,编译就能通过,但实际上,这个
和
Pair
类型的已经没有任何关系了。
public staticPair create(T first, T last) {
return new Pair(first, last);
}
对于静态方法,我们可以单独改写为“泛型”方法,只需要使用另一个类型即可。对于上面的create()
静态方法,我们应该把它改为另一种泛型类型,例如,
:
// 静态泛型方法应该使用其他类型区分:
public static Pair create(K first, K last) {
return new Pair(first, last);
}
这样才能清楚地将静态方法的泛型类型和实例类型的泛型类型区分开。
泛型类型是在实例化对象时确定的,而静态方法是在类加载时就可以直接调用的,无需创建对象实例。所以静态方法中的返回值、参数等不能依赖泛型类型
此外,静态方法是与类本身相关联的,而不是与类的实例相关联的。因此,即使创建了一个类的实例,静态方法也无法访问实例的泛型类型。
泛型还可以定义多种类型。例如,我们希望Pair
不总是存储两个类型一样的对象,就可以使用类型
public class Pair {
private T first;
private K last;
public Pair(T first, K last) {
this.first = first;
this.last = last;
}
public T getFirst() { ... }
public K getLast() { ... }
}
使用的时候,需要指出两种类型:
Pair p = new Pair<>("test", 123);
Java标准库的Map
就是使用两种泛型类型的例子。它对Key使用一种类型,对Value使用另一种类型。
:
int
;Class
,例如:Pair.class
;x instanceof Pair
;T
类型,例如:new T()
。public boolean equals(T obj)
;
。泛型是一种类似”模板代码“的技术,不同语言的泛型实现方式不一定相同。Java语言的泛型实现方式是擦拭法(Type Erasure)。所谓擦拭法是指,虚拟机对泛型其实一无所知,所有的工作都是编译器做的。
例如,我们编写了一个泛型类Pair
,这是编译器看到的代码
public class Pair {
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 class Pair {
private Object first;
private Object last;
public Pair(Object first, Object last) {
this.first = first;
this.last = last;
}
public Object getFirst() {
return first;
}
public Object getLast() {
return last;
}
}
因此,Java使用擦拭法实现泛型,导致了:
视为Object
;
实现安全的强制转型。使用泛型的时候,我们编写的代码也是编译器看到的代码:
Pair p = new Pair<>("Hello", "world");
String first = p.getFirst();
String last = p.getLast();
而虚拟机执行的代码并没有泛型:
Pair p = new Pair("Hello", "world");
String first = (String) p.getFirst();
String last = (String) p.getLast();
所以,Java的泛型是由编译器在编译时实行的,编译器内部永远把所有类型T
视为Object
处理,但是,在需要转型的时候,编译器会根据T
的类型自动为我们实行安全地强制转型。
了解了Java泛型的实现方式——擦拭法,我们就知道了Java泛型的局限:
局限一:
不能是基本类型,例如int
,因为实际类型是Object
,Object
类型无法持有基本类型:
Pair p = new Pair<>(1, 2); // compile error!
局限二:无法取得带泛型的Class
。观察以下代码:
public class Main {
public static void main(String[] args) {
Pair p1 = new Pair<>("Hello", "world");
Pair p2 = new Pair<>(123, 456);
Class c1 = p1.getClass();
Class c2 = p2.getClass();
System.out.println(c1==c2); // true
System.out.println(c1==Pair.class); // true
}
}
class Pair {
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;
}
}
因为T
是Object
,我们对Pair
和Pair
类型获取Class
时,获取到的是同一个Class
,也就是Pair
类的Class
。换句话说,所有泛型实例,无论T
的类型是什么,getClass()
返回同一个Class
实例,因为编译后它们全部都是Pair
。
局限三:无法判断带泛型的类型
Pair p = new Pair<>(123, 456);
// Compile error:
if (p instanceof Pair) {
}
原因和前面一样,并不存在Pair
,而是只有唯一的Pair.class
。
局限四:不能实例化T
类型
public class Pair {
private T first;
private T last;
public Pair() {
// Compile error:
first = new T();
last = new T();
}
}
上述代码无法通过编译,因为构造方法的两行语句:
first = new T();
last = new T();
擦拭后实际上变成了:
first = new Object();
last = new Object();
这样一来,创建new Pair
和创建new Pair
就全部成了Object
,显然编译器要阻止这种类型不对的代码。
要实例化T
类型,我们必须借助额外的Class
参数:
public class Pair
{
private T first;
private T last;
public Pair(Classclazz ) {
first = clazz.newInstance();
last = clazz.newInstance();
}
}
上述代码借助Class
参数并通过反射来实例化T
类型,使用的时候,也必须传入Class
。例如:
Pair pair = new Pair<>(String.class);
因为传入了Class
的实例,所以我们借助String.class
就可以实例化String
类型。
有些时候,一个看似正确定义的方法会无法通过编译。例如:
public class Pair {
public boolean equals(T t) {
return this == t;
}
}
这是因为,定义的equals(T t)
方法实际上会被擦拭成equals(Object t)
,而这个方法是继承自Object
的,编译器会阻止一个实际上会变成覆写的泛型方法定义。
换个方法名,避开与Object.equals(Object)
的冲突就可以成功编译:
public class Pair {
public boolean same(T t) {
return this == t;
}
}
一个类可以继承自一个泛型类。例如:父类的类型是Pair
,子类的类型是IntPair
,可以这么继承
public class IntPair extends Pair {
}
使用的时候,因为子类IntPair
并没有泛型类型,所以,正常使用即可:
IntPair ip = new IntPair(1, 2);
前面讲了,我们无法获取Pair
的T
类型,即给定一个变量Pair
,无法从p
中获取到Integer
类型。但是,在父类是泛型类型的情况下,编译器就必须把类型T
(对IntPair
来说,也就是Integer
类型)保存到子类的class文件中,不然编译器就不知道IntPair
只能存取Integer
这种类型。在继承了泛型类型的情况下,子类可以获取父类的泛型类型。例如:IntPair
可以获取到父类的泛型类型Integer
。获取父类的泛型类型代码比较复杂:
import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;
public class Main {
public static void main(String[] args) {
Class clazz = IntPair.class;
Type t = clazz.getGenericSuperclass();
if (t instanceof ParameterizedType) {
ParameterizedType pt = (ParameterizedType) t;
Type[] types = pt.getActualTypeArguments(); // 可能有多个泛型类型
Type firstType = types[0]; // 取第一个泛型类型
Class> typeClass = (Class>) firstType;
System.out.println(typeClass); // Integer
}
}
}
class Pair {
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;
}
}
class IntPair extends Pair {
public IntPair(Integer first, Integer last) {
super(first, last);
}
}