Почему KClass объявлен как KClassа не KClass <T>, так что аргумент типа может быть обнуляемым

Question

Я пытаюсь реализовать проверено Stack<E> на основе Java-массива в Kotlin. Но у меня проблема с использованием KClass с моим универсальным типом параметра <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> но мне нужен стек, чтобы иметь возможность работать с обнуляемыми значениями <T : Any?>. Как это исправить?

Почему KClass объявлен как KClass<T : Any>, а не 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> имеет тип <T : Any>.

В моем случае Kotlin компилирует Int в Integer.class, а не в int (в моем случае). Но я не уверен, что это всегда будет работать.

Answer 1

Обнуляемые типы не являются классами сами по себе, поэтому у них нет объектов классов. Вот почему параметр типа KClass имеет верхнюю границу Any.

Вы можете вызвать ::class.java для обнуляемого типа с ограничением, но он будет оценен для того же объекта класса, что и тот же вызовна соответствующий ненулевой тип. Поэтому, если вы замените E::class.javaObjectType на E::class.java, тип элементов будет проверен во время выполнения, но проверки на ноль не будут выполняться.

Если вам нужны проверки на нуль, вы можете добавить их самостоятельно. Я также предлагаю перенести создание массива на заводской метод. Вот как вы можете это сделать:

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
    }
}