空安全

Kotlin 的一個關鍵特性是空安全，它在編譯時而非執行時處理 null 值，從而避免了臭名昭著的 NullPointerException。透過可空性宣告和表達“有值或無值”語義，它使應用程式更安全，而無需付出諸如 Optional 等包裝類的成本。Kotlin 允許將函式式構造與可空值一起使用。請參閱這篇Kotlin 空安全綜合指南。

儘管 Java 不允許在其型別系統中表達空安全，但 Spring Framework 透過方便工具使用的 JSpecify 註解，提供了整個 Spring Framework API 的空安全。

自 Kotlin 2.1 起，Kotlin 強制嚴格處理 org.jspecify.annotations 包中的可空性註解。