在 Kotlin 中经过改进的内联 function 仍然导致“is”检查时出现编译器错误

Question

我有以下 function：

inline fun <reified T> create(preference: Preference<T>, title: String = ""): DebugOption{
        val type = when (preference) {
            is Preference<String> -> Type.STRING
            is Preference<Boolean> -> Type.BOOLEAN
            else -> Type.STRING
        }

        return DebugOption(type, preference, displayTitle = StringModel(title))
    }

我希望能够轻松地执行此“是”检查，因为泛型类型已被具体化，但我仍然遇到编译器错误：

Cannot check for instance of erased type: Preference<String>
Cannot check for instance of erased type: Preference<Boolean>

所以我很困惑我如何滥用'reified'/我在这里错过了什么。 使用具体的泛型类型作为另一个 class 的类型参数有问题吗？

Answer 1

问题is检查运行时类型的preference ，并且在所有泛型类型信息被擦除之前，运行时类型的preference不可用。 毕竟，具体化类型并不神奇。

相反，您可以做的是检查T ，因为正如您所说， T确实被具体化了。

val type = when (T::class) {
    String::class -> Type.STRING
    Boolean::class -> Type.BOOLEAN
    else -> Type.STRING
}

但请注意，如果Preference是协变的（如List ）或逆变的，在某些情况下这可能不会像您期望的那样工作。 例如：

// suppose Preference is covariant 
// (i.e. the type parameter is declared <out T>)
val pref: Preference<Any> = Preference<Boolean>()
create(pref, "foo")

在这种情况下， T被推断为Any ，因此type将被分配Type.STRING 。 如果这出乎您的意料，并且您想要Type.BOOLEAN代替，您可能希望使用另一种方法来检查首选项的类型，而不是具体类型，因为这无法在编译时确定。