第25条:列表优先于数组

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

 

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

//这段代码在编译时出错
List<Object> o = new ArrayList<Long>();
o.add("I don't fit it";

 

一段代码:

static <E> E reduce(List<E> list, Function<E> 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> E reduce(List<E> list, Function<E> f, E initVal) {
    List<E> snapshot;
    synchronized(list) {
        snapshot = new ArrayList<E>(list);
    }
    E result = initVal;
    for(E e : snapshot)
        result = f.apply(result, e);
    return result;  
}

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

posted @ 2016-07-29 17:21  没有梦想的小灰灰  阅读(386)  评论(0编辑  收藏  举报