JavaSE高级开发之泛型

泛型 - 守门员
定义：
在类定义的时候并不会设置类中的属性或方法中参数的具体类型，而是在类使用时再定义
1.泛型类
语法：

class MyClass<T> {
	T  value1;
	public  <E>  void test(T  t) { }
 }

T 被称为类型参数，用于指代任何类型。

• T ：代表一般的任何类。
• E ：代表 Element ，或者 Exception 异常，常用于泛型类中的属性
• K ：代表 Key
• V ：代表 Value ，通常与 K 一起配合使用。
• S ：代表 Subtype

泛型只允许接收类，所有基本类型必须使用包装类。

2.泛型方法

public <T> void Mythod(T t) {
	System.out.print(t);
 }

当泛型类与泛型方法共存时，泛型类中的泛型参数与泛型方法中的类型参数没有关系，泛型方法始终以自己定义的类型参数为准。
规范：
泛型方法类型参数与泛型类的类型参数不要同名。

3.通配符

3.1 ？表示可以接收任意类型

1. 用于方法中，表示参数可以接受任意类型的泛型类；
2. 只能取得类中数据，不能修改数据，因为类型不确定，无法设置确定类型。

3.2 ？ extends 类 ：设置/取得泛型上限

1. 用在类上？ extends 类：表示？必须为类或者类的子类；
2. 用在方法上 ? extends 类：只能接收类或者其子类的泛型类。

eg：? extends Number : 表示泛型必须是Number子类
只能取得类中属性值，不能修改值（发生父类到子类的向下转型，需要强转，由于具体子类不确定，因此无法转型 。

3.3 ? super 类

取得泛型下限 - 只能用于方法中
eg： ？ super String : 表示此方法只能取得String以及其父类Object。
可以设置属性值（子类到父类是自动的向上转型）

4.泛型接口

interface IMessage<T> {
      // 在接口上定义了泛型
       public void print(T t) ;
}

1. 子类继续保留类型

class  MessageImpl<T>  implements  IMessage<T> { }

2. 子类定义时确定好类型

class MessageImpl implements IMessage<String> { }

5.类型擦除（语法糖）

语法糖（方便程序员的开发）：仅存于编译阶段，编译后就消失不见。
泛型、自动拆装箱。
泛型信息仅存在与代码编译阶段，进入JVM之前,与泛型相关的信息会被擦除掉，专业术语：类型擦除。
换句话说，泛型类与普通类在Java虚拟机中没有任何区别。
泛型类进入JVM之前会进行类型擦除，之前泛型类的类型参数若没有指定上限，会被擦除成为Object类型。如果指定上限，则类型参数被替换为象形类型上限。