空安全

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 可空性声明可能会发生变化(即使是在次要版本之间)以及将来可能会添加更多检查的情况下使用。

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