如何在Kotlin中获得一个具体化的泛型参数的实际类型参数？

Question

inline fun <reified T: Any> f() {
    val clazz = T::class
    // ...
}

f<List<Integer>>() // T::class is just kotlin.collections.List

是否有一种方法可以通过反射获得具体化泛型的实际类型参数？

Answer 1

由于类型擦除，无法通过泛型类的t::class标记获得实际的泛型参数。一个类的不同对象必须具有相同的类标记，这就是为什么它不能包含实际的泛型参数。

但是有一种称为超级类型标记的技术，它可以在编译时知道类型的情况下给出实际的类型参数（由于内联，Kotlin中的具体化泛型也是如此）。

编辑：自从Kotlin 1.3.50之后，不再需要遵循下面描述的技术来获取具体化类型参数的类型信息。相反，您可以对具体化的类型参数使用typeof () 。

abstract class TypeReference<T> : Comparable<TypeReference<T>> {
    val type: Type = 
        (javaClass.genericSuperclass as ParameterizedType).actualTypeArguments[0]

    override fun compareTo(other: TypeReference<T>) = 0
}

^{在Jackson TypeReference中解释，它使用了相同的方法。Jackson Kotlin模块在reified泛型上使用它。}

之后，在具有具体化泛型的内联函数中，需要对typereference进行子类化（对象表达式将会出现），然后可以使用其类型。

示例：

inline fun <reified T: Any> printGenerics() {
    val type = object : TypeReference<T>() {}.type
    if (type is ParameterizedType)
        type.actualTypeArguments.forEach { println(it.typeName) }
}

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