我可以从具体化的T创建KType吗

Question

我使用具体化泛型来捕获Kclass<>

inline fun <reified T> register(generator: Generator<T>) {
    register(T::class, generator)
}

inline fun <reified T> register(generator: Generator<T>) {
    register(T::ktype, generator) // Doesn't compile
}

...

register<String?>(myGen) // The nullability of String? is captured

Answer 1

不，就目前而言，这是不能做的，在Kotlin问题跟踪器中有一个关于它的问题，目前标记为正在讨论。

但是，您可以使用子类，特别是称为超级类型标记的技术，从具体化的类型参数中获得不仅仅是kclass 。