空安全

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相关问题的好处。

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

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

对于 Kotlin 1.1+ 版本,默认行为与-Xjsr305=warn相同。strict值需要考虑 Spring Data API 的空安全。从 Spring API 推断出的 Kotlin 类型应该在了解 Spring API 可空性声明可能会在不同的小版本之间发生变化,并且将来可能会添加更多检查的情况下使用。

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