空安全

Kotlin 的關鍵特性之一是 空安全,它能在編譯時清晰地處理 null 值。這透過可空性宣告和“有值或無值”語義的表達,使應用程式更安全,而無需付出包裝器(例如 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 的可空性宣告可能會發生變化,即使是在次要版本之間,並且將來可能會新增更多檢查。

泛型型別引數、可變引數和陣列元素的可空性尚不支援,但應會在即將釋出的版本中提供。