java 重载 泛型_学会Java泛型系列（四）：擦除带来的问题以及解决办法

擦除带来的问题

擦除主要的正当理由是从非泛化代码到泛化代码的转变过程，以及在不破坏现有类库的情况下，将泛型融入Java中。

1.泛型不能用于显式地引用运行时类型的操作之中，例如instanceof、new

class Erased{

public void f(T t,String a){

//T t = new T(); //error

//T[] ts = new T[100]; //error

//boolean k = a instanceof T; //error

}

}

我们可以把具体类型的Class传进来解决部分问题

class Erased{

Class kind;

public Erased(Class kind){

this.kind = kind;

}

public void f(String a) throws Exception{

T t = kind.newInstance(); //这个类需要有默认构造器，反射知识

T[] ts = (T[]) Array.newInstance(kind,10);

boolean k = kind.isInstance(a);

}

}

2.基本类型不能作为参数类型

由于擦除的原因，类型参数会被擦除到上一边界，边界是一个类，不兼容基本类型，所以不能声明List。

Java1.5后有自动包装机制，可以用List实现基本类型的泛化。但是要注意int[]与Integer[]是转化的，在一些需要传Integer[]的地方不能传int[].

3.数组

可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象

List[] stringLists; //可以声明带泛型的数组引用

List[] stringLists2 = new ArrayList[1];//不能直接创建带泛型的数组对象

List[] stringLists3 = new ArrayList[1];

可以通过Array.newInstance(Class,int)来创建T[]

4.重载

class Holder{

void f(List list){}

void f(List list){}

}

上面的代码将会编译不通过，由于擦除的原因，这两个方法的类型签名是一样的。

5.基类劫持了接口

interface Run{

void with(T t);

}

class Animal implements Run{

@Override

public void with(Integer integer) {}

}

public class Dog extends Animal implements Run{}//报错

子类与父类继承用一个泛型接口，如果两个泛型类型不同，将会被父类类型劫持

目录