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类型了。