Java里的Arrays.asList

参考资料：
Java编程思想

---

Arrays是一个工具类，没有实现任何其它接口，也没有继承除Object之外的任何类。其作用是将泛型可变参数转换成一个固定长度的List对象，在Java编程思想中这样描述到：”Arrays.asList()方法的限制是它对所产生的List的类型做出了最理想的假设，而并没有注意你对它会赋予什么样的类型”
我们看下下面这个例子

class Snow{}
class Powder extends Snow{}
class Crusty extends Snow{}
class Slush extends Snow{}
class Light extends Powder{}
class Heavy extends Powder{}
public class AsListInference {
    /**
     * @param args
     */
    public static void main(String[] args) {
        //1. 没有报错
        List<Snow> list1=Arrays.asList(new Powder(),new Crusty()); 
        //2. 编译时期错误: Type mismatch: cannot convert from List<Powder> to List<Snow>
        List<Snow> list2=Arrays.asList(new Powder(),new Light()); 
        //3. 编译时期错误: Type mismatch: cannot convert from List<Powder> to List<Snow>
        List<Snow> list3=Arrays.asList(new Light(),new Heavy()); 
        //4. 不报错
        List<Snow> list4=Arrays.asList(new Crusty(),new Slush(),new Powder(),new Light(),new Heavy()); 
        //5. 不报错
        List<Snow> list5=Arrays.asList(new Crusty(),new Light());       
    }
}

结论： Arrays.asList返回的是可变参数中的所有对象的最低层次的公共父类的对象.

先看 1. Powder类与Crusty类均继承Snow类，即它们两最低层次的公共父类为Snow类，当然最高层次公共父类为Object类，因此1中Arrays.asList获得的即为一个List<Snow>，因此不会报错

再看下2. Light类继承Powder类，因此Light与Powder类二者的最低层次的公共父类为Powder类，此时Arrays.asList 获得的则是一个 List<Powder> ，将它赋值给一个List<Snow> 便报错。

不过这里有个疑问，Powder类不是继承了Snow类，赋值时不能自动向上转型吗？

当把2.中代码换成(使用通配符)：

List<? extends Snow> list2=Arrays.asList(new Powder(),new Light());

或者显示类型参数说明以告诉编译器对于由Arrays.asList产生的List类型，实际的目标类型应该是什么

List<Snow> list2=Arrays.<Snow>asList(new Powder(),new Light()); 

这样便可以了

再来看下5. Crusty类继承Snow类，Light类继承Powder类，Powder类继承Snow类，因为Crusty类与Light类的最低层次的公共父类为Snow类，因此Arrays.asList获得为 List<Snow>，因此也就不会报错。