空安全

ChatGPT-4o-mini 中英对照 Null Safety

Kotlin 的一个关键特性是 空安全，它在编译时干净地处理 null 值。这通过可空性声明和“有值或无值”语义的表达，使应用程序更安全，而无需支付包装器的成本，例如 Optional。（Kotlin 允许使用可空值的函数式构造。请参阅这篇 关于 Kotlin 空安全的综合指南。）

虽然 Java 不允许你在其类型系统中表达空安全，但 Spring Data API 使用了在 org.springframework.lang 包中声明的 JSR-305 工具友好的注解。默认情况下，在 Kotlin 中使用的 Java API 类型被识别为 平台类型，对于这些类型，空检查是放宽的。Kotlin 对 JSR-305 注解的支持 和 Spring 空值注解为整个 Spring Data API 提供了空安全，使 Kotlin 开发者能够在编译时处理与 null 相关的问题。

请参见Null Handling of Repository Methods，了解 null 安全性如何应用于 Spring Data Repositories。

提示

您可以通过添加 -Xjsr305 编译器标志来配置 JSR-305 检查，选项如下： -Xjsr305={strict|warn|ignore}。

对于 Kotlin 版本 1.1 及以上，默认行为与 -Xjsr305=warn 相同。strict 值是必需的，以考虑 Spring Data API 的空安全性。Kotlin 类型是从 Spring API 推断的，但应当在了解 Spring API 的空性声明可能会演变的情况下使用，即使在小版本之间，也可能会添加更多检查。

备注

通用类型参数、可变参数和数组元素的可空性尚不受支持，但预计将在即将发布的版本中得到支持。