未经检查的强制转换：尝试在同一方法中将 Int 或 String 强制转换为 T（泛型类型）

Question

我对泛型函数很陌生（在 java 和 kotlin 中）。我使用了一个允许我恢复列表的功能（感谢SharedPreferences）。这些列表要么是MutableList<Int>、<String>、<Long>，要么是……这是我当前使用的代码（我使用list.toString()保存了列表，前提是它不为空）：

fun <T: Any> restoreList(sharedPrefsKey: String, list: MutableList<T>) {
    savedGame.getString(sharedPrefsKey, null)?.removeSurrounding("[", "]")?.split(", ")?.forEach { list.add((it.toIntOrNull() ?: it) as T) }
}//"it" is already a String, no need to cast in the "if null" ( ?: ) branch
//warning "Unchecked cast: {Comparable<*> & java.io.Serializable} to T" on "as T"

所以我的目标是知道如何将Strings 安全地转换为 T（作为参数传递的列表中元素的类型）。现在我收到一个警告，想知道我所做的是否正确。我还应该添加in 修饰符吗？例如：list: MutableList<in T>?

Answer 1

在 Kotlin 中没有 union types。 所以你不能将T 描述为Int 或String，因此你不能将MutableList<T> 描述为MutableList<Int> 或MutableList<String>

但是当您执行it.toIntOrNull() ?: it 时，您甚至得到的不是那个，而是一个可变列表，其中可能包含Int 元素以及String 元素（因为编译器无法保证该子句将以相同的方式解析对于每个元素）。所以编译器试图推断这种类型（它应该是Int 和String 的最具体的常见超类型），它得到了这个可怕的Comparable<*> & java.io.Serializable 类型。这对T 的含义施加了如此严格的限制，以至于它实际上变得毫无用处（就像使用MutableList<*>），并且它不能用方差注释来修复。

我建议在这里使用额外的函数参数，将String（拆分后）转换为所需类型的实例（还要注意，在函数内改变传递的参数是一种代码味道，最好与现有的可变列表合并在相同的范围内创建）：

fun <T> restoreList(sharedPrefsKey: String, converter: (String) -> T): List<T>? =
    savedGame.getString(sharedPrefsKey, null)?.removeSurrounding("[", "]")?.split(", ")?.map { converter(it) }

用法：

val listOfInts = restoreList(sharedPrefKey) { it.toIntOrNull() }
val listOfLongs = restoreList(sharedPrefKey) { it.toLongOrNull() }
val listOfStrings = restoreList(sharedPrefKey) { it }

Answer 2

这就是您可以使用具体泛型执行此操作的方法，当您需要检查泛型类型时需要这样做。如果您尝试使用 when 子句中不支持的类型调用它，它将引发错误。

inline fun <reified T: Any> restoreList(sharedPrefsKey: String, list: MutableList<T>) {
    val strings = savedGame.getString(sharedPrefsKey, null)
            ?.removeSurrounding("[", "]")
            ?.split(", ")
    if (strings == null) {
        Log.w("restoreList", "No preferences found for key $sharedPrefsKey.")
        return
    }
    when (T::class) {
        String::class -> strings.mapTo(list) { it as T }
        Int::class -> strings.mapNotNullTo(list) { it.toIntOrNull() as? T }
        Long::class -> strings.mapNotNullTo(list) { it.toLongOrNull() as? T }
        // And so on for other types.
        else -> error("Unsupported type ${T::class}.")
    }
}