Question

hamcrest库中有一个方法：

package org.hamcrest.core

...

public static <T> Matcher<T> allOf(Matcher<? super T> first, Matcher<? super T> second) {
    List<Matcher<? super T>> matchers = new ArrayList<Matcher<? super T>>(2);
    matchers.add(first);
    matchers.add(second);
    return allOf(matchers);
}

在我的代码中，我将此方法称为first Matcher<Object>且second为Matcher<SomeException>。

现在：

当我使用带有1.6目标的Eclipse编译它时，它会<T> Matcher<SomeException>。
当我使用带有1.6目标的javac 1.7进行编译时，它会<T> Matcher<SomeException>。
当我使用带有1.6目标的javac 1.6进行编译时，它会<T> Matcher<Object>

问题是，<T>在这种情况下应该是什么？

我的理解是，javac 1.6中存在一个错误，它应该是Matcher<SomeException>，因为这是输入参数的常见类型（SomeException是Object的子类型）然后，它是100％肯定的返回Matcher的将是Matcher<SomeException>。

我是对的吗？有没有办法强迫javac 1.6正常运行？

Answer 1

编译器将执行inference based on actual arguments。它将从Matcher<Object> << Matcher<? super T>和Matcher<SomeException> << Matcher<? super T>的初始约束开始。从中可以推断出约束T << Object和T << SomeException。构建minimal erased candidate set时，Object将被删除。其余候选人SomeException将（最终：D）替换T。

到目前为止，我们已经展示了eclipse，JDK7在这种情况下表现正常。我认为没有办法强迫javac行为正确。您可以显式声明类型参数或使用JDK7（将source和target指定为6）。

Answer 2

您应该考虑两件事：

首先你可以这样使用它：CoreMatcher.<SomeException>allOf(...)明确设置T。
其次，由于类型擦除，作为运行时，您总是有Matcher<Object>。因此，在任何一种情况下，运行时行为都是相同的。

对于类型为T的方法，当它需要两个<！ - 时，它的'推断'类型应该是什么？超级T - >参数？

2 个答案: