范式就是将数据类型作为参数传递给类进行使用需要什么类就传递什么类
泛型类 变量名; // 定义一个泛型类引用
new 泛型类(构造方法实参); // 实例化一个泛型类对象
1.将类型显示出来
MyArray<Integer> list = new MyArray<Integer>();
2.推导出来类型
MyArray<Integer> list = new MyArray<>(); // 可以推导出实例化需要的类型实参为 Integer
优点:数据类型参数化,编译时自动进行类型检查和转换。
T[] ts = new T[5];//报错
T[] a = (T[]) new Object[N];//正确
泛型是编译时期存在的当程序运行起来到JVM(运行)之后就没有泛型的概念了,所以在运行之后仍然不知道他是一个什么类型的数组就不能创建了并且其的擦除机制只是在编译使其间T变形成了object但在运行时期必须传入一个类型才能确认并且创建成功java的数组在编译时期必须确认是什么。类型范式的擦除机制会使T在编译时期变为Object类型,返回的Object数组里面,可能存放的是任何的数据类型,可能是String,可能是Person,运行的时 候,直接转给Integer类型的数组,编译器认为是不安全的。
范式的上界的作用:只接受Number的子类型作为E的类型实参;
public class MyArray<E extends Number> {}
MyArray<Integer> l1;//正确为Number的子类
MyArray<String> l2;//错误不为子类
E:可以视为 E extends Object;
范式的方法
public class Util {
//静态的泛型方法需要在static后用<>声明泛型类型参数
public static <E> void swap(E array, int i, int j) {
E t = array[i];
array[i= array[i];
array[i]= t;
}
}
lnteger[]a = { ...};
swap(a, 0.9);
string[ ]b={ ...};
swap(b,0.9);