java - 泛型

目录

什么是泛型?

泛型类,接口派生子类

泛型通配符

类型擦除

---

什么是泛型?

       早期的Object类型可以接收任意的对象类型，但是在实际的使用中, 会有类型转换的问题。也就存在这隐患，所以Java提供了泛型来解决这个安全问题

      泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传
递实参。就是说 , 我们可以将类型向参数一样传递过去

 

//一个泛型类
//T可以为任意字符,如A,a,B等都可以
public class Demo1<T> { 
    private T num;

    public Demo1() {}

    public Demo1(T num) {
        this.num = num;
    }

    public void setNum(T num) {
        this.num = num;
    }

    public static void main(String[] args) {
        Demo1<Integer> demo1 = new Demo1<>(101);
    }
}

      如上 , 实际传入时需指明传入的实际类型 , 此处为Integer(泛型不能为int等基本类型,只能为引用类型) , 如果不指明则默认为object型
      当然也可以定义多个泛型

public class Demo1<T,A> { } 

泛型类,接口派生子类

       此处我们定义一个Demo2类继承上面的Demo1 类

可以看到 ,这样显然是不行的 , 那么此处有两种解决办法
1. 指明父类泛型的具体类型 ,如 : 

public class Demo2 extends Demo1<Integer>{
    
}

2. 子类也是泛型类, 如 :

public class Demo2<T> extends Demo1<T>{

}

子类也是泛型类，子类和父类的泛型类型要一致

子类不是泛型类，父类要明确泛型的数据类型

泛型接口与泛型类的定义及使用基本相同。
 

泛型通配符

相信很多人都见过这种写法

 ? 是什么意思呢  , 接着我们来解释
 ? 代表类型通配符 , 代表传入实参时 , 可以传入为任意类型 
例如, 上述demo1 中 new对象也可以这样写 

Demo1<?> demo1 = new Demo1<>(101);

       ? 只能代表传入的具体实参 , 类上面的是形参,所以?只能具体传入时使用, ? 表示实际传入的参数类型可以是任意的

类型通配符上限 : 类/接口<？extends 实参类型>

// ? extends Number
public static void method(Demo1<? extends Number> demo1){
}
public static void main(String[] args) {
   method(new Demo1<Integer>());
}

       如上 , 我们在method() 中传入的参数是上述定义的Demo1类类型 ,  ? extends Number的意思就是说我们实际传入的类型上限是 Number , 也就是说, 只有Number 和 Number的子类(此处传入为Integer , Number是Integer的父类)被实际传入才是合法的

类型通配符下限 : 类/ 接口 < ？ super 实参类型 >

    了解了上限 , 那么下限这里也就不难理解了 , 就是传入的必须是 自己或者自己的父类

public static void method1(Demo1<? super Number> demo1){
}
public static void main(String[] args) {
    method1(new Demo1<Object>());
}

此处必须传入Number 或者 Number的父类 (此处传入为Object类)

类型擦除

        泛型是Java 1.5版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很 好地和之前版本的代码兼容。那是因为，泛到信息只存在于代码编译阶段，在进入JVM之前，与泛型相关的信息会被擦除掉，我们称之为一类型擦除. 泛型类被类型擦除后，相应的类型就被替换成 Object 类型或者上限类型.

       就是说 , 泛型只存在于编译期期间 , 真正执行代码的时候 , 是没有泛型这个概念的, 它只是在编译期对我们传入的类型做了约束