[Java知识库]泛型

1. 泛型类
2. 泛型接口
3. 泛型方法
4. 限定类型变量
5. 类型擦除机制
6. 泛型中的约束
   (1)静态类型变量失效
   （2）不能实例化类型变量
   （3）不能用基本类型实例化泛型参数
   （4）instanceof只适用于原始类型
   （5）不能实例化参数类型数组
   （6）泛型类对于原始类继承规则
7. 通配符
   （1）？ extends X
   （2）？ super X
   （3）？

’
1.泛型类

引入变量T，并用尖括号括起来

    class Fruit<T,K>{
        private T type1;
        private K type2;

        public Fruit(T type1, K type2) {
            this.type1 = type1;
            this.type2 = type2;
        }

        public T getType1() {
            return type1;
        }

        public void setType1(T type1) {
            this.type1 = type1;
        }

        public K getType2() {
            return type2;
        }

        public void setType2(K type2) {
            this.type2 = type2;
        }
    }

2.泛型接口

    interface Food<T>{
        public T next();
    }

3.泛型方法

        private <T> T genericMethod(T...type){
            return type[type.length / 2];
        }

在泛型类中，为泛型成员变量get()set()方法只是普通方法

        public T getType1() {
            return type1;
        }

        public void setType1(T type1) {
            this.type1 = type1;
        }

4.限定类型变量

有时候我们需要对泛型类型加以约束

这里需要比较a,b的大小，但是不知道有没有compareTo方法

将泛型类型规定为必须实现了Comparable接口的类

5. 类型擦除机制

java的泛型是JDK5引入的新特性，为了向下兼容，虚拟机其实是不支持泛型的，
只在程序源码中存在，编译后的字节码就会被替换为原生类型，jav实现的是伪泛型
也就是说
java在编译期擦除了所有泛型信息，这样就不需要产生新的类型到字节码
所有的泛型信息最终都是原始类型，在运行时根本不存在泛型信息

Java编译器是如何擦除泛型信息的

1.检查泛型类型，获取目标类型
2.擦除类型变量，并替换为限定类型
->如果泛型类型没有限定<T>则用Object作为原始类型
->如果有限定<T> extends XClass,则用XClass作为原始类型
->如果有多个限定<T> extends XClass1 & XClass2 ,则使用第一个限定
3.在必要的时候插入类型转换保证类型安全
4.生成桥方法保证多态

泛型擦除了依然可以用反射得到泛型信息

因为泛型虽然被擦除了，但是会保留在类常量池中

6. 泛型中的约束

(1)静态类型变量失效

不可以在泛型中\静态代码块中定义 静态泛型成员变量

因为只有实例化类后才知道泛型T的类型，而静态代码块\静态成员变量在类实例化前就已经存在，此时还不知道泛型的类型

（2）不能实例化类型变量

private T type2 = new T();

（3）不能用基本类型实例化泛型参数

        List<Integer> list = new ArrayList<>();
        List<int> list2 = new ArrayList<>();    //报错

（4）instanceof只适用于原始类型

	List<Integer> list = new ArrayList<>();
    System.out.println(list1 instanceof List<Integer>); //报错

（5）不能实例化参数类型数组

        Fruit<jylFather>[] fruits = new Fruit<jylFather>[10];   //报错

因为泛型信息被擦除后，就不满足数组的协变要求

（6）泛型类对于原始类继承规则

对于原始类

对于泛型类

在泛型类中传入的，对于T原始类的继承关系是模糊的

        //对于原始类的继承关系的模糊的    -》  公共父类都是Object
        Fruit<jylSon> son = new Fruit<>();
        Fruit<jylFather> father = new Fruit<>();
        System.out.println(son.getClass().getName());
        System.out.println(father.getClass().getName());

        List<Fruit<jylFather>> list1 = new ArrayList<>();
        List<Apple<jylSon>> list2 = new ArrayList<>();
        System.out.println(list1.getClass());
        System.out.println(list2.getClass());

在泛型里，原始类的继承关系没有了
所以不存在 泛型类<Father> 与 泛型类<Son>的强转与赋值关系

7 .通配符

因为在泛型类中对于原始类的继承关系是不存在的，所以不能方便的赋值，
通配符就是为了解决这种问题

（1）？ extends X
规定X为上界，传入的泛型必须是X或者X的子类

对于extends来说 是不能使用set方法的
->因为类型被擦除后，不能保证是哪个子类
为了避免子类赋值给孙类grandSon = son，所以不能使用set()
但是可以使用get()方法，可以固定返回X类

？ extends X，可以安全的访问数据get()
X及子类可以安全的转型为X

（2）？ super X
规定X为下界，传入的泛型必须是X或者X的父类

对于? super X来说
set方法可以传入X或者X的子类，但是不能传入X的父类
->因为类型被擦除后，不能保证是哪个子类
get方法会固定返回Object，因为可以确定的是Object是所有类的父类

主要用于安全地写入数据set()
X及父类都可以赋值给X

（3）？

可以用来保证安全

（4）Java泛型的PECS原则

Production Extends Consume Super
Extends是生产者只取值 ->get
Super是消费者只存值 ->set