JSpecify 1.0.0与Java中的可空性
原文英文，约1300词，阅读约需5分钟。
📝
内容提要
JSpecify 1.0.0已发布，旨在定义JVM语言中常用的注解类型，以改善静态分析和语言互操作性。该版本主要关注使用类型注解来指示静态类型的可空性状态。该项目的目标是统一不同项目对于空值的处理方式，并提供可用的声明性、使用场景的空值感知。
❓
Q&A
JSpecify 1.0.0的主要目标是什么？
JSpecify 1.0.0旨在定义JVM语言中的常用注解类型，以改善静态分析和语言互操作性。
JSpecify 1.0.0定义了哪些注解？
初始版本定义了四个注解：@Nullable、@NonNull、@NullMarked、@NullUnmarked。
JSpecify如何解决Java中的空值问题？
JSpecify旨在统一不同项目的空值处理方式，减少空指针异常（NPE），并提供可用的声明性空值感知。
参与JSpecify的项目有哪些？
参与JSpecify的项目包括OpenJDK、EISOP、PMD、Android、Kotlin等。
JSpecify与Kotlin的空值处理有什么不同？
Kotlin内置了空值感知，而Java开发者希望获得类似功能，但在与Java代码互操作时存在细微差别。
JSpecify的成功将如何影响开源框架和库？
JSpecify的成功将取代JSR 305，成为开源框架和库中常用注解的基础。
🏷️
