Java基础 (8) 泛型
问题1：extends和super的区别
泛型
一般的类和方法，只能使用具体类型：要么是基本类型，要么是自定义类型。如果要编写可以应用于多种类型的代码，这种刻板的限制对代码的束缚就会很大。
泛型的诞生？为了更安全友好的使用容器类 : 用来指定容器要持有什么类型的对象，而且由编译器来保证类型的正确性。
1、概述
- 术语：适用于许多许多的类型;
- 本质：实现类型参数化的概念，使代码可以应用于多种类型;
- 核心：告诉编译器想使用什么类型（指定具体类型参数或对其进行限制），然后编译器帮你处理一切细节(类型安全检查等);
- 泛型初衷
(1) 希望类或方法具备最广泛的表达能力，即通过解耦类或方法与所使用的类型之间的约束；
(2) 对容器类而言，泛型在保证容器类可以存储任何类型对象的同时，又保证了容器类一旦声明自己将要保存的元素类型时，就不可再保存其他类型了，例如：
ArrayList<Fruit> list = new ArrayList<Fruit>();
fruits.add(new Fruit()); // OK
fruits.add(new Apple()); // OK
fruits.add(new Orange()); // OK
fruits.add(new Object()); // Error
上述代码表明了该容器只能保存 Fruit类型 的对象，由于 Apple 也是一种 Fruit，所以其也可以保存 Apple类型 对象，但对于不属于 Fruit类型 的对象，编译器杜绝将其放入列表中。
简单地说：
泛型 = 编译时的类型检查 + 编译时的类型擦除(编译器插入 checkcast 等) + 运行时的自动类型转换。
所以，我们在理解和应用泛型时，一定要从 编译期 和 运行时 两个视角去分析。
2、定义与语法
- 泛型类（参数化类）
public class Holder<T>{}
- 泛型接口（参数化接口）
public interface Generator<T>{}
- 泛型方法（参数化方法；所在类可以是泛型类，也可以不是；能够独立于类而产生变化；细粒度）
public <T> void f(T x){}
3、extends 与 super 的区别？
协变与逆变
逆变与协变用来描述类型转换（type transformation）后的继承关系，其定义：如果 A,B 表示类型，f(⋅)表示类型转换，≤ 表示继承关系（比如，A ≤ B 表示A是B的子类）；
- f(⋅) 是逆变（contravariant）的，当 A≤B 时有 f(B)≤f(A) 成立；
- f(⋅) 是协变（covariant）的，当 A≤B 时有 f(A)≤f(B) 成立；
- f(⋅) 是不变（invariant）的，当 A≤B 时上述两个式子均不成立，即f(A)与f(B)相互之间没有继承关系。
(1)泛型
令f(A) = ArrayList<A>，那么f(⋅) 是逆变、协变还是不变的呢？如果是逆变，则ArrayList<Integer>是ArrayList<Number>的父类型；如果是协变，则ArrayList<Integer>是ArrayList<Number>的子类型；如果是不变，二者没有相互继承关系。由于实际上ArrayList<Number>和ArrayList<Integer>无关，所以泛型是不变的。
(2)数组
令f(A) = A[]，容易证明数组是协变的：
Number[] numbers = new Integer[3];
- <? extends >实现了泛型的协变
ArrayList<? extends Apple> l3 = new ArrayList<>();
ArrayList<? extends Fruit> l4 = new ArrayList<>();
l4 = l3;
对于ArrayList<? extends Apple>类型，我们知道其表示某种具体类型(只是没有确定下来)，但是无论其具体指的是ArrayList<Apple>类型还是ArrayList<Jonathan>类型都是可以赋给ArrayList<? extends Fruit>类型的引用的，反之则不可以。因此，我们可以认为ArrayList<? extends Fruit>类型是ArrayList<? extends Apple> 类型的父类型，故<? extends>实现了泛型的协变。
- <? super>实现了泛型的逆变
ArrayList<? super Apple> l1 = new ArrayList<>();
ArrayList<? super Fruit> l2 = new ArrayList<>();
l1 = l2;
对于 ArrayList<? super Fruit>类型，我们知道其表示某种具体类型(只是没有确定下来)，但是无论其具体指的是ArrayList<Fruit>类型还是ArrayList<Object>类型都是可以赋给ArrayList<? super Apple>类型的引用的，反之则不可以。因此，我们可以认为ArrayList<? super Apple>类型是ArrayList<? super Fruit>类型的父类型，故 <? super>实现了泛型的逆变。
引用链接：https://blog.csdn.net/justloveyou_/article/details/52420071
