空值安全

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 相同。嚴格值是將 Spring Data API 空值安全納入考量所必需的。從 Spring API 推斷的 Kotlin 類型應在瞭解 Spring API 空值宣告可能會演變(即使在次要版本之間)且未來可能會新增更多檢查的情況下使用。

泛型類型引數、可變參數和陣列元素的空值安全尚不受支援,但應在即將發布的版本中提供。