Java经典语法系列
泛型
泛型的本质是在编译期通过在类/接口/方法上指定某种数据类型(比如类泛型参数<T>),以达到正确编写代码的目的。
也就是说,在编译期能够通过泛型参数来检查类/接口/方法的传递参数的合法性。但是编译后的程序是会剔除泛型的,这就是所谓的 语法糖 。
语法糖-泛型在形式上是不同的类型,实际上同种类型。
在泛型使用过程中,操作的数据类型被指定为一个类型参数,这种类型参数 用在类上称为泛型类 、 用在接口上称为泛型接口 , 用在方法上称为泛型方法 。
泛型与子类继承
一个类的子类可以通过对象多态性,为其父类 实例化 。但是在泛型操作中,子类的泛型类型是无法使用父类的泛型类型的。
命名类型参数说明
K —— 键,比如映射的键
V —— 值,比如 List 和 Set 的内容,或者 Map 中的值
E —— 异常类
T —— 泛型类
泛型 通配符 用法
受限泛型
泛型上限
表示参数化的类型可能是所指定类型,或者是其子类。
下面只能接收 Number 及其子类:
泛型下限(super关键字)
使用的泛型只能是本类及其父类类型上应用的时候,就必须使用泛型的下限。
泛型接口
定义泛型接口
泛型接口的两种实现方式
第一种 定义子类,在子类的上也使用泛型声明
第二种 定义子类,直接指定泛型的具体操作类型
泛型数组
不能创建一个确切泛型类型的数组。如下面代码会出错。
List<String>[] strings = new ArrayList<String>[10]
因此只能创建带通配符的泛型数组
List<?>[] objects = new List<?>[10];
泛型方法
泛型的好处
- 类型安全
- 消除 强制类型转换
泛型原理剖析
从虚拟机的角度看,不存在“泛型”概念,例如Generic1.java:
用javap -c -s Generic1.class反编译后:
泛型的注意事项
- 强的类型检查 :泛型对象进行引用传递的时候,类型必须一致
- 类型转换异常 :如果定义两个相同的方法,只是泛型参数不一样,会报语法错误
关于我
我是Wooola,擅长微服务,分布式,并发,工作流。请您多多关注我的头条号,我会持续更新干货给大家。
有需要Java资料的同学,可以关注之后私信哈,回复“资料”可以免费领取Java BAT面试宝典/微服务/ SpringCloud /SpringBoot等视频和资料,亲记得要点赞转发哦!!!