java – 对于类型为T的方法,当它需要两个<？时,它的'推断'类型应该是什么？超级T>争论？

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

在我的代码中,我首先将此方法称为Matcher< Object>第二个是Matcher< SomeException>.

现在：

>当我使用带有1.6目标的Eclipse编译它时,它会使< T>匹配< SomeException取代.
>当我使用带有1.6目标的javac 1.7编译它时,它使< T>匹配< SomeException取代.
>当我使用带有1.6目标的javac 1.6进行编译时,它会使< T>匹配<对象>

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

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

我对吗？有没有办法迫使javac 1.6正常行事？

解决方法

编译器将执行 inference based on actual arguments.它将以Matcher< Object>的初始约束开始. <<匹配器&LT ;?超级T>和Matcher< SomeException> <<匹配器&LT ;?超级T>.由此,它将推断出约束条件T<对象和T< SomeException.构建 minimal erased candidate set时将删除对象.剩余的候选人SomeException将(最终：D)替换为T.

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