空安全

Kotlin 的一个主要特性是空安全,它可以在编译时干净地处理 null 值。这通过可空性声明和表达“值或无值”语义使应用程序更安全,而无需支付包装器的成本,例如 Optional。(Kotlin 允许将函数式结构与可空值一起使用。请参阅这篇Kotlin 空安全综合指南。)

虽然 Java 不允许您在其类型系统中表达空安全,但 Spring Data API 使用在 org.springframework.lang 包中声明的JSR-305 工具友好的注解进行注解。 默认情况下,Kotlin 中使用的 Java API 中的类型被识别为平台类型,这会放松空检查。Kotlin 对 JSR-305 注解的支持和 Spring 可空性注解为 Kotlin 开发人员提供了整个 Spring Data API 的空安全,其优势在于可以在编译时处理 null 相关的问题。

请参阅存储库方法的 Null 处理,了解空安全如何应用于 Spring Data 存储库。

您可以通过添加带有以下选项的 -Xjsr305 编译器标志来配置 JSR-305 检查:-Xjsr305={strict|warn|ignore}

对于 Kotlin 1.1+ 版本,默认行为与 -Xjsr305=warn 相同。需要 strict 值才能考虑 Spring Data API 的空安全。 从 Spring API 推断出的 Kotlin 类型,但应了解 Spring API 可空性声明可能会演变,即使在次要版本之间也是如此,并且将来可能会添加更多检查。

尚不支持泛型类型参数、varargs 和数组元素可空性,但应该在即将发布的版本中支持。