Java泛型，紧密有界参数类型

Question

我希望有一种方法具有类似签名的method(T1 t1, T2 t2) ，使得T2是-T1和/或T1是-T2。 我不希望T1和T2都是T的情况，但两者都不是 - 另一个。 我希望最允许的类型在继承树中以T1或T2的最高值为界。 我使用的是Java 6。

下面是尝试显示一些所需的用例

class Experiment
{
  static List genericList = new ArrayList();
  static ArrayList arrayList = new ArrayList();

  static class Test1 { }
  static class Test2 extends Test1 { }
  static class Test3 extends Test1 { }

  static <T> T experiment0(T expected, T actual)
  {
    return actual;
  }

  /** Almost works, but want arbitrary ordering. Cannot overload due to erasure. */
  static <T, S extends T> S experiment1(T expected, S actual)
  {
    return actual;
  }

  private static void experimentDriver()
  {
    // good, allowed
    List l = experiment0(genericList, arrayList);

    // bad, allowed; want compile-time error
    Object o = experiment0(new String(), new Integer(0));


    // good, allowed
    Test1 test1 = experiment1(new Test1(), new Test3());
    String string = experiment1(new String(), new String());
    List list = experiment1(genericList, new ArrayList());

    // good, disallowed
    experiment1(new Test2(), new Test3());
    experiment1(new Test3(), new Test2());
    experiment1(new Integer(0), new String());
    experiment1(new ArrayList(), new LinkedList());

    // bad, disallowed; want either order
    experiment1(new Test3(), new Test1());
    experiment1(new ArrayList(), genericList);
  }
}

我知道我可以用类似experiment(Class<T> clazz, T expected, T actual)的签名来实现类似的东西experiment(Class<T> clazz, T expected, T actual)但这迫使程序员明确提到允许的最高类型，当我想用​​语言推断它时。

请注意，较近的解决方案不能简单地过载，因为它们的擦除是相同的。

我希望我已经提供了足够的信息来传达我想要的东西。 我意识到这在Java中可能是不可能的，但我希望它是可行的。 这也是我在这个论坛上的第一个问题，所以如果我在不知不觉中违反任何规则，我会提前道歉并感谢您的耐心等待！

Answer 1

评论太长了。

从编译器的角度来看，可能为false的约束根本不是约束，并且无法帮助它确定在各种参数槽中应该允许哪些类型，或者允许对它们执行什么操作。 因此，语言（顺便说一下，无论是C＃还是Java）都没有语法来定义这种方式。 允许类型约束的原因是它允许您将变量视为方法体中的类型。 从而：

public static <T extends Collection> void foo(T a) {
    System.out.println(a.size());
}

将编译并运行，因为所有Collection子类都有一个size()方法。 问题是<T extends S || S extends T> <T extends S || S extends T> （或其他任何伪造的语法）没有帮助 。

例如，假设我们有这个：

public static <T extends List || S extends ArrayList> S bar(T a, S b) {
    // details
}

在这个例子中，我们可以调用b.removeRange(...)吗？ 我们不知道因为S可能不是 ArrayList 。 a.size()怎么样？ 我们不知道，因为T可能不是List 。 所以这并不比我们刚才所说的好

public static <T, S> S bar(T a, S b) {...}

补充说，他们可能相互派生只是增加了复杂性到例如额外的水平。