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
示例代码: