为什么 KClass 声明为 KClass<T : Any> 而不是 KClass<T>

Question

我正在尝试在 Kotlin 中实现基于java 数组的检查 。但我在将KClass与允许空值的通用参数类型一起使用时遇到问题。Stack<E><E>Java 泛型类型在运行时不可用，但数组类型可用。我想使用此功能，以便在运行时进行内置类型检查。有关选中/未选中的更多详细信息可以在此处找到https://stackoverflow.com/a/530289/10713249interface Stack<E> {    fun push(elem: E)    fun pop(): E}class CheckedStack<E>(elementType: Class<E>, size: Int) : Stack<E> {    companion object {        inline fun <reified E> create(size: Int): CheckedStack<E> {            //**compile error here**            return CheckedStack(E::class.javaObjectType, size)        }    }    @Suppress("UNCHECKED_CAST")    private val array: Array<E?> = java.lang.reflect.Array.newInstance(elementType, size) as Array<E?>    private var index: Int = -1    override fun push(elem: E) {        check(index < array.size - 1)        array[++index] = elem    }    override fun pop(): E {        check(index >= 0);        @Suppress("UNCHECKED_CAST")        return array[index--] as E    }}我希望这段代码会像这样工作：fun main() {    val intStack = CheckedStack.create<Int>(12) // Stack must store only Integer.class values    intStack.push(1); //[1]    intStack.push(2); //[1, 2]    val stackOfAny: Stack<Any?> = intStack as Stack<Any?>;    stackOfAny.push("str") // There should be a runtime error}但我有编译错误Error:(39, 42) Kotlin: Type parameter bound for T in val <T : Any> KClass<T>.javaObjectType: Class<T> is not satisfied: inferred type E is not a subtype of Any为了修复它，我需要绑定类型参数<E : Any>，但我需要堆栈能够使用可为 null 的值<T : Any?>。如何修复它？为什么 KClass 被声明为KClass<T : Any>not KClass<T : Any?>？UPD：如果使用它，它会起作用E::class.java，E::class.javaObjectType 因为该属性具有带有注释的val <T> KClass<T>.java: Class<T>类型 param 。<T>@Suppress("UPPER_BOUND_VIOLATED")但属性val <T : Any> KClass<T>.javaObjectType: Class<T>有 type <T : Any>。就我而言，Kotlin 将 Int 编译为 Integer.class 而不是 int （就我而言）。但我不确定它是否总是有效。

Answer 1

可空类型本身不是类，因此它们没有类对象。这就是KClass's 类型参数有Any上限的原因。

您可以调用可::class.java为 null 的具体化类型，但它将被评估为与相应非 null 类型上的相同调用相同的类对象。因此，如果替换E::class.javaObjectType为E::class.java，将在运行时检查元素的类型，但不会进行 null 检查。

如果需要空检查，可以自己添加。我还建议将数组创建移至工厂方法。您可以这样做：

class CheckedStack<E>(private val array: Array<E?>, private val isNullable: Boolean) : Stack<E> {

    companion object {

        // This method invocation looks like constructor invocation

        inline operator fun <reified E> invoke(size: Int): CheckedStack<E> {

            return CheckedStack(arrayOfNulls(size), null is E)

        }

    }

    private var index: Int = -1

    override fun push(elem: E) {

        if (!isNullable) elem!!

        check(index < array.size - 1)

        array[++index] = elem

    }

    override fun pop(): E {

        check(index >= 0)

        @Suppress("UNCHECKED_CAST")

        return array[index--] as E

    }

}