InfoQ
·
JSpecify 1.0.0与Java中的可空性
💡
原文英文，约1300词，阅读约需5分钟。
📝
内容提要
JSpecify 1.0.0已发布，旨在定义JVM语言中常用的注解类型，以改善静态分析和语言互操作性。该版本主要关注使用类型注解来指示静态类型的可空性状态。该项目的目标是统一不同项目对于空值的处理方式，并提供可用的声明性、使用场景的空值感知。
🎯
关键要点
- 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元注解声明自定义空值注解。
❓
延伸问答
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，成为开源框架和库中常用注解的基础。
🏷️
标签
➡️
