带有泛型参数的主方法；为什么它起作用？

Question

public static <T extends String> void main(T[] args) {
    System.out.println("Hello World!");
}

我很想知道上面的 sn-p 代码是否会成功编译和运行，并且确实如此！但是，我也想知道如果T extends String 被替换为T extends String & AutoClosable 会发生什么； String 没有实现AutoClosable，所以没想到这个会运行成功，结果还是成功了！

public static <T extends String & AutoCloseable> void main(T[] args) {
    System.out.println("This still works!");
}

所以我的问题是，为什么这仍然可以成功运行？

注意事项：

• 我正在使用 Java 10.0.1 对此进行测试
• Intellij 不能很好地使用此方法，因为它不将其视为程序的入口点；我没有用其他 IDE 测试过。
• 您还可以像使用任何其他程序一样使用命令行传递参数。

Answer 1

这是因为类型参数有一个界限：

<T extends String>                  =>  String

<T extends String & AutoCloseable>  =>  String & AutoCloseable

在这两种情况下，擦除后的字节码与常规的main 声明相同：

public static main([Ljava/lang/String;)V

JLS §4.4. Type Variables:

绑定中类型的顺序仅在 擦除时才有意义 类型变量的类型由其边界中的第一个类型确定，并且 一个类类型或类型变量只能出现在第一个 位置。