空安全

Kotlin 的主要特性之一是空安全,它在编译时干净利落地处理null值,而不是在运行时遇到著名的NullPointerException。通过可空性声明和表达“值或无值”语义,这使得应用程序更安全,而无需付出包装器(如Optional)的代价。(Kotlin 允许将函数式结构与可空值一起使用。请参阅此Kotlin 空安全的综合指南。)

尽管 Java 不允许您在其类型系统中表达空安全,但 Spring 框架通过在org.springframework.lang包中声明的易于工具使用的注解提供了整个 Spring 框架 API 的空安全。默认情况下,在 Kotlin 中使用的 Java API 中的类型被识别为平台类型,对此放松了空检查。Kotlin 对 JSR-305 注解的支持和 Spring 可空性注解为 Kotlin 开发人员提供了整个 Spring 框架 API 的空安全,并且能够在编译时处理与null相关的问题。

Reactor 或 Spring Data 等库提供空安全的 API 以利用此功能。

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

对于 kotlin 1.1+ 版本,默认行为与-Xjsr305=warn相同。strict值需要考虑 Spring 框架 API 空安全在从 Spring API 推断的 Kotlin 类型中的作用,但应了解 Spring API 可空性声明甚至可能在次要版本之间发生变化,并且将来可能会添加更多检查。

泛型类型参数、可变参数和数组元素的可空性尚不支持,但应该在即将发布的版本中提供。有关最新信息,请参阅此讨论