当我运行这段代码时,我得到一个 Type mismatch: inferred type is kotlin.collections.HashMap<String, Int> /* = java.util.HashMap<String, Int> */ but kotlin.collections.HashMap<String, Any?> /* = java.util.HashMap<String, Any?> */ was expected
错误
data class Record(
var blah: HashMap<String, Any?>
)
fun test2() {
val data2 = hashMapOf("key" to 10000)
val a = Record(data2)
println(a.blah)
}
在 Kotlin Playgrounds 上运行上面的代码:https://pl.kotl.in/vL2n_Qrwo
只有当数据类中的类型是 HashMap 时,我才会收到此错误,而当它只是一个 Map ( https://pl.kotl.in/f1V3Eeyj-) 时,我不会收到此错误。为什么是这样?它通过显式指定 Any? hashMapOf 类型中的(任何带问号的,以指定它可以为空)所以 hashMapOf<String, Any?>("key" to 10000)
最奇怪的是如果我不创建一个新变量 data2
保存 HashMap ,它不会返回任何错误!
data class Record(
var blah: HashMap<String, Any?>
)
fun test1() {
val a = Record(hashMapOf("key" to 10000))
println(a.blah)
}
在 Kotlin Playgrounds 上运行这个:https://pl.kotl.in/K12q1Bd7B
如您所见,没有错误。这对我来说毫无意义。
最佳答案
推理引擎一次只分析一个语句。
问题是关于 fun <K, V> hashMapOf(): HashMap<K, V>
的两个类型参数的推断,即 K
的类型和 V
.
在第一个例子中,val data2 = hashMapOf("key" to 10000)
, 对于 hashMapOf()
的结果没有要求,所以引擎使用参数来确定这两种类型。 "key" to 10000
是一对 String
至 Int
, 所以结果是 K
是String
和 V
是Int
.
在第二个例子中,val a = Record(hashMapOf("key" to 10000))
, Record
构造函数要求 hashMapOf()
返回的对象类型必须是一个赋值与HashMap<String, Any?>
兼容的对象.因此推理引擎使用 K
作为String
和 V
作为Any
,并且编译接受这一点,因为 "key"
与 String
兼容和 10000
与 Any?
兼容.
关于java - 为什么 Kotlin 不能为这个具有可为空值类型的 HashMap 推断类型?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/67082889/