我正在嘗試在 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 （就我而言）。但我不確定它是否總是有效。