空安全

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

请参阅 Repository 方法的 Null 处理,了解空安全如何应用于 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 和数组元素的可空性,但应在即将发布的版本中支持。