Kotlin中Map泛型赋值报错但调用toMap()可正常运行问题咨询

这个现象是Kotlin 1.5.10版本的泛型检查规则、Map接口的型变设计，以及toMap()方法的泛型特性共同导致的，具体原理如下：

• 首先看Map接口的声明：Kotlin中Map<K, V>的完整签名是interface Map<out K, out V>，键和值都声明为协变，按型变规则，如果B是A的子类型，Map<B, B>理论上属于Map<A, A>的子类型，可以直接赋值。但Kotlin 1.5.10版本对带@UnsafeVariance注解的协变类型有严格的直接赋值限制：因为Map的get、containsKey等方法的参数使用了@UnsafeVariance K（为了兼容equals/hashCode的跨类型调用做的特殊处理），编译器为了避免潜在的类型误用，直接禁止把Map<B, B>赋值给Map<A, A>。
• 再看toMap()扩展方法的签名：fun <K, V> Map<out K, V>.toMap(): Map<K, V>，它的接收者允许传入K协变、V协变的Map实例。当你将mapOfB.toMap()赋值给Map<A,A>类型变量时，编译器会根据目标变量的类型自动推断toMap()的泛型参数为K=A、V=A，此时Map<B, B>完全符合Map<out A, out A>的接收者要求，方法返回值就是Map<A, A>类型，自然可以正常赋值。
• 补充说明：toMap()在这里并没有对原Map的内容做额外拷贝（空Map场景下甚至直接返回原实例），只是通过泛型方法的类型推断能力，绕开了旧版本编译器对直接赋值的严格限制，没有额外性能损耗。

内容的提问来源于stack exchange，提问作者J-bob