科特林泛型问题

Question

我在一般类型中迷失了很多个小时。我想简化代码，但我不能强制转换对象时，它的泛型类型。我如何解决这个问题或另一个简化的方法？（我使用kotlin 1.2)

sealed class SETTING(override val key: String) : SettingsKeyContract

object optFirstLaunch : SETTING("first_launch"), SettingsKeyContractWithType<Boolean> {
    override val defaults = true
}

object optNotifications : SETTING("notification_list"), SettingsKeyContractWithType<List<String>> {
    override val defaults = emptyList<String>()
}

interface SettingsKeyContract { val key: String }
interface SettingsKeyContractWithType<T : Any> : SettingsKeyContract {

    val defaults: T

    @Suppress("UNCHECKED_CAST")
    fun get(): T?       = (App.getContentComponent()?.getSettings()?.get(key)?.value?.data as? T)
    fun remove()        = (App.getContentComponent()?.getSettings())?.delete(key)
    fun save(value: T)  = (App.getContentComponent()?.getSettings()?.add(key, value))

}

class OptionModel(@OPTIONS_ID optionId: Int, contract: SettingsKeyContract)

val optionModel = OptionModel(1, optNotifications)
when(optionModel.contract){
    is SettingsKeyContractWithType<List<String>> -> (optionModel.contract as SettingsKeyContractWithType<List<String>>).set(listOf("ring-1", "ring-2")) //error
    is SettingsKeyContractWithType<Boolean> -> (optionModel.contract as SettingsKeyContractWithType<Boolean>).set(true)  //error
}

错误：

Cannot check for instance of erased type: SettingsKeyContractWithType<...>

Answer 1

请看一下语言参考：类型擦除和泛型类型检查中关于泛型类型的类型擦除和类型检查的解释。

基本上，您不能进行这种检查，因为SettingsKeyContractwithType的实例在运行时不包含任何关于其实际类型参数的信息。

这里可以尝试的一个选项是添加makesettingsKeyContractWithType显式存储类型参数的一些表示形式。简单的kclass似乎不适合，因为它不能表示具体的泛型类型（对于list 不能有kclass。