泛型超级与扩展

Question

当我以为自己终于了解了泛型时，我遇到了以下示例：

public class Organic<E> {
          void react(E e) { }
          static void main(String[] args) {
            //1: Organic<? extends Organic> compound = new Aliphatic<Organic>(); 
            //2: Organic<? super Aliphatic> compound = new Aliphatic<Organic>(); 
           compound.react(new Organic());
           compound.react(new Aliphatic());
           compound.react(new Hexane());
 } }
 class Aliphatic<F> extends Organic<F> { }
 class Hexane<G> extends Aliphatic<G> { }

它说，如果第1行未注释，则不会编译以下内容：

  compound.react(new Organic());  
  compound.react(new Aliphatic());  
  compound.react(new Hexane());

如果注释了第2行，则不会编译以下内容：

compound.react(new Organic());

在第二个示例中，允许使用脂肪族及其超类型。那么为什么不允许脂肪族？

在第一个示例中，为什么new Organic不允许？

第一个编译器错误：

- The method react(capture#1-of ? extends Organic) in the type Organic<capture#1-of ? extends Organic> is not applicable for the arguments (Organic)
- The method react(capture#2-of ? extends Organic) in the type Organic<capture#2-of ? extends Organic> is not applicable for the arguments (Aliphatic)
- The method react(capture#3-of ? extends Organic) in the type Organic<capture#3-of ? extends Organic> is not applicable for the arguments (Hexane)

第二编译器错误：

- The method react(capture#1-of ? super Aliphatic) in the type Organic<capture#1-of ? super Aliphatic> is not applicable for the arguments  (Organic)

Answer 1

您的第一个声明

Organic<? extends Organic> compound

表示compound 可能 是一个Organic<SomeSubtypeOfHexane>（因为Aliphaticextends
Organic，Hexaneextends Aliphatic和SomeSubtypeOfHexaneextended Hexane）。

在这种情况下，compound.react(new Organic())，compound.react(new Aliphatic())并compound.react(new Hexane())会导致一个类型的错误，因为E在compound必须是一个SomeSubtypeOfHexane（或它们的子类型）。

您的第二份声明

Organic<? super Aliphatic> compound

表示compount 可能 是一个Organic<Aliphatic>。

在这种情况下，compound.react(new Organic())将导致类型错误，因为它E必须是Aliphatic（或其子类型）。

请记住，使用A<? extends B>或声明变量A<? super B>

• 扩展 了可以分配给它的对象的数量，因此，
• 限制 了变量可以做什么。

由于类的确切类型是未知的（只有 约束
是已知的），因此编译器不得不出于安全考虑而犯错，并禁止某些不是协变的或互变的操作。（如果您还不熟悉它，协方差和逆方差是此类泛型的科学背景。）