Kotlin处理含null的JSON数组及空安全相关疑问

一、更优雅的[null]检测方式 #

方式1：利用Kotlin集合扩展函数简化判断 #

直接通过集合匹配或扩展函数缩短代码：

// 直接匹配单元素null列表
if (deserializedJson.field == listOf(null)) {
    throw Exception()
}

// 或用first()替代索引访问，可读性更强
if (deserializedJson.field.size == 1 && deserializedJson.field.first() == null) {
    throw Exception()
}

方式2：在反序列化阶段拦截（更推荐） #

从根源上避免生成包含null元素的非空List，自定义Jackson反序列化器：

class NonNullListDeserializer : JsonDeserializer<List<SpecificClass>>() {
    override fun deserialize(p: JsonParser, ctxt: DeserializationContext): List<SpecificClass> {
        val node = p.codec.readTree<JsonNode>(p)
        if (node.isArray) {
            // 检测到[null]直接抛出反序列化异常
            if (node.size() == 1 && node[0].isNull) {
                throw ctxt.weirdStringException("[null]", List::class.java, "禁止包含单个null元素的列表")
            }
            // 正常反序列化列表
            return p.codec.treeToValue(node, object : TypeReference<List<SpecificClass>>() {})
        }
        throw ctxt.instantiationException(List::class.java, "期望JSON数组类型")
    }
}

然后在DataSimpleClass的field字段上添加注解启用自定义反序列化：

@JsonDeserialize(using = NonNullListDeserializer::class)
val field: List<SpecificClass>

二、非空List<SpecificClass>为何会出现null元素？ #

Kotlin的非空类型约束是编译时检查，而Jackson反序列化是基于反射的运行时操作，它会绕过Kotlin的编译期空安全校验：

• Kotlin的List<SpecificClass>仅保证列表本身不为null，不强制约束列表元素的非空性；
• Jackson默认不感知Kotlin的元素非空规则，会直接将JSON中的null元素塞入列表。

三、IntelliJ提示“始终为false”但运行时成立的原因 #

IntelliJ的静态代码分析基于Kotlin的类型系统，它认为List<SpecificClass>的元素必然是SpecificClass类型（非空），因此静态判定deserializedJson.field[0] == null不可能成立，给出“始终为false”的提示。

但实际运行时，Jackson通过反射绕过了编译期检查，将null元素写入了列表，导致条件实际成立——这属于静态分析与运行时行为的不一致，因为Jackson未遵守Kotlin的类型契约。

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