为什么在有界通配符泛型中不能有多个接口？

Question

我知道Java的泛型类型有各种各样的违反直觉的属性。特别是我不理解的一个，希望有人可以向我解释。为类或接口指定类型参数时，可以对其进行绑定，以使其必须使用来实现多个接口public class Foo<T extends InterfaceA & InterfaceB>。但是，如果要实例化实际对象，则此方法不再起作用。List<? extends InterfaceA>很好，但是List<? extends InterfaceA & InterfaceB>无法编译。考虑以下完整代码段：

import java.util.List;

public class Test {

  static interface A {
    public int getSomething();
  }

  static interface B {
    public int getSomethingElse();
  }

  static class AandB implements A, B {
    public int getSomething() { return 1; }
    public int getSomethingElse() { return 2; }
  }

  // Notice the multiple bounds here. This works.
  static class AandBList<T extends A & B> {
    List<T> list;

    public List<T> getList() { return list; }
  }

  public static void main(String [] args) {
    AandBList<AandB> foo = new AandBList<AandB>(); // This works fine!
    foo.getList().add(new AandB());
    List<? extends A> bar = new LinkedList<AandB>(); // This is fine too
    // This last one fails to compile!
    List<? extends A & B> foobar = new LinkedList<AandB>();
  }
}

似乎bar应该明确定义的语义-我想通过允许两种类型（而不只是一种类型）的交集，不会损失类型安全性。我敢肯定有一个解释。有谁知道它是什么？

Answer 1

有趣的是，接口java.lang.reflect.WildcardType看起来支持通配符arg的上限和下限。每个都可以包含多个边界

Type[] getUpperBounds();
Type[] getLowerBounds();

这超出了语言所允许的范围。源代码中有一个隐藏的注释

// one or many? Up to language spec; currently only one, but this API
// allows for generalization.

该界面的作者似乎认为这是偶然的限制。

您问题的罐头答案是，泛型本身已经太复杂了；增加更多的复杂性可能被证明是最后一根稻草。

为了使通配符具有多个上限，必须通读规范并确保整个系统仍然有效。

我知道的一个麻烦是类型推断。当前的推理规则根本无法处理交集类型。没有减少约束的规则A&B << C。如果我们减少到

    A<<C 
  or
    A<<B

当前任何推理引擎都必须进行大修，以允许这种分歧。但是真正的严重问题是，这允许有多种解决方案，但是没有理由偏爱一个解决方案。

但是，推断对于类型安全性不是必不可少的。在这种情况下，我们可以简单地拒绝推断，并要求程序员显式填充类型参数。因此，推理的难度并不是反对干涉类型的有力依据。