@

• 1泛型概述
• 2泛型格式
• 3泛型增强
  • 3.1泛型方法
    • • 单一方法增强
      • 整体方法增强
  • 3.2泛型类
  • 3.3泛型接口
• 约束模式

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默认方法也可以使用自定义泛型

约束模式

接口申明泛型影响的是实现类操作，实现类遵从的带有自定义泛型的接口有两种形式：

1. 约束模式

   类遵从接口，直接明确泛型对应的具体类型
   接口带有自定义泛型

2. 自由模式

   泛型对应的具体数据类型，是通过实例化对象操作约束
   接口带有自定义泛型