问题

每次我认为我对泛型有了更好的理解（可以不编译就能回答问题），我就会遇到一个打破这一理论的示例。以下是一个非常简单的示例：

static void consumer(List<? super List<String>> param) {
    System.out.println(param);
}

还有两个调用：

public static void main(String[] args) {
    List<String> list = List.of("123");
    consumer(list);
    consumer(List.of("123"));
}

对我来说，这两个调用都不应该通过编译。String 不是 List 的超类型。然而，第二个调用通过了编译。但是让我们假设这是因为编译器可以推断出某种类型。当然，这样的类型是不存在的，而且它会在运行时失败，对吗？对吗？不对。它居然可以正常工作。因此，有人可以给我的生活带来一些理智吗？

static void consumer(List<? super List<String>> param) {
    System.out.println(param);
}

public static void main(String[] args) {
    List<String> list = List.of("123");
    consumer(list);
    consumer(List.of("123"));
}

答案1

得分: 9

啊，该死！

javac --debug=verboseResolution=all Sandbox.java

显示consumer(List.of("123"))被编译为：

实例化签名：(Object)List