泛型程序设计(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>的使用:这里单独拿出来示例,主要是这种用法十分常见:
使用&来进行且操作:
- extends后既可以跟类,也可以跟接口;而&后必须跟接口。
- 使用&,可以对泛型进一步约束,达到且的效果。
<? 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.csdn.net/qq_27093465/article/details/73229016
https://www.cnblogs.com/duanxz/p/3896773.html