跳到主要内容

空安全

DeepSeek V3 中英对照 Null Safety

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 的可空性声明可能会在次要版本之间发生变化,未来可能会添加更多的检查。

备注

泛型类型参数、可变参数以及数组元素的可空性目前尚未支持,但预计在接下来的版本中会实现。