空值安全

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 相關的問題。

請參閱儲存庫方法的空值處理,了解空值安全如何應用於 Spring Data 儲存庫。

您可以透過新增 -Xjsr305 編譯器標誌以及以下選項來配置 JSR-305 檢查:-Xjsr305={strict|warn|ignore}

對於 Kotlin 1.1+ 版本,預設行為與 -Xjsr305=warn 相同。 strict 值是將 Spring Data API 空值安全納入考量所必需的。 從 Spring API 推斷出的 Kotlin 類型應在使用時了解 Spring API 空值宣告可能會演變,即使在次要版本之間也是如此,並且未來可能會新增更多檢查。

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