java--泛型

demo代码 https://github.com/eos2009/java-core-learn.git

java泛型介绍

泛型是Java 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。

在Java中，使用变量E表示集合的元素类型，K和V分别表示关键字与值的类型。T（需要时还可以用临近的字母U和S）表示“任意类型”。

相关概念

•  类型擦除：使用泛型的类型参数，编译器会在编译的时候去掉，这个过程称为“类型擦除”（type erasure）

•  原始类型：原始类型（raw type）就是擦除去了泛型信息，最后在字节码中的类型变量的真正类型。

•  限定类型：如<T extends Number> 使用Number替换

•  不限定类型：<T>使用Object替换

类型限定相关规则

 

• 不管该限定是类还是接口，统一都使用关键字 extends
• 可以使用&符号给出多个限定，比如 public static <T extends Comparable&Serializable> T get(T t1, T t2)
• 如果限定既有接口也有类，那么类必须只有一个，并且放在首位置 public static <T extends Object&Comparable&Serializable> T get(T t1, T t2) 

泛型作用

 

• 类型安全、消去强制类型转换（防止类型转换异常ClassCastException）
• 开发中使用泛型简化开发保证代码质量

 

泛型实现原理(个人理解)

java实现的为伪泛型，其是在编译器层实现，使用泛型的类型参数，编译器会在编译的时候去掉，这个过程称为“类型擦除”（type erasure）。

• 编译器先检查代码中泛型类型，然后类型擦除，类型变量被擦除（crased），并使用其限定类型（无限定的变量用Object）替换，再进行编译，即编译的class文件不包含泛型的类型信息）
• 类型检查就是针对引用的，谁是一个引用，用这个引用调用泛型方法，就会对这个引用调用的方法进行类型检测，而无关它真正引用的对象。

相关简单实例

• class文件是一个

• 使用类型限定泛型必须是其自身或子类型，否则编译不过

• 类型通配

• 类型检查就是针对引用的，与其真正引用对象无关(故list1不能完成泛型类型检查；list2能完成泛型类型检查)

参考资料：

    https://www.jianshu.com/p/c1bfbfc32996
    https://www.jianshu.com/p/c3dfc636148b

示例代码：