空值安全

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 相关的错误。

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

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

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

泛型类型参数、可变参数和数组元素的空值声明目前尚不支持,但将在即将发布的版本中提供。