为何多类型键的mapOf()返回带out键参数的Map？

核心原因：类型推断中的通配符生成 #

当调用mapOf传入类型不统一的键（String和Int）时，Kotlin编译器需要推断合适的泛型参数K和V：

• 对于K：String和Int的最小共同超类型是Any，但编译器没有直接推断为Any，而是生成了协变通配符类型out Any（等价于*）。这是编译器为最大化类型兼容性的推断策略——用通配符表示该Map的键类型是所有输入键类型的超类型，且仅支持读取操作（符合协变的"生产者"语义）。
• 对于V：输入值的String和Int最小共同超类型也是Any，但由于Map接口本身对V是协变的（interface Map<K, out V>），无需额外为V添加out修饰，直接用Any即可满足协变语义。

MutableMap的特殊情况 #

MutableMap接口是完全不变的（interface MutableMap<K, V>），不支持协变或逆变，因为它允许读写操作。调用mutableMapOf传入混合类型键值对时，编译器会为K和V都推断出协变通配符类型out Any，得到MutableMap<out Any, out Any>。

这种类型会导致无法修改映射：协变通配符类型仅能作为"生产者"（读取），不能作为"消费者"（写入）——编译器无法确定映射实际接受的键值类型，因此会阻止写入操作。显式指定MutableMap<Any, Any>可解决问题，因为你明确告知编译器映射的键和值都能接受任意Any类型实例。

这是设计意图吗？ #

这并非泛型系统的设计缺陷，而是类型推断逻辑的预期行为：编译器会尽可能推断出最灵活且类型安全的类型。当输入参数类型存在多个不同子类型时，通配符类型能让结果对象兼容更多赋值场景，同时保证类型安全。若需要更明确的类型，显式指定泛型参数即可。

内容的提问来源于stack exchange，提问作者LarsH