为什么这段代码中没有类型转换异常？

Question

这是来自Java

class Snow {}
class Powder extends Snow {}
class Light extends Powder {}
class Heavy extends Powder {}
class Crusty extends Snow {}
class Slush extends Snow {}

public class AsListInference {
    public static void main(String[] args) {
        //The book says it won't compile, but actually it does.
        List<Snow> snow2 = Arrays.asList(new Light(), new Heavy());
    }
}

以下是我的Java环境：

1. java版本"1.8.0_60"
2. Java（TM）SE运行时环境（build 1.8.0_60-b27）
3. JavaHotSpot（TM）64位服务器VM（构建25.60-b23，混合模式）

Answer 1

这本书显然希望编译器将右侧的类型确定为List

我手头上没有Java7编译器，但Java8确实在泛型类型推断方面带来了一些改进，这可能是让编译器解决这个特定类型绑定的原因。

Answer 2

事实上，这本书是对的。这里的区别是Java版本。

Java思维以Java5/6为目标（如封面所示）。对于这个版本的Java（以及Java 7），代码片段将不会用javac编译。错误是：

不兼容的类型：java。util。列表

在Java8中，这可以很好地编译：类型推断系统得到了改进。