Java中的泛型高级多态性

Question

我在大学里有高级编程课程，我在理解这些代码的工作原理方面有点困难

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>());
    }
}

为什么此代码打印“Collection<；？>；”

Answer 1

无论何时定义泛型类型，都会自动提供相应的原始类型 这种方法

public void method(List<T> l) {

}

正在替换为

public void method(List<Object> l) {

}

如果您阅读有关通配符类型的内容，您将看到List<Number>和List<Object> 或者ArrayList<Integer>和List<Object>没有任何类型关系List<Object>是Collecion<?>的一个子类型，因此调用此方法

Answer 2

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

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

Answer 3

在处理方法重载时，必须考虑三个概念：

1. 加宽
2. 拳击
3. Var_args

您的问题在于第一点，这一点正在扩大，java编译器为这些概念中的每一个赋予优先级的顺序与上面列出的顺序相同，因此，它更喜欢加宽，当您将方法调用为test.method(new ArrayList<Integer>()); 时，编译器发现ArrayList<Integer>()可以加宽为Collection<?>，并且由于它具有最高优先级，所以它调用这些版本，而忽略其他版本 注意：如果将其他两个方法的声明更改为private void overloadedMethod(ArrayList<?> o)和private void overloadedMethod(List<?> o)，编译器也将调用Collection<?>版本，因为它是首选版本