泛型



1、泛型类

泛型指的就是在类定义的时候并不会设置类中的属性或方法中的参数的具体类型，而是在类使用时再进行定义。

如果要想进行这种泛型的操作，就必须做一个类型标记的声明。

泛型类的基本语法：

Class Myclass<T>{

T value1;

}

尖括号 <> 中的 T 被称作是类型参数，用于指代任何类型。常见的如：

T 代表一般的任何类。

E 代表 Element 的意思，或者 Exception 异常的意思。

K 代表 Key 的意思

V 代表 Value 的意思，通常与 K 一起配合使用。

S 代表 Subtype 的意思，文章后面部分会讲解示意。

如果一个类被 <T> 的形式定义，那么它就被称为是泛型类。

使用泛型类:

MyClass<String> myClass1 = new MyClass<String>();

注意：泛型只能接受类，所有的基本数据类型必须使用包装类。泛型类可以接收多个类型参数。eg.MyClass<String,Integer> myClass1 = new MyClass<String,Integer>();

引入泛型后，如果明确设置了类型，则为设置类型；如果没有设置类型，

则默认为Object类型。

2、泛型方法

泛型方法定义：

class MyClass{

public <T> void testMethod(T t) {

System.out.println(t);

}

}

类型参数是写在返回值前面的。 <T> 中的 T 被称为类型参数，而方法中的 T 被称为参数化类型，它不是运行时真正的参数。

使用类型参数做返回值的泛型方法：

class MyClass{

public <T> T testMethod(T t) {

return t;

}

}

泛型类中的类型参数与泛型方法中的类型参数是没有相应的联系的，泛型方法始终以自己定义的类型参数为准。

3、泛型接口

泛型除了可以定义在类中，也可以定义在接口里面，这种情况我们称之为泛型接口。

定义一个泛型接口：

interface IMessage<T> { // 在接口上定义了泛型

public void print(T t) ;

}

对于这个接口的实现子类有两种做法：在子类定义时继续使用泛型；在子类实现接口的时候明确给出具体类型。

4、类型擦除

泛型信息只存在于代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，叫做类型擦除。

在泛型类被类型擦除的时候，之前泛型类中的类型参数部分如果没有指定上限，如 <T> 则会被转译成普通的Object 类型，如果指定了上限如 <T extends String> 则类型参数就被替换成类型上限。