的java通用歧義

Question

如果有一個泛型類型node<E>與像setData(E Type)兩個操作和E getData()，讓s0是node一個實例由node<? extends Number>那麼我們爲什麼不編譯器允許我至少使用s0.setData(Number Type)？我可以理解爲什麼不允許其他類型，但爲什麼不允許setData輸入一個數字類型，因爲我們確信節點的類型至少是數字？

我的代碼如下所示：

class Node<E> { 
private E data; 
// ... 
public void setData(E obj) { data = obj; } // (1) 
public E getData() { return data; } // (2) 
// ... 
} 
Node<? extends Number> s0 = new Node<Number>(); 
s0.setData(200); //this is not allowed why? 
Node<Number> s0 = new Node<Number>(); 
s0.setData(100); //But this is allowed! 

Answer 1

比方說你有參考Node<? extends Fruits> s0。這意味着它可以指向

Node<? extends Fruit> s0 = new Node<Fruit>; 

而且

Node<? extends Fruit> s0 = new Node<Apple>; 

和

Node<? extends Fruit> s0 = new Node<Banana>; 

你怎麼想，這將是安全的，讓它增添Fruit香蕉或蘋果？或香蕉蘋果？如果蘋果和香蕉含有水果沒有的方法會怎麼樣？

Answer 2

分數：因爲Node<Integer>例如，不是Node<Double>。 It is not even a Node<Number>.

例子：

Node<? extends Number> s0 = new Node<Integer>(); 
s0.setData(Double.valueOf(2.0d)); //that's not possible... 

事實上，因爲我們不知道這種類型的s0是什麼，你就不能調用setData方法上的任何東西，但null ...

Answer 3

您已聲明類型爲Node<? extends Number>。你什麼分配它是無關緊要的。

至於編譯器來說它可能是以下任何一種：

• Node<Integer>
• Node<Float>
• Node<Double>
• 等

而且它沒有任何的辦法知道哪種類型是實際噸YPE。

您正在試圖通過一個（自動盒裝）Integer，但是編譯器無法知道實際類型可以接受Integer。