空值安全

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 可空性宣告可能會演變,即使在次要版本之間也是如此,並且未來可能會新增更多檢查。

泛型型別參數、可變參數和陣列元素可空性尚不支援,但應在即將發布的版本中支援。