java - 使用集合进行类型删除

Question

当涉及到集合时，我无法理解类型删除究竟是如何工作的。
如果我们看一下这段代码:

static void print(Object o){
   System.out.println("Object");
}
static void print(String s){
   System.out.println("String");
}
static void print(Integer i){
   System.out.println("Integer");
}
static <T> void printWithClass (T t)
   print(t);
}
public static void main(String[] args){
   printWithClass("abc") //String is printed, because T turns to Object after type erasure.
}

这个例子我理解，但是这个我不能:

class Printer<T>{
    void print(Collection<?> c){
        System.out.println("1");
    }
    void print(List<Number> l){
        System.out.println("2");
    }
    void printWithClass(List<T> ts){
        print(ts);
    }
    
}

public class Main
{
 public static void main(String[] args){
        Printer<Integer> printer=new Printer<>();
        printer.printWithClass(new ArrayList< Integer>()); //1 is printed
    }  
}

我无法理解为什么要打印 1。在我看来，在类型删除之后，代码将如下所示:

        void print(Collection c){
            System.out.println("1");
        }
        void print(List l){
            System.out.println("2");
        }
        void printWithClass(List ts){
            print(ts);
        }

但这是错误的。
在我看来，类型删除有两个阶段 - 一个阶段将 T 转换为 Object，然后一个阶段是 List<...>将变成 List .
我认为这是不正确的，有人可以解释一下这里发生了什么吗？
编辑:我想出了这个猜测:编译器记得最初参数是 List<Number>因为它对于单独编译很重要。但是，它不记得最初是什么来自 printWithClass是 List<Number>同样，它只能知道它是 List 。

Answer 1

请记住，方法重载是在编译时解决的(与将在运行时解决的方法覆盖相反)。
这意味着必须在 printWithClass 时决定调用哪个特定的方法签名。被编译。这也意味着此时没有进行类型删除(因为删除是运行时的一个属性，编译器仍然关心所有类型参数)。
在这个方法中:

void printWithClass(List<T> ts){
    print(ts);
}

与 T完全无界(即它可以是任何可能的引用类型)只有一种可能的 print要调用的方法，即采用 Collection<?> 的方法，因为我们不知道 T是 Number .
作为旁注，由于 List<Integer> 不是 List<Number> ，即使这些规则不同，您的 main方法不能导致另一个 print要调用的方法。