Java中泛型的应用总结

1 基本使用

public interface List<E> {

  void add(E);

  Iterator<E> iterator();

}

2 泛型与子类

Child是Parent的子类，List<Child>却不是List<Parent>的子类。

因此：List<Object> list = new ArrayList<String>()是错误的。

如果上面是正确的，那么：

List<String> ls = new ArrayList<String>(); //1

List<Object> lo = ls; //2

lo.add(new Object()); // 3

String s = ls.get(0); // 4，将object转换为string将失败。

3 wildcards

因为2的原因，下面的实现用于统配集合的输出是不行的

void printCollection(Collection<Object> c) {

  for (Object o: c) {

    // do something

  }

}

因此，需要通配符?：

void printCollection(Collection<?> c) {

  for (Object o: c) { // 1

    // do something

  }

} // ok

此处的?表示类型未知，但是任何对象均是Object，因此上例的1是正确的。但下例却是错误的：

void add(Collection<? extends MyClass> c) {

  c.add(new MyClass()); // wrong

} // ok

原因也很明确，? extends MyClass说明类型是MyClass的子类，但是却并不知道具体类型

4. 泛型方法

上例可以实现为：

<T> add(Collection<T> c, T t) {

  c.add(t);

}

编译器在保证语义的前提，会帮忙做类型的转换工作。

5. 泛型运行时的对比

List<String> l1 = new ArrayList<String>();

List<Integer> l2 = new ArrayList<Integer>();

System.out.println(l1.getClass() == l2.getClass()); // true

因为泛型类运行时时一样的。

6 泛型数组（可能导致类型不安全）

List<String>[] lsa = new ArrayList<String>[10]; // error

如果可以的话，可能导致类型不安全。如：

Object o = lsa;

Object []oa = (Object[])o;

List<Integer> li = new ArrayList<Integer>();

li.add(new Integer(3));

oa[1] = li;

String s = lsa[1].get(0); // runtime error