的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。