Java泛型

一、什么是泛型

1、泛型的概念

Java泛型（generics）是JDK5中引入的一个新特性，泛型提供了编译时类型安全监测机制，该机制允许我们在编译时检测到非法的类型数据结构。

泛型的本质就是参数化类型，也就是所操作的数据类型被指定为一个参数。

2、泛型的好处

• 类型安全
• 消除了强制类型的转换

二、泛型类、接口

1、泛型类

使用语法

类名<具体的数据类型> 对象名 = new 类名<具体的数据类型>();

Java1.7以后，后边的<>中具体的数据类型可以省略不写

类名<具体的数据类型> 对象名 = new 类名<>();

泛型类的定义语法

class 类名称 <泛型标识，泛型标识，...> {

        private 泛型标识  变量名;

        ...

}

常用的泛型标识：T、E、K、V

2、泛型类注意事项

• 泛型类，如果没有指定具体的数据类型，此时，操作类型是Object
• 泛型的类型参数只能是类类型，不能是基本数据类型
• 泛型类型在逻辑上可以看成是多个不同的类型，但实际上都是相同类型

3、从泛型类派生子类

子类也是泛型类，子类和父类的泛型类型要一致

class ChildGeneric<T> extends Generic<T>

子类不是泛型类，父类要明确泛型的数据类型

class ChildGeneric extends Generic<String>

4、泛型接口

泛型接口的定义语法

interface 接口名称 <泛型标识, 泛型标识, ...> {
    泛型标识 方法名();
    ......
}

5、泛型接口的使用

• 实现类不是泛型类，接口要明确数据类型
• 实现类也是泛型类，实现类和接口的泛型类型要一致

三、泛型方法

1、语法

修饰符 <T, E, ...> 返回值类型 方法名 (形参列表) {
    方法体...
}

• public 与返回值 <T> 非常重要，可以理解为声明此方法为泛型方法。
• 只有声明了 <T> 的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
• <T> 表明该方法将使用泛型类型 T，此时才可以在方法中使用泛型类型 T。
• 与泛型类的定义一样，此处 T 可以随便写为任意标识，常见的如T、E、K、V 等形式的参数常用于表示泛型。

2、泛型方法与可变参数

public <E> void print(E... e) {
    for (E e1 : e) {
        System.out.println(e);
    }
}

3、泛型方法总结

• 泛型方法能使方法独立于类而产生变化
• 如果 static 方法要使用泛型能力，就必须使其成为泛型方法

四、类型通配符

1、什么是类型通配符

• 类型通配符一般是用 “?” 代替具体的类型实参
• 类型通配符是类型实参，而不是类型形参

2、类型通配符的上限

语法

类/接口 <? extends 实参类型>

要求该泛型的类型，只能是实参类型，或实参类型的子类类型

3、类型通配符的下限

语法

类/接口<? super 实参类型>

要求该泛型的类型，只能是实参类型，或实参类型的父类类型

五、类型擦除

1、概念

泛型是 Java 1.5 版本才引进的概念，在这之前是没有泛型的，但是，泛型代码能够很好地和之前版本的代码兼容。那是因为，泛型信息只存在与代码编译阶段，在进入 JVM 之前，与泛型相关的信息会被擦除掉，我们称之为——类型擦除。

2、无限制类型擦除

3、有限制类型擦除

4、擦除方法中类型定义的参数

5、桥接方法

六、泛型与数组

泛型数组的创建

• 可以声明带泛型的数组引用，但是不能直接创建带泛型的数组对象
• 可以通过 java.lang.reflect.Array 的 newInstance(Class<T>, int) 创建 T[] 数组

七、泛型和反射

反射常用的泛型类

• Class<T>
• Constructor<T>