Null-safety
Kotlin 的关键特性之一是空安全（null-safety），
它在编译时就能清晰地处理null值，而不是在运行时遭遇著名的
NullPointerException。这通过可空性声明使应用程序更加安全，
并能以“有值或无值”的语义表达，而无需付出使用包装类（如Optional）的开销。
Kotlin 允许对可空值使用函数式构造。请参阅这篇
Kotlin 空安全全面指南。
尽管 Java 无法在其类型系统中表达空值安全性，但 Spring 框架通过与工具友好的 JSpecify 注解，为整个 Spring 框架 API 提供了空值安全性。
从 Kotlin 2.1 起，Kotlin 开始严格处理来自 org.jspecify.annotations 包的可空性注解。