Kotlin非空键类型Map get传null参数的原因及安全性问题

为什么Map<String, String>允许传入String?类型参数调用get方法 #

以下方代码为例，代码可以正常编译运行，最终t的值为null：

val map: Map<String, String> = mapOf("a" to "b")
val s: String? = null
val t = map.get(s)

该现象本质是Kotlin集合API的设计取舍，和空安全校验的作用范围有关：

• Kotlin的Map<K, V>是只读接口，get属于查询类操作，不会修改Map内部存储的内容。API设计时刻意放宽了get方法的参数约束，允许传入K?类型的参数，核心原因有两点：
  1. 兼容Java生态的现有Map实现：Java的Map接口从设计之初就没有强制键非空的约束，大量实现原生支持null作为键，Kotlin作为JVM语言必须保证和Java代码的无缝互操作。
  2. 符合方法语义：get方法的逻辑是「查找是否存在与入参相等的键，存在则返回对应值，否则返回null」，传入null的语义就是明确查询null键，这个操作不会破坏Map的类型约束——声明Map<String, String>仅保证Map内部存储的所有键都是非空String，传入null查询只会返回键不存在的结果，不会把null写入Map的键集合。
• 直接编写map.get(null)触发的编译报错并非空安全拦截：null字面量没有关联具体类型，编译器无法推断该参数对应的泛型类型，只要显式标注类型例如map.get(null as String?)即可正常编译运行，最终返回null。
• 可以和写操作做对比：MutableMap<String, String>的put方法参数是严格非空的String类型，传入可空String?变量作为键时编译器会直接触发空安全报错，因为put会将键存入Map，必须遵守泛型的非空约束。

get(null)是否会抛NPE，是否需要编写s?.let { map.get(it) } #

该问题没有统一答案，需要结合场景判断：

• 确实存在调用get(null)会抛出NullPointerException的Map实现：最典型的是Java标准库中未指定支持null比较器的TreeMap，此外部分第三方库提供的不可变Map、高性能键值对实现，从设计上就不支持null作为键，get方法内部第一时间会对入参做非空判断，传入null就会直接抛NPE。
• 不存在“所有合法Map实现调用get都安全”的统一结论，是否要加入参空判断取决于对Map实现的掌控程度：
  1. 如果明确使用的是支持null键的实现（比如Kotlin/Java标准库的HashMap、LinkedHashMap），直接传入可空变量调用get是完全安全的，入参为null时会正常执行查询逻辑，不存在null键就返回null，不会抛出异常。
  2. 如果是编写通用逻辑、无法确定传入Map的具体实现（比如方法参数类型为Map<String, String>，调用方可能传入任意实现），且业务逻辑中null本身不是合法键，那么写成s?.let { map.get(it) }是更稳妥的写法，可以避免遇到不支持null键的实现时触发非预期的NPE。

注意：不要将Map实现本身的参数校验抛错，和Kotlin的编译期空安全校验混淆。前者是运行时实现的逻辑约束，后者是编译期对类型安全的保障，二者作用层面完全不同。

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