空安全
Kotlin 的一个关键特性是空安全,它在编译时优雅地处理了 null
值。通过可空性声明和“有值或无值”语义的表达,Kotlin 使得应用程序更加安全,而无需像 Optional
这样的包装器带来的开销。(Kotlin 允许在可空值上使用函数式构造。可以参考这份Kotlin 空安全全面指南。)
尽管 Java 不允许你在其类型系统中表达空安全(null safety),但 Spring Data API 使用了 JSR-305 工具友好的注解,这些注解声明在 org.springframework.lang
包中。默认情况下,Kotlin 中使用的 Java API 类型被视为平台类型(platform types),对这些类型的空检查会相对宽松。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 的空声明可能会发生变化,即使在次要版本之间,并且未来可能会添加更多的检查。
泛型类型参数、可变参数和数组元素的可空性尚未支持,但预计会在未来的版本中实现。