Any way to get actual type agruments from a reifie...

# reflect

[miha-x64]

Any way to get actual type agruments from a reified type? E. g. in someInlineFunc<A<X>, A<Y>, B<X>>(), is there a way to say that first two type arguments are different?
(Okay, I've resolved my task without it, now it's just a proof-of-concept question.)

[snrostov]

only with

inline fun <reified T> typeOf(): Type? {
  val token = object : TypeToken<T>() {}
  return (token.javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0]
}

And there is issue in youtrack, to get type without creating anonymous class for every call.

[snrostov]

https://youtrack.jetbrains.com/issue/KT-15992

[miha-x64]

Will compiler create a correct type token anonymous class with all specified type parameters, not for raw type?

[snrostov]

it will create reified types

[snrostov]

abstract class TypeToken<T>

inline fun <reified T> typeOf(): Type? {
  val token = object : TypeToken<T>() {}
  return (token.javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0]
}

fun main(args: Array<String>) {
  println(typeOf<Int>())
  println(typeOf<List<Int>>())
}

prints

class java.lang.Integer
java.util.List<? extends java.lang.Integer>

[miha-x64]

Cool, thanks!