此Java輸入層次結構是否正確？

Question

鑑於類型List<?>，List<Object>，List<? super Number>，List<Number>，List<Integer>和List<? extends Number>，我想了解他們的層次結構。

我知道List<Integer>不是List<Number>一個亞型，即使Integer確實是Number一個亞型，所以我認爲這是代替List<? extends Number>亞型。

但List<? extends Number>直覺似乎是List<Number>一個亞型，這使得List<Integer>的畢竟List<Number>的後裔，因爲我對它的想法表示：

所以，如果一個類型是從另一個後裔，但不是直接的，它仍然是它的祖先的一個子類型（或者我在圖中只是錯誤的）？這個練習也讓我對?與Object有點困惑......實際上，它看起來像我可能有List<Object>和List<? super Number>混合起來。我想最大的問題之一是，「是'所有'是Object ......還是一切都是?？」或者兩者兼得......或者兩者都不？

Answer 1

原因爲什麼List<Integer>不是List<Number>的子類型。

讓我們考慮一個場景，其中List<Number>接受List<Integer>（這實際上不會工作）。

List<Integer> listI =new ArrayList<Integer>(); 
    List<Double> listD = new ArrayList<Double>(); 
    method(listI); 
    method(listD); 

並且您有一個以List<Number>作爲參數的方法。

public void method(List<Number> list) { 
    list.add(new Double()); // would fail if you pass an List<Integer> as Integer is not a super type of Integer. 
    list.add(new Integer()); //would fail if you pass an List<Double> as Double is not a subtype of Integer  
    }  

所以如果聲明List<number>你的方法參數接受List<Double>並嘗試添加一個整數到雙。其中是錯誤的列表，因爲雙是不是一個超類型整數因此List<Number>不是子類型List<Integer>。

現在考慮同樣的場景，其中List<? extends Number>是一個方法參數，而不是List<Number>

  public void method(List<? extends Number> list) { 
         // list.add(new Double()); 
         // list.add(new Integer());  
       } 

，現在你傳遞一個List<Integer>此方法。如果它接受它並且您嘗試將Double添加到整數列表。 BOOM ...您剛剛添加了一個Double到整數列表。

給出非正式示例。考慮動物超型與貓和狗作爲亞型。 現在，您有一種方法接受<? extends Animal>並且您將Dog傳遞給此方法。並在該方法中嘗試添加Cat。它加入了錯誤類型（CAT）到您的狗，從而**List<Dog>**不是List<? extends Animal>

亞型請讓我知道這是不是表現enough.Thanks :)