Hạn chế của Arrays.asList() là không đúng sự thật trong tư duy trong Java 4th Edition

Question

Trong cuốn sách này, nó nói:

Một hạn chế của Arrays.asList() là phải mất một đoán tốt nhất về loại kết quả của Danh sách và không chú ý đến những gì bạn đang gán cho nó.

Cuốn sách này là Tư duy trong Java By Bruce Eckel

Tuy nhiên, đoạn mã sau đang làm việc tốt, trái với mã hiển thị trong trang sách này 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

Mọi ý tưởng đều được đánh giá cao.

Answer 1

Mã này không thành công trong Java-7, nhưng biên dịch trong Java-8. Sử dụng javac 7u80 Tôi thấy:

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

Suy luận kiểu trong Java-8 được cải thiện đáng kể. Trước đó, loại được phỏng đoán cho mỗi biểu thức phụ riêng biệt dựa trên phân tích biểu thức phụ đó, do đó, loại Arrays.asList(new Light(), new Heavy()) được yêu cầu được biết bất kể bối cảnh xung quanh. Trong Java-8 ngữ cảnh xung quanh có thể giải thích cho loại biểu thức.

Trong phiên bản đặc tả ngôn ngữ Java phiên bản 8 có whole new chapter dành riêng cho suy luận loại. Nó không phải là rất dễ dàng để đọc, nhưng để hiểu biết của tôi bây giờ thay vì chỉ định các loại cụ thể cho mỗi subexpression một tập hợp các constraints được chỉ định. Trong trường hợp của chúng tôi, các ràng buộc là Light <: T && Heavy <: T (không có loại chính xác nào được suy ra ở đây). Tiếp theo quá trình giảm được thực hiện làm giảm tập hợp các ràng buộc đối với tập hợp các giới hạn có tính đến expression compatibility constraints.