JSpecify 1.0.0与Java中的可空性

JSpecify 1.0.0发布，旨在定义JVM语言中的常用注解类型，以改善静态分析和语言互操作性。

该版本主要关注使用类型注解来指示静态类型的可空性状态。

参与JSpecify的项目包括OpenJDK、EISOP、PMD、Android、Kotlin等。

参与者保证其项目在源代码级别的向后兼容性，避免因更新导致代码编译失败。

初始版本定义了四个注解：@Nullable、@NonNull、@NullMarked、@NullUnmarked。

这些注解提供了可用的声明性、使用场景的空值感知，适用于变量、参数和返回值。

Java生态系统中的空值问题长期以来备受争议，开发者希望减少空指针异常（NPE）。

JSpecify旨在统一不同项目的空值处理方式，尽管Java的历史和向后兼容性使得这一过程复杂。

Kotlin语言内置了空值感知，Java开发者希望获得类似的功能，但在与Java代码互操作时存在细微差别。

JSpecify的目标是为Java项目提供一致的空值注解，促进工具支持和公共注解的使用。

Spring框架在2017年采用了默认非空设计，参与JSpecify以推动注解语义和工具支持的发展。

JSpecify的成功将取代JSR 305，成为开源框架和库中常用注解的基础。

未来的目标包括官方元注解支持，以便使用JSpecify元注解声明自定义空值注解。