我希望有一个像签名一样的方法
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)
但这迫使程序员明确提到允许的最高类型,当我想用语言推断它时。
请注意,较近的解决方案不能简单地重载,因为它们的删除是相同的。
我希望我提供了足够的信息来传达我想要的东西。我意识到这在Java中可能是不可能的,但我希望它是可行的。这也是我在这个论坛上的第一个问题,所以如果我在不知不觉中违反任何规则,我会提前道歉并感谢您的耐心等待!
答案 0 :(得分:3)
这对评论来说太长了。
从编译器的角度来看,可能是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>
(或其他任何组成的语法)不帮助。
例如,假设我们有这个:
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) {...}
添加它们可能来自彼此只会为该示例增加额外的复杂程度。