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

Question

我正在尝试在 Kotlin 中实现基于java 数组的检查 。但我在将KClass与允许空值的通用参数类型一起使用时遇到问题。Stack<E><E>

Java 泛型类型在运行时不可用，但数组类型可用。我想使用此功能，以便在运行时进行内置类型检查。

有关选中/未选中的更多详细信息可以在此处找到https://stackoverflow.com/a/530289/10713249

interface 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> {&nbsp; &nbsp; companion object {&nbsp; &nbsp; &nbsp; &nbsp; // This method invocation looks like constructor invocation&nbsp; &nbsp; &nbsp; &nbsp; inline operator fun <reified E> invoke(size: Int): CheckedStack<E> {&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; return CheckedStack(arrayOfNulls(size), null is E)&nbsp; &nbsp; &nbsp; &nbsp; }&nbsp; &nbsp; }&nbsp; &nbsp; private var index: Int = -1&nbsp; &nbsp; override fun push(elem: E) {&nbsp; &nbsp; &nbsp; &nbsp; if (!isNullable) elem!!&nbsp; &nbsp; &nbsp; &nbsp; check(index < array.size - 1)&nbsp; &nbsp; &nbsp; &nbsp; array[++index] = elem&nbsp; &nbsp; }&nbsp; &nbsp; override fun pop(): E {&nbsp; &nbsp; &nbsp; &nbsp; check(index >= 0)&nbsp; &nbsp; &nbsp; &nbsp; @Suppress("UNCHECKED_CAST")&nbsp; &nbsp; &nbsp; &nbsp; return array[index--] as E&nbsp; &nbsp; }}