空安全

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 的空值性宣告可能會演變,即使在小版本之間也可能發生變化,並且未來可能會新增更多檢查。

泛型型別引數、變長引數 (varargs) 和陣列元素的空值性尚不受支援,但應在即將釋出的版本中支援。