Null-safety
Kotlin的一大特点是空安全，
它在编译时就能干净地处理null值，而不是在运行时遇到著名的
NullPointerException错误。这通过可空性声明使应用程序更加安全，并表达“有值或无值”的语义，而无需承担包装器（如Optional）的成本。
Kotlin允许在可空值上使用函数式结构。参见这篇
Kotlin空安全综合指南。
尽管Java语言本身不允许你在类型系统中表达空值安全性，但Spring框架 通过工具友好的JSpecify注解 为整个Spring框架API提供了空值安全性保障。
自 Kotlin 2.1 起，Kotlin 强制执行来自 org.jspecify.annotations 包的空值注解的严格处理。