Kotlin: Generics, la riflessione e la differenza tra il tipo T e T: Qualsiasi

Question

Se provo ad accedere al JavaClass di un tipo generico T il compilatore Kotlin lamenta che T non è un sottotipo di kotlin.Any

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

Se si definisce T come sottotipo di Qualsiasi tutto funziona bene.

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

Q1) Se il tipo di'T' non è un sottotipo di'Any' quale classe/classi possono essere un sottotipo di?

Q2) Esiste un javaClass per tutte le istanze di T e in caso affermativo come posso accedervi?

Answer 1

Il valore predefinito generic upper bound non è Any ma Any?.

Ciò implica anche che non è sicuro nulla ottenere un valore da javaClass da un argomento nullable.

Per ottenere un javaClass da un'istanza di tipo generico con Any? limite superiore, è possibile gettarlo ai Any:

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