为什么一类有效而另一类无效？

Question

正如您所看到的，具有非 void 返回类型很重要。

class TestValid {

public String f(List<String> list) {
    return null;
}

public Integer f(List<Integer> list) {
    return null;
}

public void test() {
    f(Arrays.asList("asdf"));
    f(Arrays.asList(123));
}

}

class TestInvalid {

public void f(List<String> list) {
    System.out.println("strings");
}

public void f(List<Integer> list) {
    System.out.println("numbers");
}

}

Answer 1

TestValid 开头无效：

TestValid.java:9：名称冲突：f(List) 和 f(List)
具有相同的擦除
公共整数 f(List 列表) {
               ^

所以返回类型是转移注意力的。如果在确定重载签名时考虑返回类型，那么它将有效，但目前它与以下内容一样无效：

// Equally invalid
public Integer f() {}
public String f() {}

如果您确实设法让TestValid进行编译，我很想知道您正在使用哪种编译器。

Answer 2

在第二种情况下，由于类型擦除，方法 f 在运行时无法区分。

http://java.sun.com/docs/books/ tutorial/java/generics/erasure.html

因此它们都具有完全相同的签名。

Answer 3

在编译的类型擦除部分之后，List 和 List 都是真正的 List 类型；在 TestInvalid 中，您正在使用相同的运行时签名创建两个方法。

Answer 4

JDK1.5之前不支持协变返回类型；想想 Object.clone() 方法。以下内容可能会引起您的兴趣：

public class Base {
    public String f_array(List<String> strings) {
        StackTraceElement current = Thread.currentThread().getStackTrace()[1];
        System.out.println(String.format("%s#%s(strings)", current.getClassName(), current.getMethodName()));
        return null;
    }

    public Integer f_array(List<Integer> ints) {
        StackTraceElement current = Thread.currentThread().getStackTrace()[1]; 
        System.out.println(String.format("%s#%s(ints)", current.getClassName(), current.getMethodName()));
        return null;
    }

    public Number f() {
        StackTraceElement current = Thread.currentThread().getStackTrace()[1]; 
        System.out.println(String.format("%s#%s()", current.getClassName(), current.getMethodName()));
        return null;
    };

    public static class Child extends Base {
        @Override
        public Integer f() { //note Integer is_a Number
            StackTraceElement current = Thread.currentThread().getStackTrace()[1]; 
            System.out.println(String.format("%s#%s()", current.getClassName(), current.getMethodName()));
            return null;
        }
    }

    public static void main(String... args) {
        Base c = new Base();
        c.f_array(Arrays.asList(1));
        c.f_array(Arrays.asList("1"));
        c.f();
        c = new Child();
        c.f_array(Arrays.asList(1));
        c.f_array(Arrays.asList("1"));
        c.f();
    }
}

Answer 5

对于 TestValid 类：
这些功能似乎超载。如果调用者传递类型已定义的参数 List 对象，则不会出现编译时错误。例如：new ArrayList()或 new ArrayList()。
因为类型擦除后的签名（返回类型和输入参数）不一样。
但是，如果您传入 new ArrayList()，您将收到编译时错误。

第二个定义违反了重载函数的基本原则，其中两个函数在类型擦除后具有相同的签名（返回类型和输入参数）。