泛型(Generic) 类型擦除

曾经终败给现在 2024-03-22 17:09 142阅读 0赞

### 什么是类型擦除 ###

泛型是 Java 1.5 版本才引进的概念，在这之前是没有泛型的概念的，但是泛型代码能够很好地和之前版本的代码很好地兼容。这是因为，**泛型信息只存在于代码编译阶段**，在进入 JVM 之前，与泛型相关的信息会被擦除掉，专业术语叫做"`类型擦除`"。

--------------------

### 判断`ArrayList<String>`与`ArrayList<Integer>`是否相等？ ###

ArrayList<String> a = new ArrayList<String>();
    ArrayList<Integer> b = new ArrayList<Integer>();
    
    Class c1 = a.getClass();
    Class c2 = b.getClass();
    
    System.out.println(c1 == c2); // true

输出的结果是 *`true`*。因为无论对于 `ArrayList<String>`还是 `ArrayList<Integer>`，它们的 *`Class类型`* 都是 `ArrayList.class`。

那它们声明时指定的 String 和 Integer 的作用到底体现在哪里呢？  
`体现在类编译的时候`。当 JVM 进行类编译时，会进行`泛型检查`，如果一个集合被声明为 *`String`* 类型，那么它往该集合存取数据的时候就会对数据进行判断，从而避免存入或取出错误的数据。

Array中可以用泛型吗?  
不可以。这也是为什么 **Joshua Bloch** 在 **《Effective Java》** 一书中建议使用 *`List`* 来代替 *`Array`*，因为  
*`List`* 可以提供编译期的类型安全保证，而 *`Array`* 却不能。

--------------------

### 判断`MyClass<String>`与`MyClass<Integer>`是否相等？ ###

class MyClass<T> {
        
        private T message;
    	...
    }
    
    MyClass<String> myClass1 = new MyClass<>();
    MyClass<Integer> myClass2 = new MyClass<>();
    
    System.out.println(myClass1.getClass() == myClass2.getClass()); //true

打印的结果为 `true` 是因为 *`MyClass<String>`* 和 *`MyClass<Integer>`* 在 jvm 中的 Class 都是 `MyClass.class`。

--------------------

### 类型上限 ###

在泛型类被类型擦除的时候，之前泛型类中的 `类型参数` 部分如果没有指定上限，则会被转译成普通的`Object类型`，如果指定了上限则类型参数就被替换成`类型上限`。

class MyClass<T, E> {
        
        private T message;
        private E text;
    	...
    }

Class cls = myClass1.getClass();
    
    Field[] fields = cls.getDeclaredFields();
    
    for (Field field : fields) {
        
        System.out.println(field.getType());
    }
        
    //class java.lang.Object
    //class java.lang.Object

class MyClass<T, E extends Number> {
        
        private T message;
        private E text;
    	...
    }

MyClass<String, Integer> myClass1 = new MyClass<>();
    
    Class cls = myClass1.getClass();
    Field[] fields = cls.getDeclaredFields();
    
    for (Field field : fields) {
        
        System.out.println(field.getType());
    }
    
    //class java.lang.Object
    //class java.lang.Number