Почему один класс действителен, а другой нет?

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: name clash: f(List<Integer>) and f(List<String>)
have the same erasure
public Integer f(List<Integer> 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<String> а также List<Integer> действительно ли оба типа List; в TestInvalid вы делаете два метода с одной и той же сигнатурой времени выполнения.

Answer 4

Для класса TestValid: функции выглядят перегруженными. Вы не получите ошибку времени компиляции, если вызывающая сторона передаст объект List объекта, который имеет тип define.eg: new ArrayList() или новый ArrayList(). так как подпись (возвращаемый тип и входные параметры) после стирания типа не совпадает. Однако вы получите ошибку времени компиляции, если вы передадите новый ArrayList ().

Второе определение нарушает основной принцип перегрузки функции, когда две функции с одинаковой сигнатурой (возвращаемый тип и входные параметры) после стирания типа.

Answer 5

Ковариантный тип возврата до 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();
    }
}