空安全

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 空值宣告可能會演變(即使在次要版本之間)以及將來可能會新增更多檢查的情況下使用。

泛型型別引數、可變引數和陣列元素的空值尚不支援,但應在即將釋出的版本中實現。
© . This site is unofficial and not affiliated with VMware.