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-＆gt; 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

Java泛型Eclipse编译器的bug？

1 个答案: