泛型边界的问题

作者简介：大家好，我是smart哥，前中兴通讯、美团架构师，现某互联网公司CTO

联系qq：184480602，加我进群，大家一起学习，一起进步，一起对抗互联网寒冬

我们花了两篇文章讲述了泛型是什么以及有什么用：

• 作用于编译期，由编译器解析，是一种兼具类型约束和自动转型的代码模板
• 存入：约束存入的元素类型，将可能的类型错误提前到编译期
• 取出：编译自动转型，消除手动强转，极大降低ClassCastException的风险

泛型只是程序员和编译器的约定。

我们可以通过泛型告诉编译器自己的意图：

呐，我现在假定这个List只能存String，你帮我盯着点，后面如果不小心放错类型，在编译期报错提醒我。

当然，要想编译器帮我们约束类型，就必须按人家的规矩办事。就好比Spring明明告诉你默认读取resources/application.yml，你非要把配置文件命名为resources/config.yml当然就报错啦。

而泛型也有一套自己的规则，我们必须遵守这些规则才能让编译器按我们的意愿做出约束。

这些规则是谁定的呢？当然是JDK的那群秃子咯。

今天我们来学习泛型通配符。

在讲述通配符的语法规则时，我会尽量给出自己的理解，让大家更容易接受它们。另外需要说明的是，在泛型相关的文章里我们总是以List元素存入、取出举例子，是因为容器类是我们接触最多的，这样更好理解。实际上对于泛型类、泛型方法都是适用的，并不一定要是容器类。

简单泛型

JDK1.5以后，我们全面跨入泛型时代。

假设现在有一个需求：设计一个print方法打印任意类型的List。

你想显摆一下刚学的泛型，于是这样设计：

public class GenericClassDemo {

    public static void main(String[] args) {
        List integerList = new ArrayList<>();
        print(integerList);
    }

    public static void print(List list) {
		// 打印...
    }
}

咋一看没问题，但需求是打印任意类型的List。目前的print()只能接收List，你传List会报错：

你想了想，Object是所有对象的父类，我改成List