は、Arrays.asListの制限は（）この本でのJava第4版

Question

に考えるには真実ではない、それは言う：

は、Arrays.asList（の制限）は、それが最良の推測を取ることです約 リストの結果のタイプであり、 に割り当てられているものには注意しません。

本はJAVAによるブルースEckel氏この本のページに示すコードするただし、次のコードは正常に動作している

、反対280

public class Main{ 

    public static void main(String[] args) { 
     List<Snow> snow = Arrays.asList(new Light(), new Heavy()); 
    } 
} 
class Snow {} 
class Powder extends Snow {} 
class Light extends Powder {} 
class Heavy extends Powder {} 

のJava 1.8、IntelliJので考えるです、Windows 7

いずれかの考えがあります。

Answer 1

このコードはJava-7では失敗しますが、Java-8ではコンパイルされます。 javac 7u80を使用して私は参照してください：

Main.java:7: error: incompatible types 
       List<Snow> snow = Arrays.asList(new Light(), new Heavy()); 
              ^
    required: List<Snow> 
    found: List<Powder> 
1 error 

Java-8の型推論が大幅に改善されました。その前に、そのサブ式の解析に基づいて排他的にすべての部分式についてタイプが推論されたので、タイプはArrays.asList(new Light(), new Heavy())であり、周囲のコンテキストに関係なく知られている必要がありました。 Java-8では、周囲の文脈が表現型を説明することがあります。

Java言語仕様バージョン8には、型推論専用のwhole new chapterがあります。読むのはあまり簡単ではありませんが、すべての部分式に具体的な型を代入するのではなく、constraintsのセットが割り当てられています。私たちの場合、制約はLight <: T && Heavy <: Tです（正確な型はここでは推測されません）。次に、減算プロセスが実行され、制約セットが、expression compatibility constraintsを考慮して境界のセットに縮小される。