Java 中的高级多态性

我在大学里上过高级编程课程,我有点难以理解这段代码是如何工作的。

public final class GenericClass<T> {
    private void overloadedMethod(Collection<?> o) {
        System.out.println("Collection<?>");
    }

    private void overloadedMethod(List<Number> o) {
        System.out.println("List<Number>");
    }

    private void overloadedMethod(ArrayList<Integer> o) {
        System.out.println("ArrayList<Integer>");
    }

    public void method(List<T> l) {
        overloadedMethod(l);
    }

    public static void main(String[] args) {
        GenericClass<Integer> test = new GenericClass<Integer>();
        test.method(new ArrayList<Integer>());
    }
}

为什么此代码打印“集合<>”?


答案 1

的声明不指定类型 T 上的任何边界。不能保证 T 是数字或数字的子类。因此,编译器只能决定此方法调用 。method(List<T> l)overloadedMethod(Collection<?> o)

请记住:编译后,类文件中不再提供有关泛型的信息。


答案 2

每当您定义泛型类型时,都会自动提供相应的原始类型 此方法

public void method(List<T> l) {

}

正在替换为

public void method(List<Object> l) {

}

如果您阅读有关通配符类型的信息,您将看到该类型和 或 和没有任何类型关系。 是 的子类型,因此调用此方法。List<Number>List<Object>ArrayList<Integer>List<Object>List<Object>Collecion<?>


推荐