该文章介绍了JDK增强提案中的空值受限类型和可空类型。该提案旨在通过在Java类型上添加空值标记来增强Java的引用类型，以指示类型是拒绝还是允许空值。文章详细介绍了空值属性和标记、字段和数组初始化、表达式空值和转换、运行时空值检查、类型变量的空值、方法重写和类型参数推断、编译器警告、编译和类文件表示、核心反射、补充更改、替代方案、依赖关系以及未来工作等内容。
这篇技术文档宣布了一个重要决定：Java 23 将不再包含字符串模板特性，即使是预览版也不会提供。该特性最初在 Java 21 和 22 中以预览形式推出，但经过一段时间的实践，开发者发现其设计存在问题，导致用户感到困惑且缺乏组合性。最终，由于缺乏重新设计的共识，开发团队决定暂时移除该特性。