Java限制的通配符泛型产生编译器错误

问题描述

| 具有以下代码：

    Stack<Integer> integers = new Stack<Integer>();
    Stack<? extends Number> numbers = integers;
    Number n = numbers.pop();
    numbers.push(3);
    numbers.push(n);

我在最后两行遇到编译错误，但是尽管我已经给出一些想法，但我不明白为什么会有编译错误。

The method push(capture#2-of ? extends Number) in the type Stack<capture#2-of ? extends Number> is not applicable for the arguments (int)

当我注释最后一行时，仍然会出现上述编译错误，但是据我了解，编译器应该能够从这些行中推断出正确的类型（堆栈）。 非常感谢     

解决方法

        这里的答案很明确 如何添加到列表<？扩展Number>数据结构？     ,        最后两行无效，因为

numbers

可以是任何数字类型的堆栈。考虑以下类似代码：

Stack<Double> doubles = new Stack<Double>();
Stack<? extends Number> numbers = doubles;
Number n = numbers.pop();
numbers.push(3);
numbers.push(n);

在这里，您试图将ѭ4放在ѭ5上，这显然是不正确的。 基本上，当您像这样使用通配符时，可以获取值，但不能将值放入，因为编译器无法保证这样做的有效性。     ,        Java中的泛型协方差在客户端处理。也就是说，您没有语义可以说堆栈是协变的，而让编译器检查您允许的操作（例如推入）在协变模型中是否有效。 （不是推）。 这里的特定问题是您可以执行以下操作：

Number r = new Rational(a,b); // rationals are also numbers
number.push(r);

这在底层结构中意味着integer.push（r）; // 类型不匹配 （在Scala中编程对第19章的客户端与提供方（共/反）方差有清晰的解释。即使您不喜欢Scala，也建议阅读）