空安全

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 方法的 Null 處理,瞭解空安全如何應用於 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 和陣列元素的可空性,但應在即將釋出的版本中支援。