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