转载

《重学Java系列》之泛型（下）

不诗意的女程序媛不是好厨师~ 转载请注明出处，From李诗雨--- blog.csdn.net/cjm24848365… 】

在《重学Java系列》之泛型（上）

中我们已经知道了①什么是泛型，②为什么要有泛型，③泛型类、泛型接口和泛型方法，④给泛型变量增加约束，⑤泛型类型的继承规则。

今天要讲的就是有一点点难度的东西了，理解一个东西最好的方式就是：自己找到相似的情景作类比→画图帮助理解→自己敲代码理解→反思回味。毕竟只有经过自己大脑思考的东西，才能为己所用。

笔记我还是整理的很细，也很好理解。那么今天，让我来继续学习剩下的三点内容吧~♥

6.泛型通配符

你见过上面☝这样的代码吗

?和关键字 extends 或者 super 在一起其实就是泛型的高级应用：通配符。

？ extends X 表示类型的上界，类型参数是X的子类
？ super X 表示类型的下界，类型参数是X的超类

对于它们的使用送大家八字咒语：“上界不存下界不取”

这个咒语什么意思，别急让我来慢慢讲：

(1). 先看看？ extends X

它表示传递给方法的参数，必须是X的子类（包括X本身），是类型的上界。

所以上界就是针对 ？extends X 来说的。

我们来让代码自己说它是什么意思~ 有这样的几个类：

public class Animal {
	//...
}

复制代码

public class Pet extends Animal {
	//...
}
复制代码

public class Dog extends Pet {
	//...
}
复制代码

又有这样一个方法：

public static void print(Generic<? extends Animal> a){
        System.out.println(a.getData().getName());
    }
复制代码

我们把这个方法和 ? extends X 对应一下，那此时的Animal类就相当于是X，由于它表示类型的上界，所以，我们可以传Animal及其子类。

再画个图来帮助我们理解一下：

所以如下的操作都是没有问题的：

现在， ？extends X 的含义大家应该已经理解，并且知道怎么传递类型参数了吧。

知道了魔咒 “上界不存” 中的 “上界” 的意思了，那 “不存” 又是什么意思呢？继续往下看：现在有一个Generic的泛型类，它提供了get和set类型参数变量的方法：

public class Generic<T> {
    //...

    private T data;

    public T getData() {
        return data;
    }

    public void setData(T data) {
        this.data = data;
    }
}

复制代码

我想通过set方法往里面放数据，但是，set方法却不允许被调用！编译不通过！

这是怎么回事呢？？？其实这个主要是出于安全方面考虑。编译器是一个责任心极强的东西，他 只做它可以确定的事情 ， 不确定的事情 它是坚决不做

的。

既然 ？ extends X 表示 类型的上界 ，类型参数是X的子类，

那么可以肯定的是：get方法返回的一定是个X（不管是X或者X的子类）编译器是可以确定知道的。所以，get它允许调用。
但是set方法只知道传入的是个X，至于具体是X的那个子类，编译器不知道。所以，出于安全考虑，编译器干脆就不做了。

所以： ？ extends X 主要用于安全地访问数据，可以访问X及其子类型，但是不能写入非null的数据。

这就是 “不存” 的意思了，现在， “上界不存” 的咒语你理解了吗？

(2). 再看看 ? super X

它表示传递给方法的参数，必须是X的超类（包括X本身），与 ? extends X相反，它表示类型下界。

所以下界就是针对 ？superX 来说的l了。

我们用类似的方法来理解一下 “下界不取” 的意思。

还是上面的 Animal、Pet 和Dog类。我们又有一个方法：

public static void printSuper(Generic<? super Pet> a){
        System.out.println(a.getData());
    }
复制代码

那这个方法中的 Pet 就相当于 ? super X 里的X，由于它表示类型的下界，所以，我们可以传Pet及其超类。同样的，我们也来画个图：

我们再在代码中验证一下：

如此看来， ？super X 中下界

的含义就是： X说：“我就是底线，不能再比我低了，否则我会生气的，后果很严重！哼！☹”

那 “下界不取” 中的不取又是什么道理呢？我们把之前的代码稍作改变：

我们发现此时 set方法可以被调用的，且能传入的参数只能是X或者X的子类。但是get方法只会返回一个Object类型的值，并没有什么实际意义。

对此现象我们可以这样来理解： ？ super X 表示类型的下界，类型参数是X的超类（包括X本身）。

那么就可以肯定的说，get方法返回的一定是个X的超类，但是到底是哪个超类？不知道。但是可以肯定的说，Object一定是它的超类，因为Object是所有类的超类，所以get方法返回Object。但是这样取出的全是Object其实并没有什么意义。
对于set方法来说，编译器不知道它需要的确切类型，但是X和X的子类可以安全的转型为X。所以，此时set是被允许的。

所以， ？ super X 主要用于安全地写入数据，可以写入X及其子类型。但是读取只能得到Object，并没有什么实际意义，所以我们就没有太大必要去get了。

所以 “下界不取” 的 “不取” 含义也就在于此了。

