关于泛型的一些问题

一、泛型在任何运行时需要知道确切类型信息的操作都将无法工作

package generics;
//: generics/Erased.java
// {CompileTimeError} (Won't compile)

public class Erased<T> {
  private final int SIZE = 100;
  public static void f(Object arg) {
    if(arg instanceof T) {}          // Error
    T var = new T();                 // Error
    T[] array = new T[SIZE];         // Error
    T[] array = (T)new Object[SIZE]; // Unchecked warning
  }
} ///:~

二、泛型类型参数在声明什么类型就必须实例化什么类型，类型继承和多态不能用于泛型类型参数。

class Fruit {}
class Apple extends Fruit {}
class Orange extends Fruit {}
public class NonCovariantGenerics {
  // Compile Error: incompatible types:
  List<Fruit> flist = new ArrayList<Apple>();
} ///:~

在实例化一个List的时候 指定一个泛型类型，如果这个类型是Fruit，那么就代表后面所有继承Fruit的子类都可以添加到当前的集合中；但是在赋值的时候却是使用的 Apple，那么这个ArrayList 中的泛型定义就是 Apple类型，也就意味着后面对 这个 ArrayList 进行Add等操作都必须是Apple类型或者是Apple的子类；也就和前面的Fruit以及Fruit的子类自相矛盾了；所以不允许这样进行擦除。

三、List<? extends T> 这里的T可以是任何类或者接口，？可以是T代表的这个类本身或子类；List<? super T>这里？可以是T代表的这个类本身或它的父类；

四、泛型对象的泛型参数类型在声明的时候确定

Holder<?> unbounded = new Holder<Long>();

这里unbounded的泛型类型参数是未知的；因为进行了泛型转型 擦除掉了。</