EffectiveJava（25）泛型和数组的使用取舍及规范

泛型和数组
泛型:1.泛型是不可变的.对于任意两个不同类型Type1,type2;List既不是List的子类型,也不是List的超类型
2.泛型是通过擦除来实现的.故泛型只在编译时强化它们的信息,并在运行时丢弃(擦除)他们的元素类型信息
2.a:擦除:使泛型可以与没有使用泛型的代码随意进行互用
数组:1.数组是协变的.如果Sub为Super的子类型,那么Sub[]就是Super[]的子类型
2.数组是具体化的,这表明数组会在运行时才知道并检查他们的元素类型约束

因此,泛型和数组不能很好的进行结合使用,创建泛型数组是非法的,因为他违背了泛型系统提供的基本保证.但后面我们会给出这条的解决方案.

//cannot create a generic array of List<String>
        //ClassCastException
        List<String>[] stringLists = new List<String>[1];
    /List<Integer> initList = Arrays.asList(42);
        将List<String>数组保存到一个Object数组变量中,由于数组的协变性,合法
        //Object[] objects = stringLists;
        //将List<String>保存到Object数组里唯一的元素中,因为泛型是通过擦除实现的,合法 --List<String>运行时是List
        objects[0] = initList;
        String str = stringList[0].get(0);

当你得到泛型数组创建错误时,最好的解决办法通常是优先使用集合类型List,而不是数组类型E[].这样可能会损失一些性能或者简洁性,但是有更高的类型安全性和互用性
如:

        //没有泛型时的代码
        static Object reduce(List list,Function f,Object initVal){
            synchronized(list){
                Object result = initVal;
                for(Object o:list)
                    result = f.apply(result,o);
            }
        }
        inteface Function(){
            Object apply(Object arg1,Object arg2);
        }

    //利用List的toArray方法在持有锁的时候修改reduce方法来复制列表中的内容,也可以备份减法

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

        //如果使用泛型定义接口,那么就需要用列表代替数组
        inteface Function<T>(){
            T apply(T arg1,T arg2);
        }

        ----->>>>修改过后的static
        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;
        }

    虽然这个版本代码比较冗长,但是可以确保不会产生ClassCastException

总结:数组和泛型有着非常不同的类型规则.数组是协变且可以具体化的;泛型是不可变且可以被擦除的.因此,数组提供了运行时的类型安全,但是没有编译时的类型安安全,反之,对于泛型也一样.一般来说,数组和反省不能很好地混合使用.如果你发现自己将它们混合使用,并且得到了编译时错误或警告,那么就应该用列表代替数组!