为何Class[String]向Class[Any]的类型转换可成功编译？

这个问题问得很到位！其实核心要从JVM泛型的特性和Class类型的本质来拆解：

首先得纠正一个常见误区：从泛型的定义来说，Class<T>是不变泛型——也就是说Class<String>并不是Class<Any>的子类型，按道理直接赋值应该编译报错。但实际能顺利通过编译，主要是这两个关键原因：

1. JVM泛型擦除的“兜底”作用 #

JVM的泛型是编译时语法糖，运行时所有泛型参数都会被擦除。Class<String>和Class<Any>在字节码层面其实都是原始的Class类型，没有任何泛型信息的区别。编译器清楚这一点，知道这种转换在运行时绝不会抛出类型转换异常，因此会放行这个“安全的unchecked转换”。

2. 类型逻辑的天然合理性 #

Class<T>的本质是类型的元数据载体，它描述的是T这个类型本身。既然String是Any的子类，那么Class<String>所代表的类型，本身就属于Any类型的范畴——任何String对象都是Any对象，它的类型信息自然可以被当作Any的类型信息来使用。这种转换在逻辑上是自洽的，编译器也认可这一点。

补充个小细节：如果是反过来，把Class<Any>转成Class<String>，那编译器就会要求你显式使用asInstanceOf，还会给出unchecked警告——因为这时候逻辑上存在风险，毕竟Any类型的元数据可能对应String之外的其他类型。

内容的提问来源于stack exchange，提问作者joymufeng