Java泛型Eclipse编译器错误？

Question

我的问题是对另一个人的问题的跟进：Unbounded wildcard passed to method

他对编译以下代码的原因很感兴趣：

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 错误。

根据 15.12.2.7，T 应被推断为对象。

15.12.2.8 也有一个包罗万象的子句：“任何尚未推断的剩余类型变量然后推断为具有 Object 类型”

在 T=Object 的情况下，根据 15.12.2.2，该方法适用。

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