Why is KClass not a KType?


#1

Kotlin reflections lib (on JVM) uses KType for KParameter.type, and KFunction.returnType. I have serialization registered based on KClass in map. However, I am not able to lookup the serialization handler, for return types or parameters because the type is KType which is not the super type of KClass. I see KType.jvmEreasure returns KClass. What is best approach.

Thanks


#2

KType is more than just a class. In Kotlin, a type can be nullable or not, it can have generic type arguments, and it can be annotated with type annotations. Additionally, a type’s classifier (what the type is “based” on) can be not only a particular class, but a type parameter of some declaration. For example, here:

fun <K : Any, V : Any> get(key: K): V?

K is a type, and V? is a type, and their classifiers are the corresponding type parameters, but the first type is marked as non-null and the second type is nullable.

Generally, KType is something you discover in a function signature and that denotes the set of values that function can take or return. KClass is a concrete class, with a declaration and source somewhere and a fixed fully qualified name, and you can get the (single) class of every instance at runtime.

For your problem, it might be helpful to think what value do the type’s constituents have: should the behavior differ if the type in the function signature is nullable or not? Should generic type arguments be taken into account? Do you have to handle the type annotations in any way? If all answers are no and you also don’t care about types whose classifiers are type parameters, not classes (example above), then you can safely call type.jvmErasure, or type.classifier as KClass<*> to get the KClass instance.