Java泛型是什麼

導語：泛型，即“參數化類型”。一提到參數，最熟悉的就是定義方法時有形參，然後調用此方法時傳遞實參。那麼參數化類型怎麼理解呢？讓我們瞭解一下吧！

顧名思義，就是將類型由原來的具體的類型參數化，類似於方法中的變量參數，此時類型也定義成參數形式（可以稱之為類型形參），然後在使用/調用時傳入具體的類型（類型實參）。

看着好像有點複雜，首先我們看下上面那個例子採用泛型的寫法。

1 public class GenericTest {

2

3 public static void main(String[] args) {

4 /*

5 List list = new ArrayList();

6 ("qqyumidi");

7 ("corn");

8 (100);

9 */

10

11 Listlist = new ArrayList();

12 ("qqyumidi");

13 ("corn");

14 //(100); // 1 提示編譯錯誤

15

16 for (int i = 0; i < (); i++) {

17 String name = (i); // 2

18 tln("name:" + name);

19 }

20 }

21 }

採用泛型寫法後，在//1處想加入一個Integer類型的對象時會出現編譯錯誤，通過List，直接限定了list集合中只能含有String類型的元素，從而在//2處無須進行強制類型轉換，因為此時，集合能夠記住元素的類型信息，編譯器已經能夠確認它是String類型了。

結合上面的泛型定義，我們知道在List中，String是類型實參，也就是説，相應的List接口中肯定含有類型形參。且get()方法的.返回結果也直接是此形參類型（也就是對應的傳入的類型實參）。下面就來看看List接口的的具體定義：

1 public interface Listextends Collection{

2

3 int size();

4

5 boolean isEmpty();

6

7 boolean contains(Object o);

8

9 Iteratoriterator();

10

11 Object[] toArray();

12

13T[] toArray(T[] a);

14

15 boolean add(E e);

16

17 boolean remove(Object o);

18

19 boolean containsAll(Collection c);

20

21 boolean addAll(Collection c);

22

23 boolean addAll(int index, Collection c);

24

25 boolean removeAll(Collection c);

26

27 boolean retainAll(Collection c);

28

29 void clear();

30

31 boolean equals(Object o);

32

33 int hashCode();

34

35 E get(int index);

36

37 E set(int index, E element);

38

39 void add(int index, E element);

40

41 E remove(int index);

42

43 int indexOf(Object o);

44

45 int lastIndexOf(Object o);

46

47 ListIteratorlistIterator();

48

49 ListIteratorlistIterator(int index);

50

51 ListsubList(int fromIndex, int toIndex);

52 }

我們可以看到，在List接口中採用泛型化定義之後，中的E表示類型形參，可以接收具體的類型實參，並且此接口定義中，凡是出現E的地方均表示相同的接受自外部的類型實參。

自然的，ArrayList作為List接口的實現類，其定義形式是：

1 public class ArrayListextends AbstractList

2 implements List, RandomAccess, Cloneable, alizable {

3

4 public boolean add(E e) {

5 ensureCapacityInternal(size + 1); // Increments modCount!!

6 elementData[size++] = e;

7 return true;

8 }

9

10 public E get(int index) {

11 rangeCheck(index);

12 checkForComodification();

13 return entData(offset + index);

14 }

15

16 //...省略掉其他具體的定義過程

17

18 }

由此，我們從源代碼角度明白了為什麼//1處加入Integer類型對象編譯錯誤，且//2處get()到的類型直接就是String類型了。