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

hamcrest库中有一个方法：

package org.hamcrest.core

...

public static Matcher allOf(Matcher super T> first,Matcher super T> second) {

List> matchers = new ArrayList>(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正常行事？