泛型(Generic) 类型擦除

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

---

[Q&A] 判断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

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

---

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

---

[Q&A] 什么是类型上限？
在泛型类被类型擦除的时候，之前泛型类中的 类型参数 部分如果没有指定上限，则会被转译成普通的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