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>的初始约束开始. <<匹配器< ;?超级T>和Matcher< SomeException> <<匹配器< ;?超级T>.由此,它将推断出约束条件T<对象和T< SomeException.构建
minimal erased candidate set时将删除对象.剩余的候选人SomeException将(最终：D)替换为T.
到目前为止,我们已经展示了eclipse,JDK7在这种情况下表现正常.我认为没有办法强迫javac行为正确.您可以显式声明类型参数或使用JDK7(将source和target指定为6).
