泛型的编译
擦除机制
泛型到底是怎么编译的？这个问题，也是曾经的一个面试问题。泛型本质是非常难的语法
通过命令：javap -c 查看字节码文件，所有的T都是Object。
在编译的过程当中，将所有的T替换为Object这种机制，称为：擦除机制。
Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息。
有关泛型擦除机制的文章介绍
关于为什么不能实例化泛型类型数组
通俗讲就是：返回的Object数组里面，可能存放的是任何的数据类型，可能是String，可能是Person，运行的时候，直接转给Integer类型的数组，编译器认为是不安全的。
class MyArray<T> {
public T[] array;
public MyArray() {
}
public MyArray(Class<T> clazz, int capacity) {
array = (T[])Array.newInstance(clazz, capacity);
}
public T getPos(int pos) {
return this.array[pos];
}
public void setVal(int pos,T val) {
this.array[pos] = val;
}
public T[] getArray() {
return array;
}
}
public static void main(String[] args) {
MyArray<Integer> myArray1 = new MyArray<>(Integer.class,10);
Integer[] integers = myArray1.getArray();
}
泛型的上界
在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。
class 泛型类名称<类型形参 extends 类型边界> {
…
}
示例
public class MyArray<E extends Number> {
...
}
- 只接受 Number 的子类型作为 E 的类型实参
- 没有指定类型边界 E，可以视为 E extends Object
泛型方法
方法限定符 <类型形参列表> 返回值类型 方法名称(形参列表) {
…
}
示例
