Java范型与类型擦除

作用

• 写好一个方法或者一个类，可以处理多种类型的数据，比如说排序算法，可以对String、Double和Integer都起作用

范型方法

• 语法：输入参数类型可以自定义名字（比如“E”），返回参数则是
• 实例:

/** 在方法的返回值前面使用 <> 声明范型类型，
* 则在方法的参数中方法体中都可以使用该类型,注意该参数类型不一定要跟类的范型一致          
*/   
	public static <E extends Comparable> int min(E val1, E val2) {
		return val1.compareTo(val2);
	}

范型类

public class Box<T> {
   
  private T t;
 
  public void add(T t) {
    this.t = t;
  }
 
  public T get() {
    return t;
}

限定范型的范围

• 用extends关键字规定范型的上界（最高能到达的父类）

public void extendsTest(List<? extends E> list){
	System.out.println("extendsTest ok");
}

• 用super关键字规定范型的下界（最低能到达的子类）

public void superTest(List<? super E> list){
	System.out.println("superTest ok");
}

类型通配符

• 类型通配符一般是使用?代替具体的类型参数

public static void getData(List<?> data) {
   System.out.println("data :" + data.get(0));
}

实现原理——类型擦除

从源代码看的话，发现用作参数占位符的标识符并没有给出具体范型参数类型的信息，而在Java中，范型是通过类型擦除完成的，即在JVM运行时，任何具体的类型信息都被擦除，比如List和List在运行时事实上是相同的类型（加载到的类是相同且唯一的，可通过下图字节码中printArray的方法签名可知），被擦除成他们的“原生类型”（结合extends 上界联想），与其说是一种动态技术，个人认为更加像是一种语法约束，所以说Java范型只存在于编译期。

需要注意的细节

1. 对象实例化时不指定范型，默认为Object
2. 范型不同的引用不能相互赋值
3. 加入集合中的对象类型必须与指定的范型类型一致
4. 静态方法不能使用范型类，但是返回方法可以是一个范型Type
5. 如果范型类是一个接口或抽象类，则不可创建范型类的对象
6. 不能在catch中使用范型
7. 从范型类派生子类，范型类型需具体化
8. 子类的数组可以赋给父类数组，但是范型类的不一定:这种情况要靠通配符+extends解决

ArrayList<Number> list = new ArrayList<Double>();		// 编译期报错
ArrayList<? extends Number> list1 = new ArrayList<Double>();	// 编译通过