日韩无码专区无码一级三级片|91人人爱网站中日韩无码电影|厨房大战丰满熟妇|AV高清无码在线免费观看|另类AV日韩少妇熟女|中文日本大黄一级黄色片|色情在线视频免费|亚洲成人特黄a片|黄片wwwav色图欧美|欧亚乱色一区二区三区

 一 什么是泛型

Java 泛型(generics)是 JDK 5 中引入的一個新特性, 泛型提供了編譯時類型安全檢測機制，該機制允許程序員在編譯時檢測到非法的類型。

簡單理解就是：泛型指定編譯時的類型，減少運行時由于對象類型不匹配引發(fā)的異常。其主要用途是提高我們的代碼的復用率。

我們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稱為類型參數(shù)變量，而整個ArrayList 我們稱為泛型類型。 我們可以指定除基本類型之外的任何類型，如：ArrayList 。
• 源碼中Collection 中? 通配符類型 表示類型的上界，表示參數(shù)化類型的可能是T 或是 T的子類。
• 源碼中Comparator 表示類型下界(Java Core中叫超類型限定)，表示參數(shù)化類型是此類型的超類型(父類型)，直至Object。

二 extends和super通配符

在定義泛型類型Generic 的時候，也可以使用extends通配符來限定T的類型：

 
 
 

  
  
  
public class Generic { ... } 
 
 
 

現(xiàn)在，我們只能定義：

 
 
 

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

因為Number、Integer和Double都符合 。

非Number類型將無法通過編譯：

 
 
 

  
  
  
Generic p1 = null; // compile error! 
  
  
  
Generic