空值安全

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

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