jdk泛型掌握

jdk泛型掌握

1 .概述

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

2.泛型的使用

泛型有三种使用方式，分别为：泛型类、泛型接口、泛型方法

2.1  泛型类

泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种容器类，如：List、Set、Map。

泛型类的最基本写法

class 类名称 <泛型标识：可以随便写任意标识号，标识指定的泛型的类型>{
  private 泛型标识 /*（成员变量类型）*/ var; 
  .....

  }
}

泛型类demo

package com.wying.demo.otherDemo.FanXingClass;

/**
 * description:泛型类
 * date: 2021/11/18
 * author: gaom
 * version: 1.0
 */
//<M>可以填任何标识 泛型类一般使用T，我这边演示使用M
public class FanXingClass<M> {
    private  M m;

    //构建方法中形参M 由外部传入
    public  FanXingClass(M m){
        this.m=m;
    }

    public M getM() {
        return m;
    }

  public static void main(String[] args) {
      /**
       * 使用泛型类
       * 通过泛型类定义的泛型M，在new 对象时指定泛型M，则构建器入参也被限制
       * new FanXingClass<String>("泛型类指定了为string类型，则构造器入参只能为string ");
       * 则构建器入参必须为string类型，否则编译出错
        */
      FanXingClass<String> fanXingClass01=new FanXingClass<String>("a");

      System.out.println("fanXingClass01.getM():"+fanXingClass01.getM());

      /**
       * 泛型类使用时也不是必须要指定泛型，不指定的话 入参不受约束而已
       */
      //构造器参数参入string类型
      FanXingClass fanXingClass02=new FanXingClass("泛型类没指定类型，则构造器入参不受限制，int string等均可 ");
      System.out.println("fanXingClass02.getM():"+fanXingClass02.getM());
      //构造器参数参入int类型
      FanXingClass fanXingClass03=new FanXingClass(1);
      System.out.println("fanXingClass02.getM():"+fanXingClass03.getM());

  }

}

2.2泛型接口

泛型接口与泛型类的定义及使用基本相同。泛型接口常被用在各种类的生产器中

 

2.3 泛型通配符 

泛型通配符demo

 

 

 2.4 泛型方法

泛型类，是在实例化类的时候指明泛型的具体类型；泛型方法，是在调用方法的时候指明泛型的具体类型

泛型方法demo 

3.泛型的特性(擦除机制)

泛型只在编译阶段有效

我们反编译这个类的class文件，发现编译后数据类型通过强转实现的

-------------------------------------很常用的List 泛型类  泛型擦除特性---------------------------------

List限制是String类型，反编译class，发现编译后是加了强转的，因为我们在编译前告诉编译器这个List对象只能放入String类型，我们在写代码时获取List的元素不用加(String)强转了，编译会通过，编译时jvm给我们加了强转(String) 以确保我们取出的数据是String类型。

jvm编译后内部居然是加了强转实现的

Java泛型设计原则：只要在编译时期没有出现警告，那么运行时期就不会出现ClassCastException异常

因为泛型的作用就是在编译阶段检查的，编译擦除就是编译后泛型不在起作用，他给强制转换成了对应的类型。比如java的注解 @Overried只是编译期间检查是否是重写方法，只要编译没报错，

编译成class后，方法体上的 @Overried就不会保留了，只是编译时检查是否是重写方法而已。

通过上面的例子可以证明，在编译之后程序会采取泛型擦除。也就是说Java中的泛型，只在编译阶段有效。在编译过程中，正确检验泛型结果后，在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。