空值安全

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 相關問題。

請參閱儲存庫方法的空值處理,瞭解空值安全如何應用於 Spring Data 儲存庫。

您可以透過新增帶有以下選項的 -Xjsr305 編譯器標誌來配置 JSR-305 檢查:-Xjsr305={strict|warn|ignore}

對於 Kotlin 1.1+ 版本,預設行為與 -Xjsr305=warn 相同。 需要 strict 值才能考慮 Spring Data API 的空值安全性。 從 Spring API 推斷的 Kotlin 型別應該知道 Spring API 可空性宣告可能會發生變化,即使在次要版本之間也是如此,並且將來可能會新增更多檢查。

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