综上，我们就知道 “上界不存，下界不取” 的真实含义其实就是：都是出于安全考虑，

“？extends X” 主要用于安全地访问数据。它只用来读数据，不用来存放数据。
？ super X 主要用于安全地写入数据。它只用来写入数据，不用来取出数据。

说的官方一点，这里其实就涉及到 PESC 原则了。即 Producer Extends Consumer Super 如果参数化类型表示一个生产者，就使用<? extends T>；如果它表示一个消费者，就使用<? super T>

即: 只读不可写时,使用Generic<? extends Animal>:Producer 只写不可读时,使用Generic<? super Pet>:Consumer

7.泛型使用的局限性

无规矩不成方圆，其实泛型的使用也是有局限性和约束的。下面就让我们来一一看一下，哪些地方是使用泛型时需要格外注意的~

我们都以 Generic 这个泛型类来讲：

1. 泛型中不能用基本数据类型来实例化类型参数，

而要用基本数据类型对应的包装类才可以。代码为证：

2. 运行时只看原始类型

这个要稍微做个解释，先问大家一个问题：（PS:其实这一点也可以从类型擦除角度来理解）

Generic<String> stringG=new Generic<>();
        Generic<Boolean> booleanG=new Generic<>();
        //输出会是什么？
        System.out.println(stringG.getClass()==booleanG.getClass());
        //输出又会是什么
        System.out.println("stringG.getClass()的name是："+stringG.getClass().getName());
        System.out.println("booleanG.getClass()的name是："+booleanG.getClass().getName());

复制代码

答案是：

哇，stringG.getClass() 和 booleanG.getClass() 竟然相等，他们对应的是同一个类型：Generic ，而不是 Generic< String> ,Generic< Boolean>.

这也就说明运行时的类型检测，只适用于原始类型 Generic ，而不是Generic< String> 、Generic< Boolean>.。

所以下面这个代码就是不正确的， instanceof 在泛型上是不能使用的，只能用于原始类型。

3. 不能在静态域或方法中引用类型变量

这是为什么呢：因为泛型是要在对象创建的时候才知道是什么类型的，而对象创建的代码执行顺序是，先static的部分，然后才是构造函数。所以在对象初始化之前static的部分就已经执行了，如果你在静态部分引用了泛型，那么毫无疑问虚拟机根本不知道是什么东西，因为这个时候类还没有初始化。

4. 不能实例化类型变量，

也就是：

这个T本来就是虚的，都没有摸清底细，你就乱new 肯定是不行的。

5. 不能捕获泛型类的实例

所以，要注意一点：泛型类是不能extends Exception/Throwable的。

再来：

我们是不能直接捕获泛型类的对象的。那如果我们想捕获泛型的异常就没有办法了吗？我们可是伟大的码农，所以方法还是有的：

public <T extends Throwable> void doSth(T x) throws T{
        try{

        }catch(Throwable e){
            throw x;
        }
    }
复制代码

虽然不允许我们直接捕获泛型类的对象，但是我们可把泛型类的对象 throw 出去呀，就是这么机智✌~

7.浅谈类型擦除

最后我们再来提一提泛型中的类型擦除吧。

泛型思想早在C++语言的模板（Template）中就开始生根发芽，在Java语言还没有出现泛型的版本时，只能通过 Object是所有类型的父类 和 类型强制转换 两个特点的配合来实现类型泛化。由于Java语言里面所有的类型都继承于java.lang.Object，所以Object转型成任何对象都是有可能的。但是也因为有无限的可能性，就只有程序员和运行期的虚拟机才知道这个Object到底是个什么类型的对象。在编译期间，编译器无法检查这个Object的强制转型是否成功，如果仅仅依赖程序员去保障这项操作的正确性，许多ClassCastException的风险就会转嫁到程序运行期之中。

泛型技术在C和Java之中的使用方式看似相同，但实现上却有着根本性的分歧。C里面的泛型是真实泛型，而Java中的泛型其实是伪泛型。这点怎么说呢？

是这样的，在 C里面 泛型无论在程序源码中、编译后的IL中（Intermediate Language，中间语言，这时候泛型是一个占位符），或是运行期的CLR中， 都是切实存在的 ，List＜Integer＞与List＜String＞就是两个不同的类型，它们在系统运行期生成，有自己的虚方法表和类型数据，这种实现称为类型膨胀，基于这种方法实现的泛型称为 真实泛型 。
而 Java中 的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经替换为原来的原生类型（Raw Type，也称为裸类型）了，并且在相应的地方插入了强制转型代码，因此，对于运行期的Java语言来说，ArrayList＜Integer＞与ArrayList＜String＞就是同一个类，所以泛型技术实际上是Java语言的一颗语法糖，Java语言中的泛型实现方法称为 类型擦除 ，基于这种方法实现的泛型称为 伪泛型 。

至于为什么java为什么采用类型擦除来实现泛型？这是因为java 1.5之前并没有泛型这个概念，泛型出现后，为了兼容之前的版本，就采用了类型擦除折中的策略：编译时对泛型要求严格，运行时却把泛型擦除了。

看下面的代码：