Java 5和6中泛型方法重载的行为差异

18

我在Java的泛型中遇到了一个问题,同样的代码在Java 6中可以编译并正常工作,但由于相同的类型擦除,在Java 5中无法编译。我有一个名为TestErasure.java的文件,其中有一个重载的方法,称为"method":

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中,我得到了预期的编译错误,指出"method"的擦除是相同的:
$ 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 SkeetAngelika Langer),我实际上预期Java 5抛出的编译错误(除非Java处理泛型的方式发生了变化-我在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)

1
@Tom - 我认为你错了 - "定义:方法声明的两个组成部分构成了方法签名-方法名称和参数类型。"来源:http://java.sun.com/docs/books/tutorial/java/javaOO/methods.html 。方法签名必须唯一才能实现方法重载,而且它们不依赖于返回类型(至少对于Java来说)。 - weiji
2
有趣的是,在Java 5的早期“点”版本中,这对我有效。我尝试了1.5.0_11和1.5.0_13两个版本,并得到了与Java 6相同的结果。 - Matt Solnit
我的术语可能不正确。但从字节码的角度来看,返回值和参数的类型同等重要。 - Tom Hawtin - tackline
1
如果您尝试使用Java 5编译的代码会发生什么?或者使用“-target 1.5”进行编译呢? - David Moles
1
哇,如果他们改变规范而不是修复错误,那将会引起多大的麻烦啊? - David Moles
显示剩余3条评论
1个回答

8

这个 bug 似乎在 Netbeans 6.9 中出现。https://netbeans.org/bugzilla/show_bug.cgi?id=187859 - Brian Harris
Changeset db77bf6adb53(2008年10月23日)针对OpenJDK 7代码进行了修复,包含修复内容的链接为:http://hg.openjdk.java.net/jdk7/build/langtools/rev/db77bf6adb53。 - seh

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文,
原文链接