1泛型概述
参数化类型。在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型
说人话就是不知道会传过来一个什么类型数据(因为不知道明天和意外哪个先来临),所以有了泛型,先空着,什么时候传过来数据,根据传过来的数据类型来设置类型
- 不同泛型之间不能互相赋值
- 严格遵守数据类型一致化要求
- 满足数据类型支持多样化
- 编译时既检查数据类型
2泛型格式
- 泛型表示不知道是什么类型,在代码中用<单个大写英文字母无意义的占位符>表示。
- 返回值类型可以是自定义泛型
- 方法内可以使用泛型定义的局部变量
- 具体参数可以通过用户传递实际参数来明确
【严格要求】
形参列表中必须有一个参数对应自定义泛型,用于明确约束泛型对应的具体数据类型
常用的占位符有
T type 类型
E element 元素
K key 键
V value 值
R return 返回值
增强方法:
- 增强方法的参数
- 增强方法的返回值
语法特征:
- 单一方法增强
- 整体方法增强
a. 类声明泛型,类内的成员方法使用
b. 接口声明泛型,接口内成员方法使用
3泛型增强
3.1泛型方法
单一方法增强
形参列表中必须有一个参数对应自定义泛型,用于明确约束泛型对应的具体数据类型
权限修饰符 [static] <自定义泛型占位符> 返回值 方法名(形参列表){
方法体;
}
- 返回值类型可以自定义泛型
- 方法内可以使用泛型定义的局部变量
整体方法增强
3.2泛型类
格式:
在类声明阶段告知编译器,这个类内有自定义泛型
class 类名 <自定义泛型占位符>{ 成员方法可以使用自定义泛型 }
类内带有自定义泛型,需要通过实例化对象阶段指定泛型对应的具体数据类型
//IDEA写法 类名<具体数据类型> 类对象 = new 类名<>(); //Eclipse写法 类名<具体数据类型> 类对象 = new 类名<具体数据类型>();
3.3泛型接口
- 接口申明自定义泛型
接口中的成员变量无法使用接口自定义的泛型。因为省缺属性是 public static final
定义时需要初始化,无法对泛型类型进行初始化interface 接口名<自定义泛型占位符>{ /* 接口中的成员变量无法使用接口自定义的泛型。因为省缺属性是 public static final 定义时需要初始化,无法对泛型类型进行初始化 */ }
接口声明方法泛型只用于成员方法
省缺属性为public abstract的方法可以使用自定义泛型
default默认方法也可以使用自定义泛型
约束模式
接口申明泛型影响的是实现类操作,实现类遵从的带有自定义泛型的接口有两种形式:
-
约束模式
类遵从接口,直接明确泛型对应的具体类型
接口带有自定义泛型 -
自由模式
泛型对应的具体数据类型,是通过实例化对象操作约束
接口带有自定义泛型