什么是类型擦除

泛型是 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