我的问题是对另一个人的问题的跟进：Unbounded wildcard passed to method
他想知道为什么下面的代码可以编译：
我们得出一个结论，编译器将?解释为Object，并通过Object -> Long的继承关系使下面的Long参数得以传递。这个代码可以使用Sun/Oracle javac（我使用1.6.0_26-b03）编译，但在Eclipse（我使用Helios）中无法编译，会显示以下错误信息：
我的问题是：
这是Java编译器实现中Eclipse使用的一个bug，还是Java“泛型推断算法”规范中一种有效的歧义，并且只是由Eclipse不同地实现了吗？
public class ColTest {
static<T> T wildSub(ArrayList<? extends T> holder, T arg){
T t=holder.get(0);
return t;
}
public static void main(String[] args) {
ArrayList<?> list=new ArrayList<Long>(Arrays.asList(2L,3L,7L));
Long lng=1L;
ColTest.wildSub(list, lng);
}
}
我们得出一个结论，编译器将?解释为Object，并通过Object -> Long的继承关系使下面的Long参数得以传递。这个代码可以使用Sun/Oracle javac（我使用1.6.0_26-b03）编译，但在Eclipse（我使用Helios）中无法编译，会显示以下错误信息：
The method wildSub(ArrayList<? extends T>, T) in the type ColTest is not applicable for the arguments (ArrayList<capture#2-of ?>, Long)
我的问题是：
这是Java编译器实现中Eclipse使用的一个bug，还是Java“泛型推断算法”规范中一种有效的歧义，并且只是由Eclipse不同地实现了吗？