Java:泛型的理解

本文源自参考《Think in Java》,多篇博文以及阅读源码的总结

前言

Java中的泛型每各人都在使用,但是它底层的实现方法是什么呢,为何要这样实现,这样实现的优缺点有哪些,怎么解决泛型带来的问题。带着好奇,我查阅资料进行了初步的学习,在此与诸位探讨。

一 类型参数

学过JAVA的人都知道泛型,明白大概怎么使用。在类上为:class 类名 {},在方法上为:public void 方法名 (T x){}。泛型的实现使得类型变成了参数可以传入,使得类功能多样化。

具体可分为5种情况:

  1. T是成员变量的类型
  2. T是泛型变量(无论成员变量还是局部变量)的类型参数,常见如Class<T>,List<T>
  3. T是方法抛出的Exception(要求<T extends Exception>
  4. T是方法的返回值
  5. T是方法的参数

1.1 泛型的实现

JAVA的泛型是基于编译器实现的,使用了擦除的方法实现,这是因为java1.5之后才出现了泛型,为了保持向后兼容而做出的妥协。

所谓擦除就是JAVA文件在编译成字节码时类型参数会被擦除掉,单独记录在其他地方。并且用类型参数的父类代替原有的位置。
假设参数类型的占位符为T,擦除规则如下:

  1. <T>擦除后变为Obecjt
  2. <? extends A>擦除后变为A
  3. <? super A>擦除后变为Object

这种规则叫做保留上界

编译器擦除类型参数后,通过JAVA的强制转换保证了类型参数在使用时的正确。如:在类型参数T中传入了类A,那么编译器会在所有类A将返回(抛出)类型参数T的代码处加上(A)进行强转.

举个栗子:

        ArrayList<String> list = new ArrayList<String>();
        list.add("123");
        String b = list.get(0);

在编译后会变成

        ArrayList list = new ArrayList();//没有参数即默认为Object
        list.add("123");
        String b = (String) list.get(0);

并且会在带有类型参数类的子类中形成桥方法保证了多态性。
具体参考官方解释如下

  • Replace all type parameters in generic types with their bounds or Object if the type parameters are unbounded. The produced bytecode, therefore, contains only ordinary classes, interfaces, and methods.
  • Insert type casts if necessary to preserve type safety.
  • Generate bridge methods to preserve polymorphism in extended generic types.

二 通配符?

在带有类型参数的类内部,代码仍然按照参数类型擦除后的父类来处理。但是擦除存在一个问题,在这种机制下泛型是不变的,而没有逆变和协变。

2.1 逆变与协变



协变和逆变网上有很多解释,显得模糊不清,我参考几个编程语言的官方解释后给出一个比较宽泛的定义。协变指能够使用比原始声明类型的派生程度更大(更具体的)的类型,逆变指能够使用比原始声明类型的派生程度更小(不太具体的)的类型。
如:
Object obj = new String("123");
这就是协变,将String这个更具体的(子类)类型赋给了原本较宽泛定义(父类)的类型Object。
JAVA不允许将父类赋给子类,自然Java不支持逆变。

网上很多博文说JAVA泛型也有逆变,我是不赞同的,那只是一种模拟的逆变,即有部分逆变的特性而且看起来像逆变,具体分析后文会给出


2.2 Java中的逆变与协变

在JAVA中,

List<Integer> b = new ArrayList<Integer>()
List<NumFber> a = b;

是无法通过编译器检查的。不允许这样做有一个很充分的理由:这样做将破坏要泛型的类型安全。如果能够将List<Integer> 赋给List<Number>。那么下面的代码就允许将非Integer的内容放入 List<Integer>

List<Integer> b = new ArrayList<Integer>();
List<Number> a = b; // illegal
a.add(new Float(3.1415));

因为aList<Number>,所以向其添加Float似乎是完全可行的。但是如果a实际是List<Integer>,那么这就破坏了蕴含在b中定义的类型声明 —— 它是一个整数列表,这就是泛型类型不能协变的原因。但也因此使得泛型失去了多态的拓展性。

2.3 通配符解决协变

Java官方通过加入了通配符?来解决泛型协变的问题。这样就能通过编译了:

List<Integer> b = new ArrayList<Integer>();
List<? extends Number> a = b;

可以解读为a是一种带有NumberList集合类,在从a中取出数据的时候统一当做Number处理就行了。同时这也是符合里氏替换原则的

但是编译器会禁止你将将类Integer放入a,即a.add(new Integer(1))//illegal
这也很合理,因为你声明的a本来就没有限定a包含的具体是哪个Number子类,因此不准任何变量的添加保证了泛型的安全性。
解决往a添加对象的方法也很简单

List<Object> b = new ArrayList<Object>();
List<? super Number> a = b;

a是某种Number父类的List集合类,将ArrayList<Object>赋给a也是合情合理的,Object确实是Number的父类。这也符合里氏替换原则的

(网上大部分博文说这就是逆变,但是仔细想想逆变的官方定义,在JAVA中可以理解为:类T是类S的子类,而类A<T>是类A<S>的父类。仔细看看List<? super Number>List<Object>的关系,在这里TNumber,而SObject,但是List<? super Number>从逻辑上来看真的是List<Object>的子类吗,如果单纯从字面上来看List<? super Number>是带有Number父类的集合类,根据保留上界的擦除方法,应该擦除为List<Object>,将一个List<Object>赋给另一个List<Object>是不存在任何逆变的。我在疑惑之下去谷歌查阅了资料,也没有英文资料说明JAVA泛型里这属于逆变)

原文地址:https://www.cnblogs.com/taojinxuan/p/11128459.html

时间: 2024-10-15 16:05:02

Java:泛型的理解的相关文章

对java泛型的理解

自jdk1.6之后泛型就被广泛使用了,刚开始也是这么稀里糊涂的学了但是老是搞不懂其中的奥妙,后来随着项目经验的增多慢慢的才体会到了泛型的各种好处,看了不少项目封装的底层才发现原来泛型一般和接口混合使用来满足标准制定和参数多样化这样的代码需求.弄清楚之后我自己也动手实际体验了一下,觉得还是挺简单的.接下来就分享下我学泛型的心得,写的不好大家可以指出来. 1 标识接口 虽然叫标识接口但是这个java类不仅仅局限于interface,class也是OK的,选择接口还是类关键看自己的选择:下面是我定义的

Java泛型深入理解

Java泛型是Java1.5引入的新特性,泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数.这种参数类型可以用在类.接口和方法的创建中,分别称为泛型类.泛型接口.泛型方法.泛型的类型参数只能是类(引用)类型(包括自定义类),不能是基本数据类型.Java语言引入泛型的好处是安全简单. 转载自:http://www.cnblogs.com/lwbqqyumidi/p/3837629.html

java泛型的理解

最近在看视频,看到比较经典的比大小问题.输入两个数,返回大的数,类型可以为int,long,float等. 通常的教程中用这个例子引入了构造函数以及重载的概念,在学习完泛型后,我想到能不能写一个泛型的方法,用以实现比较. 为了完成这个任务,我们首先需要了解一下泛型. 什么的泛型 泛型是java语言系统的一种扩展,支持创建可以按照类型进行参数化的类. 泛型的好处 泛型的好处也是显而易见的, 首先可以扩充代码的通用性,通过泛型可以使方法支持更多的类型. 泛型有助于增强类型安全,编译器可以对类型进行比

关于Java泛型深入理解小总结

1.何为泛型 首先泛型的本质便是类型参数化,通俗的说就是用一个变量来表示类型,这个类型可以是String,Integer等等不确定,表明可接受的类型,原理类似如下代码 int pattern; //声明一个变量未赋值,pattern可以看作是泛型 pattern = 4; pattern = 5;//4和5就可以看作是String和Integer 泛型的具体形式见泛型类.泛型方法 *泛型类形式如下 class Test<T> { private T t; Test(T t) { this.t

java 泛型深入理解

学习java开始接触到泛型是在容器的时候,如没有使用泛型 List list = new ArrayList(); list.add(1); list.add("1"); list.forEach(x-> System.out.println(x));//编译器不会报错,但是在输出list的时候要注意类型检查. 使用泛型 List<String> list = new ArrayList<String>(); list.add(1); list.add(&

理解Java泛型 通配符 ? 以及其使用

什么是泛型: 泛型从字面上理解,是指一个类.接口或方法支持多种类型,使之广泛化.一般化和更加通用.Java中使用Object类来定义类型也 能实现泛型,但缺点是造成原类型信息的丢失,在使用中容易造成ClassCastException. Java泛型带到的好处: 使得一个类或方法中的类型参数化,最终达到代码复用的效果.( 不使用泛型,你可能需要每种情况的类或方法都要定义一遍 ) 实现类型检查的功能,避免ClassCastException.(这是相对于使用Object类型实现泛型而言.因为我可以

Java反射的理解(六)-- 通过反射了解集合泛型的本质

Java反射的理解(六)-- 通过反射了解集合泛型的本质 上述写了那么多,我们可能会有个疑问,为什么要用反射,步骤比我们常规的加载类操作复杂多了,别急,这个问题我最后才解答,我们先来了解集合泛型的本质. 直接上代码: import java.lang.reflect.Method; import java.util.ArrayList; public class MethodDemo4 { public static void main(String[] args) { ArrayList li

Java泛型中extends和super的理解(转)

E – Element (在集合中使用,因为集合中存放的是元素) T – Type(Java 类) K – Key(键) V – Value(值) N – Number(数值类型) ? – 表示不确定的java类型(无限制通配符类型) S.U.V – 2nd.3rd.4th types Object – 是所有类的根类,任何类的对象都可以设置给该Object引用变量,使用的时候可能需要类型强制转换,但是用使用了泛型T.E等这些标识符后,在实际用之前类型就已经确定了,不需要再进行类型强制转换. ?

Java 泛型解析,太难了,认真读才能理解

Java 泛型 关键字说明 ? 通配符类型 <? extends T> 表示类型的上界,表示参数化类型的可能是T 或是 T的子类 <? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型的超类型(父类型),直至Object extends 示例 static class Food{} static class Fruit extends Food{} static class Apple extends Fruit{} static clas