数组与泛型相比，有两个重要的不同点。数组是协变的（如果Sub是Super的子类型，那么数组类型Sub[]是Super[]的子类型），相反，泛型是不可变得，对于任意两个不同的类型T1和T2，List<T1>和List<T2>没有子类型或超类型的关系。

 

//这段代码在运行时出错Object[] o = new Long[1];o[0] = "I don't fit it";//这段代码在编译时出错List

 

一段代码：

static 
     
       E reduce(List
      
        list, Function
       
         f, E initVal) {    E[] snapshot = (E()) list.toArray();    E result = initVal;    for(E e : snapshot)        result = f.apply(result, e); 　　return result;}
       
      
     

会有一条警告，编译器无法再编译时知道E是什么，所以是一个非受检的警告。

 

修改成列表代替数组：

static 
     
       E reduce(List
      
        list, Function
       
         f, E initVal) {    List
        
          snapshot;    synchronized(list) {        snapshot = new ArrayList
         
          (list);    }    E result = initVal;    for(E e : snapshot)        result = f.apply(result, e);    return result;  }
         
        
       
      
     

这样不会再收到警告，因为编译器可以保证类型转换自动进行，不会出错。