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

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

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

Answer 2

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

public void method(List<T> l) {

}

正在取代

public void method(List<Object> l) {

}

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

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<?>版本，因为它是首选版本