Kotlin：泛型、反射以及类型 T 和 T:Any 之间的区别

Question

如果我尝试访问泛型类型 T 的 javaClass，Kotlin 编译器会抱怨 T 不是 kotlin.Any 的子类型

class Foo<T> (val t: T ){
    val cls = t.javaClass // Error, T is not a subtype of kotlin.Any
}

如果将 T 定义为 Any 的子类型，一切正常。

class Bar<T:Any> (val t: T ){
    val cls = t.javaClass // OK
}

Q1) 如果类型“T”不是“Any”的子类型，那么它可以是哪些类/类的子类型？

Q2) T 的所有实例是否都存在 javaClass，如果存在，我该如何访问它？

Answer 1

默认的generic upper bound 不是Any 而是Any?。

这也意味着从可为空的参数中获取 javaClass 不是空安全的。

要从具有Any? 上限的泛型类型实例中获取javaClass，可以将其强制转换为Any：

val cls = (t as Any).javaClass //unsafe
val clsOrNull = (t as? Any)?.javaClass //safe