Kotlin调用Java时的可空类型推断规则及差异问题

两种返回值类型处理逻辑不一致，核心是Kotlin对不同来源的Java类采用了两套空判定规则：

• 对于JDK标准库核心类（比如java.util.HashMap所属的集合框架类），Kotlin编译器内置了硬编码的空签名约束，不需要依赖类上标注的空安全注解。Kotlin团队提前为JDK中所有常用API标注了符合实际逻辑的空约束：比如Map.get()方法在key不存在时必然返回null，因此它的返回值被固定标记为可空类型V?，尝试将它赋值给非空类型变量时，编译器会直接抛出类型不匹配错误，也就是示例中z变量的报错来源。
• 对于第三方依赖中的Java类（比如示例中Jackson库的JsonNode），Kotlin没有内置的硬编码空签名信息，按通用Java互操作规则处理：如果类、方法以及整条继承链上都没有找到Kotlin可识别的空安全注解（覆盖JetBrains、JSR305、Android、Eclipse等各主流实现的@Nullable/@NotNull注解），方法返回值会被判定为平台类型。

平台类型的特性 #

平台类型是Kotlin为兼顾Java互操作灵活性设计的特殊类型，编译器不会对它强制执行空安全校验，开发者可以自主选择它的空性归属：

• 将平台类型赋值给非空类型变量：编译可正常通过，但如果运行时方法实际返回null，会立即触发空指针异常，相当于开发者主动向编译器担保该返回值绝不会为null，风险自行承担
• 将平台类型赋值给可空类型变量：编译可正常通过，后续编译器会按照普通可空类型规则，强制要求对该值做null检查后才能调用其属性或方法

这就是示例中node.get("doc_type")既可以赋值给非空JsonNode、也可以赋值给可空JsonNode?的原因。

对应示例代码：

import com.fasterxml.jackson.databind.JsonNode

private fun docType(node: JsonNode, map: java.util.HashMap<String,String>) {
    val x: JsonNode = node.get("doc_type")  // 编译通过，运行时返回null则触发NPE
    val y: JsonNode? = node.get("doc_type") // 编译通过，后续访问需做null检查
    val z: String = map.get("a")            // 编译报错：推断类型为String?，不匹配非空String类型
}

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