初步认识泛型

泛型的编译

擦除机制

泛型到底是怎么编译的？这个问题，也是曾经的一个面试问题。泛型本质是非常难的语法

通过命令：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;
   }
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

public static void main(String[] args) {
    MyArray<Integer> myArray1 = new MyArray<>(Integer.class,10);
 
    Integer[] integers = myArray1.getArray();
 
}
1
2
3
4
5
6

泛型的上界

在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。

class 泛型类名称<类型形参 extends 类型边界> {
…
}

示例

public class MyArray<E extends Number> {
   ...
}
1
2
3

• 只接受 Number 的子类型作为 E 的类型实参
• 没有指定类型边界 E，可以视为 E extends Object

泛型方法

方法限定符 <类型形参列表> 返回值类型 方法名称(形参列表) {
…
}

示例