泛型超级与扩展

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

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)

您的第一份声明

Organic<? extends Organic> compound

意思是compound could be an Organic<SomeSubtypeOfHexane> (since Aliphatic延伸Organic, Hexane延伸Aliphatic and SomeSubtypeOfHexane延伸Hexane).

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

您的第二次声明

Organic<? super Aliphatic> compound

意思是compount could be an Organic<Aliphatic>.

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

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

• extends可以分配给它的对象数量，因此，
• 限制可以用该变量做什么。

由于类的确切类型是未知的（只有一个约束已知），编译器必须在安全方面犯错误，并禁止某些非协变或逆变的操作。 （如果你还不熟悉它，协变和逆变是这些类型的仿制药的科学背景。）