Java泛型的使用及泛型通配符

提要

对于泛型的定义及作用我这里仅简单提两句，如需深入研究请转移其他博客学习。

什么是泛型？

泛型，即“参数化类型”。

可以理解为方法传递形参。即和定义方法一样，先定义一个形参，方法一样然后调用此方法时传递实参。

例子

常见的泛型使用场景莫过于 ArrayList 集合了，那么我们可以查阅ArrayList的源码。

public class ArrayList<E> extends AbstractList<E>
        implements List<E>, RandomAccess, Cloneable, java.io.Serializable
{
    private static final long serialVersionUID = 8683452581122892189L;
    ...
}
           

这里就可以看到 ArrayList 后面用 <> 号括住了一个E ，那么这个E代表什么呢？

这里就可以把E理解成为一个形参。创建的时候是没有一个具体的值的，需要等到运行时外部传入才会拿到一个具体的数值。而ArrayList里只需要保持对E的引用就可以。

ArrayList<String> strings=new ArrayList<>();
strings.add("stringItem1");
strings.add("stringItem2");
           

• 什么是E？什么是T？

  E以及T都只是一个引用而已，是没有什么特殊含义的，另外泛型形参名字也和变量一样。只要符合JAVA变量定义的规范都是可以的。

  如：

  ArrayList<A>、ArrayList<AB>、ArrayList<ABC>

泛型通配符

目前是有三种泛型的通配符，可对传入的实参对象进行限制。

1. ?

   ArrayList<?> ? 号代表的是可接受Object和所有Object的子类。

2. ? extends E

   ArrayList<? extends E> extends 时表示可接受E以及E的所有子类

3. ? super E

   ArrayList<? super E> super 时表示可接受E以及E的所有父类

注意：泛型通配符仅仅在泛型形参时可用，实参传递时是不可用的。

学习中特写此文用于记录。