[Java基础] 泛型（十三）

一、泛型介绍

• 泛型又称参数化类型，是jdk5.0出现的新特性，解决数据类型的安全性问题
• 在类声明或实例化时只要指定好需要的具体类型即可
• Java泛型可以保证如果程序在编译时没有发生警告，运行时就不会产生ClassCastException异常；同时代码更加简洁、健壮
• 泛型的作用：可以在类声明时通过一个标识表示类中某个属性的类型，或者是某个方法的返回值的类型，或者是参数类型

二、泛型理解

使用传统方法的问题分析：
1⃣️不能对加入到集合ArrayList中的数据类型进行约束（不安全）
2⃣️遍历的时候，需要进行类型转换，如果集合中的数据量较大，对效率有影响

三、泛型优点

• 编译时，检查添加元素的类型，提高了安全性
• 减少了类型转换的次数，提高了效率
• 不再提示编译警告

四、基本语法

interface 接口 <T> {
}

class 类 <K,T> {
}

• 其中，T、K、V不代表值，而是表示类型
• 任意字母都可以，常用K表示，是Type的缩写

五、注意示例

• 在给泛型指定具体类型后，可以传入改类型或者其子类类型

六、自定义泛型

1. 自定义泛型类

class 类名 <T,R...> {//表示可以有多个泛型
	成员
}

• 普通成员可以使用泛型
• 使用泛型的数组，不能初始化
• 静态方法中不能使用类的泛型
• 泛型类的类型，是在创建对象的时候确定的（因为创建对象时，需要指定确定类型）
• 如果在创建对象时，没有指定类型，默认为Object

2. 自定义泛型接口

interface 接口名 <T,R> {
}

• 接口中，静态成员也不能使用泛型
• 泛型接口的类型，在继承接口或者实现接口时确定
• 没有指定类型，默认为Object

3. 自定义泛型方法

修饰法 <T,R...> 返回类型 方法名(参数列表) {
}

• 泛型方法，可以定义在普通类中，也可以定义在泛型类中
• 当泛型方法被调用时，类型会确定

七、泛型的继承、通配符

• 泛型不具有继承性
• <?>
  支持任意泛型类型
• <? extends A>
  支持A类以及A的子类，规定了泛型的上限
• <? super A>
  支持A类以及A的父类，不限于直接父类，规定了泛型的下限