Java泛型你必须知道的知识

 一 什么是泛型

Java 泛型(generics)是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

简单理解就是：泛型指定编译时的类型，减少运行时由于对象类型不匹配引发的异常。其主要用途是提高我们的代码的复用率。

我们Java标准库中的ArrayList就是泛型使用的典型应用：

 
 
 

  
  
  
public class ArrayList extends AbstractList implements List, RandomAccess, Cloneable, java.io.Serializable { 
  
  
  
        
  
  
  
      ...... 
  
  
  
 
  
  
  
    public ArrayList(Collection c) { 
  
  
  
        elementData = c.toArray(); 
  
  
  
        if ((size = elementData.length) != 0) { 
  
  
  
            // c.toArray might (incorrectly) not return Object[] (see 6260652) 
  
  
  
            if (elementData.getClass() != Object[].class) 
  
  
  
                elementData = Arrays.copyOf(elementData, size, Object[].class); 
  
  
  
        } else { 
  
  
  
            // replace with empty array. 
  
  
  
            this.elementData = EMPTY_ELEMENTDATA; 
  
  
  
        } 
  
  
  
    } 
  
  
  
 
  
  
  
    public void sort(Comparator c) { 
  
  
  
        final int expectedModCount = modCount; 
  
  
  
        Arrays.sort((E[]) elementData, 0, size, c); 
  
  
  
        if (modCount != expectedModCount) { 
  
  
  
            throw new ConcurrentModificationException(); 
  
  
  
        } 
  
  
  
        modCount++; 
  
  
  
    } 
  
  
  
    
  
  
  
  ..... 
  
  
  
 
  
  
  
    public E get(int index) { 
  
  
  
        rangeCheck(index); 
  
  
  
 
  
  
  
        return elementData(index); 
  
  
  
    } 
  
  
  
 
  
  
  
    public boolean add(E e) { 
  
  
  
        ensureCapacityInternal(size + 1);  // Increments modCount!! 
  
  
  
        elementData[size++] = e; 
  
  
  
        return true; 
  
  
  
    } 
  
  
  
 
  
  
  
} 
 
 
 

•  源码中，ArrayList 中的E称为类型参数变量，而整个ArrayList 我们称为泛型类型。 我们可以指定除基本类型之外的任何类型，如：ArrayList 。
• 源码中Collection 中? 通配符类型 表示类型的上界，表示参数化类型的可能是T 或是 T的子类。
• 源码中Comparator 表示类型下界(Java Core中叫超类型限定)，表示参数化类型是此类型的超类型(父类型)，直至Object。

二 extends和super通配符

在定义泛型类型Generic 的时候，也可以使用extends通配符来限定T的类型：

 
 
 

  
  
  
public class Generic { ... } 
 
 
 

现在，我们只能定义：

 
 
 

  
  
  
Generic p1 = null; 
  
  
  
Generic p2 = new Generic<>(1, 2); 
  
  
  
Generic p3 = null; 
 
 
 

因为Number、Integer和Double都符合 。

非Number类型将无法通过编译：

 
 
 

  
  
  
Generic p1 = null; // compile error! 
  
  
  
Generic