Java泛型Eclipse编译器的bug？

Question

我的问题是对另一个人的问题的跟进： 无限的通配符传递给方法

他有兴趣为什么编译以下代码：

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)

我的问题是：

这是Eclipse使用的Java编译器实现中的一个错误，还是Java的“泛型推理算法”规范中的某种歧义，它是有效的，只是Eclipse实现的不同？

Answer 1

它似乎是一个Eclipse bug。

根据15.12.2.7，T应推断为Object。

15.12.2.8还有一个catch-all子句：“然后推断出任何尚未推断的剩余类型变量都具有Object类型”

根据T =对象，按照15.12.2.2，该方法适用 。

http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#15.12