空安全

Kotlin 的一个关键特性是 空安全,它在编译时能够干净地处理 null 值。通过空值性声明和表达“有值或无值”的语义,它提高了应用程序的安全性,并且无需支付包装器(如 Optional)的开销。(Kotlin 允许将函数式构造与可空值一起使用。请参阅这篇关于 Kotlin 空安全的全面指南。)

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

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

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

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

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