Java的泛型机制
Java的泛型机制
Java的泛型机制
泛型是 Java 从 JDK5 开始引入的新特性，本质上是参数化类型，即所操作的数据类型被指定为一个参数。这意味着编写的代码可以被很多不同类型的对象所重用。
1. 泛型的使用方式
1.1 泛型类
用下面的语法可以定义一个泛型类：
class C< T, E, ...>{
private T t;
...
}
常用的泛型标识有 T、E、K、V。
用下面的语法可以创建一个泛型对象：
C<具体的数据类型> c = new C<>();
泛型类有以下注意事项：
- 如果没有指定具体的数据类型，操作类型是 Object。
- 泛型的类型参数只能是类类型，不能是基本数据类型。
- 泛型类型在逻辑上看作多个不同类型，但实际上是相同类型。
用下面的语法可以从泛型类派生子类：
// 子类也是泛型类，要和父类的泛型类型保持一致。但可以添加更多类型。
class Child<T> extends Father<T>
class Child<T, E, K> extends Father<T>
// 子类不是泛型类，父类要明确一个泛型的数据类型
class Child extends Father<String>
1.2 泛型接口
定义方式类似于泛型类。
当需要用一个类实现泛型接口时：
- 如果实现类不是泛型类，接口要明确数据类型。
- 如果实现类是泛型类，实现类和接口的泛型类型要一致，但也可以增加更多。
1.3 泛型方法
用下面的语法可以定义一个泛型方法：
public <T, E, ...> void f(){
...
}
泛型类的类型由构造对象时决定，泛型方法的类型由调用方法时决定。
1.4 类型通配符
我们用?作为类型通配符，代表具体的类型实参。
使用extends语句可以代表类型通配符的上限：
类/接口<? extends 实参类型>
要求该泛型的类型，只能是实参类型或者实参类型的子类类型。
使用super语句可以代表类型通配符的下限：
类/接口<? super 实参类型>
带有超类型限定的通配符可以向泛型对象写入，带有子类型限定的通配符可以从泛型对象读取。
2. 类型擦除式泛型
Java 的泛型实现方式是类型擦除的伪泛型。在 Java 中，泛型只在程序源码中存在，编译后的字节码文件中泛型全部被擦除，替换为原来的裸类型，并在相应的位置插入了强制转型代码。
假设我们有下面这段代码：
public static void main(String[] args){
Map<String, String> map = new HashMap<String, String>();
map.put("hello", "你好");
System.out.pirntln(map.get("hello"));
}
这里向泛型类型为<Stirng, String>的 map 内插入了一个键值对，又从中将值取出。如果我们先将这段 Java 代码编译为 Class 文件，又反编译 Class 文件，实际上会得到以下代码：
public static void main(String[] args){
Map map = new HashMap();
map.put("hello", "你好");
System.out.pirntln((String)map.get("hello"));
}
显然，在前端编译过程中，对象的泛型类型被擦除，转换为了没有泛型的裸类型。而在字节码文件的相关位置插入了强制类型转换代码，从而实现泛型。
类型擦除式的泛型带来了几个严重的问题：
Ⅰ. 不支持基础数据类型的泛型
由于我们无法在 int、long 等基础数据类型和 Object 之间强制转型，所以 Java 的泛型不支持基础数据类型。
Ⅱ. 运行时无法获取泛型类型信息
加入我们想写一个泛型版本的 List 转换为数组的方法，由于不能再运行时获取泛型信息，只能再传入一个元素的类型。
public static <T> T[] convert(List<T> list, Class<T> componentType){
Tp[] array = (T[])Array.newInstance(componentType, list.size());
}
Ⅲ. 无法正常的实现重载等功能
例如两个方法我们试图依赖泛型类型不同来实现重载，就会发生编译错误。因为泛型类型在前端编译器被擦除了，变成了两个一模一样的方法。
3. 桥接方法的机制
当一个类实现一个泛型接口时，泛型接口在编译后类型被擦除，这样我们在实现类中就不能找到对应接口的实现方法。为了解决这个问题，Java 在编译相关类时使用了一个桥接方法的机制，通过为实现类新增一个桥接方法，来实现类型擦除后接口的方法。
