java - 为什么 Kotlin 不能为这个具有可为空值类型的 HashMap 推断类型？

Question

当我运行这段代码时，我得到一个 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

如您所见，没有错误。这对我来说毫无意义。

Answer 1

推理引擎一次只分析一个语句。

问题是关于 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? 兼容.