泛型、上下界通配符

       泛型程序设计（Generic Programming）意味着编写的代码可以被很多不同类型的对象所重用。即：将一些可以进行相同操作的类或元素等进行抽象化,为其共有的特性写一个通用的方法。

---

泛型的定义

        泛型是JDK1.5的一项新特性，它的本质是参数化类型（Parameterized Type）的应用，也就是说所操作的数据类型被指定为一个参数，在用到的时候再指定具体的类型。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。

Java泛型的常用标识符、(上下界)通配符：

标识符	说明
E(Element)	一般在集合中使用,因为集合中存放的是元素。如:List<E>,Iterator<E>,Set<E>
T(Type)	java类(当需要多个类时,可使用 S、U、V  - 2nd、3rd、4th Types),如:String、Integer、Double等
K(Key)	键
V(Value)	值
N(Number)	数值类型
?	表示不确定的java类型(即:支持各种类型)
? extends T	上界通配符
? super T	下界通配符
……

注：实际上如果我们自己在创建泛型类时，也不一定非要写上述的字母，任意字母都可以，只要该类统一即可。
        追注：但推荐按照约定的来命名泛型。

注：如果不指定泛型,那么默认泛型为Object。

---

泛型的使用

接口---泛型：

实现

类---泛型：

方法(函数)---泛型：

Class<T>的使用：这里单独拿出来示例，主要是这种用法十分常见：

使用&来进行且操作：

1. extends后既可以跟类，也可以跟接口；而&后必须跟接口。

2. 使用&，可以对泛型进一步约束，达到且的效果。

<? extends T>上界通配符(Upper Bounds Wildcards)：

情况说明

从上面的泛型可知：引用与具体实例的泛型是保持一致的，如:

但是在某些时候我们在创建实例时，需要用到T的某个子类来“填充”引用中的泛型T，而非T本身来填充引用中的泛型T，
这样行不行呢？

如(假设我们创建了Fruit和Apple类,且Apple类继承了Fruit类)：

上图报错，说明上图这样是不行的！但是在实际业务中，我们很可能会遇到需要用等号左侧泛型的子类泛型来填
充左侧泛型的情况，那么此时怎么办呢？使用<? extends T>可解决此问题。

使用<? extends T>的示例：

注：<? extends T>之所以叫上界通配符，是因为T是所有?的父类，即到顶就是T了(我们一般不把Object考虑在内)。

注：我们一般可以从<? extends T>中获取数据，虽然子类是?并不明确，但是由于子类?对象可以赋给基类T引用，
        在使用时T必定是明确唯一的，所以我们取出来的?可以赋给T来进行使用。

<? super T>下界通配符(Lower Bounds Wildcards)：

情况说明

? super T与<? extends T>情况相反：

<? extends T>是将左侧泛型的子类?(或其本身)赋给左侧的泛型引用;而? super T则是将左侧泛型的父类?(或其本身)赋给左侧的泛型引用。

如(假设我们创建了Fruit和Apple类,Fruit类是Apple类的父类)：

注：<? super T>之所以叫下界通配符，是因为T是所有?的子类，即到最下面就是T了。

注：我们一般可以往<? super T>中setter ?实例,而不取;因为getter获得的对象只能以Object来接,因为你不知道
       你get的到底是T的哪一个父类，如果使用Object来接的话，是会损失一部分该对象的功能的。

 

^_^ 如有不当之处，欢迎指正

^_^ 参考链接：       
               https://www.cnblogs.com/drizzlewithwind/p/6100164.html
               https://blog.youkuaiyun.com/qq_27093465/article/details/73229016
               https://www.cnblogs.com/duanxz/p/3896773.html

^_^ 本文已经被收录进《程序员成长笔记(三)》，笔者JustryDeng