java - 泛型 super 与扩展

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());

在第二个示例中，允许使用 Aliphatic 及其父类(super class)型。那么为什么不允许脂肪族？

在第一个例子中，为什么不允许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> (因为 Aliphatic 扩展了 Organic ， Hexane 扩展了 Aliphatic 和 SomeSubtypeOfHexane 扩展了 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>

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

由于类的确切类型是未知的(只有一个约束 是已知的)，编译器必须在安全方面犯错误并禁止某些非协变或逆变的操作。 (如果您还不熟悉，Co- and contravariance 就是这些类型的泛型的科学背景。)