java泛型歧义

Question

如果有一个泛型类型node<E> 有两个操作，如setData(E Type) 和E getData() 并让s0 成为node 的实例node<? extends Number> 那么为什么编译器不允许我使用s0.setData(Number Type) 至少？我可以理解为什么不允许其他类型，但为什么不允许 setData 放入 Number 类型，因为我们确定节点的类型至少是 number？

我的代码如下所示：

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 Number>。你分配给它的是无关紧要的。

就编译器而言，它可以是以下任何一种：

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

而且它无法知道实际类型是哪个类型。

您正在尝试传递（自动装箱的）Integer，但编译器无法知道 actual 类型可以接受 Integer。

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 的泛型类型是什么，所以除了null 之外，您将无法调用setData 方法...

Answer 3

假设您有参考 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 添加到 Bananas 或 Apples 是否安全？还是香蕉变苹果？如果 Apple 和 Banana 包含 Fruit 没有的方法会怎样。