为什么 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 来保存哈希图，它不会返回任何错误！

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? 兼容。

Answer 2

为了回答您问题的第一部分，HashMap（或 Kotlin MutableMap）是使用泛型参数 K 和 V 定义的，而只读 Map 是使用泛型参数 @ 定义的987654327@和out V。

Map 的 V 可以具有 out 修饰符，因为 Map 是只读的，因此该值仅存在于其函数签名的“输出”部分中——在其他换句话说，V 类型的值仅从Map 返回，从不提供给Map。见Declaration-site Variance。

正如@Andreas 的回答所指出的，hashMapOf("key" to 10000) 的推断类型是HashMap<String, Int>。

当你定义时：

var blah: HashMap<String, Any?>

编译器说：不，我不能将HashMap<String, Int> 分配给HashMap<String, Any?> 类型的变量，因为稍后有人可以在此处有效地放入Int 以外的其他内容，这显然是不正确的.

您可以通过更改赋值表达式以显式指定类型来告诉编译器“不，如果 Int 以外的其他内容进入此处，则可以”，然后一切都很好：

val data2 = hashMapOf<String, Any?>("key" to 10000)

相应地，当您将blah 定义为只读Map 而不是可变HashMap（或Kotlin MutableMap）时：

var blah: Map<String, Any?>

编译器可以将HashMap<String, Int> 分配给它，因为现在Any? 具有out 方差，即blah 只能返回Any?，而不接受它们。