空安全

Kotlin 的一项关键特性是空安全,它在编译时能清晰地处理 null 值。通过可空性声明(nullability declarations)和“有值或无值”语义的表达,无需付出 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 方法的空值处理一文,了解空安全如何应用于 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)和数组元素的可空性尚不支持,但应会在即将发布的版本中提供。