如何指定“接受泛型类型的泛型子类型”？

Question

我试图实现一个接受泛型参数的函数定义，只要它扩展了另一个特定的泛型类型。简言之参数A必须扩展参数B，其中A和B都是泛型的。

下面是我的示例

abstract class Endpoint<T>(
) {

    private val myList: MutableMap<Class<T>, MutableList<((T) -> Unit)>> = mutableMapOf()

    fun addToList(
        index: Class<E>, <-- E extends T
        value: (E) -> Unit
    ) {
        myList[index] = (myList[index] ?: mutableListOf()).apply { add(value) }
    }

}

用法示例如下

一些封闭的班级

sealed class MainSealedClass {
    data class ChildClass(val someParam: Int): MainSealedClass()
}

和函数调用

anEndpointInstance.addToList(MainSealedClass.ChildClass::class.java, "some value")

我不想在抽象类声明中定义E，因为T已经在那里定义了。

我也试着做了以下几点：

将myList定义为接受扩展T的键

val myList: MutableMap<Class<in T>, MutableList<String>>

将E定义为T类型（无法找到如何指定它在函数中扩展T

    fun <E:T> addToList(
        index: Class<E>,
        value: (E) -> Unit
    ) {
        myList[index] = (myList[index] ?: mutableListOf()).apply { add(value) }
    }

    fun addToList(
        index: Class<in T>,
        value: (E) -> Unit
    ) {
        myList[index] = (myList[index] ?: mutableListOf()).apply { add(value) }
    }

    fun <E> addToList(
        index: Class<E>,
        value: (E) -> Unit
    ) where E : T {
        myList[index] = (myList[index] ?: mutableListOf()).apply { add(value) }
    }

但它从来都不起作用。有没有办法做到这一点？我在StackOverflow中找不到任何对这种情况有答案的东西。

Answer 1

你的方差倒过来了。如果你想让你的地图接受T的子类型，那么它必须是

您声明函数的第一种方式是正确的。

abstract class Endpoint<T>(
) {

    private val myList: MutableMap<Class<out T>, MutableList<String>> = mutableMapOf()

    fun <E : T> addToList(
        index: Class<E>,
        value: String
    ) {
        myList.getOrPut(index, ::mutableListOf).add(value)
    }

}