空值安全

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

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