空安全

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相同。要考虑 Spring Data API 的空安全,需要strict值。从 Spring API 推断出的 Kotlin 类型应该与 Spring API 可空性声明可能会随着时间的推移而演变,甚至在次要版本之间也是如此,并且将来可能会添加更多检查的知识一起使用。

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