Java基础之泛型的使用

Posted 此账户已注销或冻结

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Java基础之泛型的使用相关的知识,希望对你有一定的参考价值。

为什么要使用泛型

首先我们先来看一段演示代码,如下所示,

1 public static void main(String[] args) {
2         List list = new ArrayList();
3         list.add("abc");
4         list.add(123);
5         list.add(HashMap.class);
6 
7         System.out.println(list.get(0));
8 }

第2行,List里面的内容类型是Object类型,因此第3、4、5行可以接受String、Integer或者Class类型。然鹅,会存在两个严重的问题:

①在List集合中,增加元素时,集合不会记住元素的具体类型,对象的编译类型为Object类型,但是运行时类型仍然是本身的类型,如String等。

②在List集合中,取出元素时,需要对Object类型,进行转换,因为没有存储元素的真实类型,所以很容易出现ClassCastException异常。

 

因此我们的需求需要满足,第一编译能够识别元素的类型,第二不能出现类型强转出现的异常。于是泛型就出现了。于是出现了开发者很熟悉的一段代码:

在编译期间确定类型,只要不满足这个类型,则编译不通过。总结一下使用泛型带来的好处

1.类型确定,使得如果出现类型不一致在编译期间不同通过,而不是在运行期间抛出异常。

2.编码在逻辑代码中出现过多的强转,代码优雅性较好。

 

我们再来看一段如下代码,

 1 public static void main(String[] args) {
 2         List<String> a = new ArrayList();
 3         List<Integer> b = new ArrayList<>();
 4 
 5         Class<? extends List> aClass = a.getClass();
 6         Class<? extends List> bClass = b.getClass();
 7 
 8         System.out.println(aClass +" &&  "+ bClass);
 9         System.out.println(aClass == bClass);
10 }

打印出来的结果是   class java.util.ArrayList   &&  class java.util.ArrayList    true。因此,泛型的类型不会对集合实例时什么类型造成影响。如上图所示的泛型类型分别为String和Integer,但是getClass类型确是相同,都为ArrayList。因此想要定义两个重载函数,如果使用形参列表来区分重载,仅仅通过泛型不同时不可行的,演示代码如下所示,编译期间不通过。

 

泛型接口,泛型类,泛型方法

        泛型,指的是“参数化”类型,什么是参数化类型呢?有点类似方法中的形参和实参,形参是方法中形式参数之意,比较抽象的概念,而实参是实际参数之意,拥有具体的数值,比较具体的概念。而参数化类型,表明在定义时形式化,在使用时具体化。下面看一下List接口的定义。

public interface List<E> extends Collection<E>

E就是参数化的类型,也就是泛型。这个接口叫作泛型接口,我们再看一下ArrayList的类定义;

public class ArrayList<E> extends AbstractList<E>
        implements List<E>, RandomAccess, Cloneable, java.io.Serializable

同样的这个类叫作泛型类,再来看泛型类中的泛型方法。如下所示,

 1 public boolean add(E e) {
 2         ensureCapacityInternal(size + 1);  // Increments modCount!!
 3         elementData[size++] = e;
 4         return true;
 5 }
 6 
 7 public E remove(int index) {
 8         rangeCheck(index);
 9 
10         modCount++;
11         E oldValue = elementData(index);
12 
13         int numMoved = size - index - 1;
14         if (numMoved > 0)
15             System.arraycopy(elementData, index+1, elementData, index,
16                              numMoved);
17         elementData[--size] = null; // clear to let GC do its work
18 
19         return oldValue;
20     }
21 
22 
23 public E get(int index) {
24         rangeCheck(index);
25 
26         return elementData(index);
27 }

以上代码是ArrayList泛型类中的 add,remove,get。add方法的元素类型是E,remove方法的返回值类型也是E,get方法的返回值类型也是E。这个E就是最先我们接口中的定义的泛型接口参数E。   这就解释了为什么 在List<Integer> 中add("abc")会编译不通过,也解释了为什么在List<Integer>中 get(0)的返回值会是 Integer。

 

类型通配符

Object类是List的超类,然而List<Object >不是List<String>的父类,Number是Integer的抽象父类。然后List<Number>不是List<Integer>的父类。

因此,List<Integer>不能向上转型。此时就需要引入一个叫类型通配符的东西。类型通配符使用  ?  类表示。通配符“?”表示所有泛型的父类型。如下所示,

1 public List<?> filter(List<?> list) {
2 
3 
4         
5         return list;
6 }
List<String> aa = new ArrayList();
List<String> filter = (List<String>)filter(aa);
在客户端可以直接调用filter方法,返回值依然是List类型,泛型为?即所有泛型的父类型,因此使用List<String>强转即可。使用类型通配符只能查询过滤或者统计元素,不能进行新增等操作,因为类型是抽象的,新增需要明确的类型。这里要提一下,我们

 这里需要指出,我们在应用时经常要对  ?做出约束, 比如现在上述的  filter方法中,的形参,只能传递  Integer的父类。那代码就变成了:

public static List<?> filter(List<? super Integer> list) {
        return list;
}

ps:Integer和Integer的父类Number都是可的,List<Integer>、List<Number> 等。客户端调用如下所示。

List<Number> aa = new ArrayList();

List<Number> filter = (List<Number>)filter(aa);

和<? super Integer>相对的是<? extends Number>表示形参中的类型只能是Number类型或者是他的子类。

1 public static List<?> filter(List<? extends Number> list) {
2 
3         return list;
4 }

 

最后强调一下

1.在新增一个泛型类时候,在类后面待上泛型,这个泛型不能是通配符“?”,而且如果要表示继承关系只能使用<T extends  父类>的形式,不能使用<T super 某个类>。

2.静态资源不识别泛型。静态变量,静态方法,静态方法块,静态类不识别泛型。

 

以上是关于Java基础之泛型的使用的主要内容,如果未能解决你的问题,请参考以下文章

Java基础之泛型

Java8基础之泛型

Java基础知识(JAVA之泛型)

java之泛型的使用

Java重要技术(19)泛型之泛型的使用方法

javaSE之泛型(Generics)