重载泛型方法时Java 5和6之间的行为不同

Question

我已经运行到Java的泛型的问题:在相同的代码编译和Java 6中正常工作,但将无法编译,因为在Java 5中同一消失的我有一个重载的方法的文件TestErasure.java ,称为"方法":

import java.util.ArrayList;
import java.util.List;

public class TestErasure {
 public static Object method(List<Object> list) {
     System.out.println("method(List<Object> list)");
     return null;
 }

 public static String method(List<String> list) {
     System.out.println("method(List<String> list)");
     return null;
 }

 public static void main(String[] args) {
     method(new ArrayList<Object>()); 
     method(new ArrayList<String>()); 
 }
}

在Java 5中,我得到了预期的编译错误,指出"方法"的擦除是相同的:

$ javac -version
javac 1.5.0_19
$ javac TestErasure.java
TestErasure.java:10: name clash: method(java.util.List<java.lang.String>) and method(java.util.List<java.lang.Object>) have the same erasure
        public static String method(List<String> list) {
                             ^
TestErasure.java:17: method(java.util.List<java.lang.Object>) in TestErasure cannot be applied to (java.util.ArrayList<java.lang.String>)
      method(new ArrayList<String>()); 
            ^
2 errors

但是,Java 6能够编译和运行相同的代码.

$ javac -version
javac 1.6.0_16
$ javac TestErasure.java
$ java TestErasure
method(List<Object> list)
method(List<String> list)

基于我目前对擦除的理解(感谢Jon Skeet和Angelika Langer),我实际上期望Java 5抛出编译错误(除非Java处理Generics的方式发生了变化 - 我在Java 6发行说明中找不到) ).实际上,如果我修改其中一个重载方法的返回类型:

public static Object method(List<Object> list) ...
public static Object method(List<String> list) ...

由于相同的删除,Java 6也无法编译:

$ javac TestErasure.java TestErasure.java:5: name clash: method(java.util.List<java.lang.Object>) and method(java.util.List<java.lang.String>) have the same erasure
     public static Object method(List<Object> list) {
                          ^
TestErasure.java:10: name clash: method(java.util.List<java.lang.String>) and method(java.util.List<java.lang.Object>) have the same erasure
     public static Object method(List<String> list) {
                          ^
2 errors

似乎Java 6中的返回类型以某种方式影响选择使用哪个重载方法？

有人可以阐明为什么第一个例子在Java 6中工作 - 它似乎违背了重载泛型方法的声明处理？

更多信息:

根据David的建议,javac 1.6编写的原始示例将在java 1.5下运行:

$ javac -target 1.5 TestErasure.java
$ java -version
java version "1.5.0_19"
$ java TestErasure 
method(List<Object> list)
method(List<String> list)

Answer 1

在Sun上发现了这些错误,我认为这就是你所描述的:

http://bugs.sun.com/view_bug.do?bug_id=6182950
http://bugs.sun.com/view_bug.do?bug_id=6730568