泛型扩展.

为什么使用泛型

为解决Object类接收任意类型时的类型转换问题，这会存在隐患

使用泛型，编译期间就会对传入的参数进行类型检测，实际上存储还是object类型

什么是泛型

即参数化类型，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）

泛型类

泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口

1. 泛型的类型参数只能是类类型
2. 泛型的类型参数可以有多个
3. 如果没有定义具体类型,默认为Object

泛型类派生子类

public class DemoA<T> {
    T pram;

    public T getPram() {
        return pram;
    }

    public void setPram(T pram) {
        this.pram = pram;
    }
}

1. 子类也是泛型类，子类和父类的泛型类型要一致，new()时确定类型 class A< T> extends Demo< T>

   public class DemoB<T> extends DemoA<T> {
       public static void main(String[] args) {
           DemoB<String> demo = new DemoB<>();
           demo.setPram("abc");
       }
   }
   

2. 子类不是泛型类，父类要明确泛型的数据类型 class A extends Demo< String>

   public class DemoB extends DemoA<String> {
       public static void main(String[] args) {
           DemoB demoB = new DemoB();
           demoB.setPram("abc");
       }
   }
   

泛型通配符

？ 类型通配符（任意的） 用来定义表示实际参数的类型

public class DemoB<T> extends DemoA<String> {

    public void test(DemoB<?> db) {

    }

    public static void main(String[] args) {
        DemoB<Integer> iDemoB = new DemoB<>();
        	iDemoB.test(iDemoB);
        DemoB<String> sDemoB = new DemoB<>();
        	sDemoB.test(sDemoB);
    }
}

类型通配符上限

要求该泛型的类型，只能是实参类型，或实参类型的子类类型

类型通配符下限

要求该泛型的类型，只能是实参类型，或实参类型的父类类型

类型擦除

泛到信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉；泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型