java - Kotlin 如何推断 Java 方法参数的可空性？

Question

我正在尝试从 Kotlin 代码调用 Java 方法 org.springframework.data.mongodb.core.query.Update#set。此方法声明为

public Update set(String key, Object value)

没有关于参数可空性的附加注释或评论。事实上，它只是将 value 放入 HashMap 中，因此实际上 value 可能是 null。

但是，Kotlin 编译器将 value 类型视为 Any(而不是预期的 Any!)，并在传递 null< 时失败 与

Null can not be a value of a non-null type Any

使用 !! 传递可空值显然会导致 KotlinNullPointerException，强制转换 as Any 会抛出 TypeCastException。

这种可空性推断背后的逻辑是什么？通过反射传递 null 参数实际上效果很好，但是有更自然的解决方案吗？

Answer 1

这是由the package's package-info.java中的注解引起的:

@org.springframework.lang.NonNullApi
package org.springframework.data.mongodb.core.query;

这是

A common Spring annotation to declare that parameters and return values are to be considered as non-nullable by default for a given package... used by Kotlin to infer nullability of Spring API