Java中泛型是类型擦除的

        Java 泛型(Generic)的引入加强了参数类型的安全性,减少了类型的转换,但有一点需要注意:Java 的泛型在编译器有效,在运行期被删除,也就是说所有泛型参数类型在编译后都会被清除掉,看下面一个列子,代码如下:

public class Foo {
    public void listMethod(List stringList){
    }
    public void listMethod(List intList) {
    }
}
        代码很简单,看起来没什么问题,但是编译器却报出如下错误信息:

        Method listMethod(List) has the same erasure listMethod(List) as another method in type Foo

        此错误的意思是说listMethod(List) 方法在编译时擦除类型后的方法是listMethod(List),它与另外一个方法重复,也就是方法签名重复。反编译之后的方法代码如下:

public void listMethod(List list)
{
}
        从上面代码可以看出 Java 编译后的字节码中已经没有泛型的任何信息,在编译后所有的泛型类型都会做相应的转化,转化如下:

  • List、List 擦除后的类型为 List。
  • List、List[] 擦除后的类型为 List[]。
  • List、List 擦除后的类型为 List
  • List 擦除后类型为 List

        Java 为什么这么处理呢?有以下两个原因:

  1. 避免 JVM 的大换血。如果 JVM 将泛型类型延续到运行期,那么到运行期时 JVM 就需要进行大量的重构工作了,提高了运行期的效率。
  2. 版本兼容。 在编译期擦除可以更好地支持原生类型(Raw Type)。

        明白了 Java 泛型是类型擦除的,下面的问题就很好理解了:

        (1) 泛型的 class 对象是相同的

        每个类都有一个 class 属性,泛型化不会改变 class 属性的返回值,例如:

public static void main(String[] args) {
	List ls = new ArrayList();
	List li = new ArrayList();
	System.out.println(ls.getClass() == li.getClass());
}
        代码返回值为 true,原因很简单,List 和 List 擦除后的类型都是 List。

        (2) 泛型数组初始化时不能声明泛型类型

        如下代码编译时通不过:

List[] list = new List[];
        在这里可以声明一个带有泛型参数的数组,但是不能初始化该数组,因为执行了类型擦除操作后,List[] 与 List[] 就是同一回事了,编译器拒绝如此声明。

        (3) instanceof 不允许存在泛型参数

        以下代码不能通过编译,原因一样,泛型类型被擦除了。

List list = new ArrayList();
System.out.println(list instanceof List);
        错误信息如下:

Cannot perform instanceof check against parameterized type List. Use the form List instead since further generic type information will be erased at runtime

你可能感兴趣的:(Java中泛型是类型擦除的)