一.类型参数的约束
我们可以对泛型传进来的参数做一些约束，比如说
用extends表明传进来的参数类型必须是必须是某个类型的子类型或者本身
当然也可以用接口约束，也是用extends表明传进来的参数类型必须实现某个接口。用&连接，注意class需要写在接口前面
但是在类的泛型声明中不能使用super
因为泛型擦除后变为<Object>，Object又是所有类型的父类型，所有类型就都可以作为T，这是没有意义的事情
二.泛型方法
在返回类型的前面加上泛型就可以定义泛型方法，泛型方法参数中可以使用泛型
需要注意下面的并不是泛型方法，只是使用了类中的泛型而已
三.泛型不支持协变
协变，逆变，抗变等概念是从数学中来的，描述的是两个类型集合之间的继承关系。
Animal、Dog , Dog extends Animal
第一个集合为：List<Animal>
第二个集合为：List<Dog>
- 协变(Covariance)：List<Dog>是List<Animal>的子类型
- 逆变(Contravariance): List<Animal>是List<Dog>的子类型
- 抗变(Invariant): List<Animal>与List<Dog>二者间没有任何继承关系
由于泛型不支持协变，所以下面这样传参是不可以的
但数组是默认支持协变的
四.通配符
事实上，我们可以用通配符?来解决刚才的问题，?会匹配所有的类型
当然我们可以用extends固定它的上界
也可以用super固定它的下界
