展望Java的未来：空值类型

尽管有前途的Java值类型不是迫在眉睫，但我偶尔还是喜欢在OpenJDK valhalla-dev邮件列表中打听一下，以了解事情的进展情况并了解即将发生的事情。诚然，由于我对所用术语的了解有限，并且其中某些消息的底层细节，使我无法理解某些讨论。但是，有时我很了解所写的消息和线程并发现有趣。最近的一个例子是“ 空值类型？ ”线程。

RémiForax通过询问“是LW1的空值类型吗？”启动线程。该问题附带的示例错误消息显示了LinkageError和ClassFormatError ，并显示消息“值类型还不支持零实例大小”。 Tobias Hartmann 对这个问题的回答是：“不， LW1不计划支持空值类型。”

在继续讨论线程的其余部分（这是我最感兴趣的部分）之前，我将快速讨论“ LW1”。在大卫·西姆斯（David Simms）的同一OpenJDK邮件列表中的消息中，“ [lworld] LW1 –'Minimal LWorld' ”中说，“我们正在以'L Lworld '（LW1）接近某种'可用'的东西”，而“我们将正在将原型制作转移到里程碑式稳定。” 该消息指出“标签”为“ lw1” ， affected-version和fixed-version均为“ repo-valhalla ”。换句话说，“ LW1”是用于跟踪与“最小L世界”实现有关的错误和问题的标签。您可以参考约翰·罗斯（John Rose）在2017年11月19日发布的消息 “ 放弃所有U型，欢迎来到L-world（或者我在伯灵顿学到的东西） ”，以介绍“ L世界”一词及其在价值类型上的含义。。

返回到“空值类型？” 线程，柯克·佩珀丁（ Kirk Pepperdine）问了一个同样出现在我身上的问题：“值类型如何为空？” 他补充说：“什么是空整数？空字符串？” 他说他“很好奇”，而现在我也是。以下是信息反馈的摘要：

RémiForax ：“ [type]表示缺少值，如unit ， void或bottom ”
- 约翰·罗斯（John Rose）提供了此信息链接。
RémiForax ：“代表投掷结果的类型”
RémiForax ：“允许将HashSet<E>定义为HashMap<E,Empty> ”
- Brian Goetz的信息详细说明了此值：“零长度值可能非常有用，只是不能直接使用。
RémiForax ：“类似于标记类型的可转换类型，用于分隔参数”（请参阅此示例的消息）

我还喜欢该线程上的最后的Kirk Pepperdine消息（在撰写本文时），他总结说：“感觉就像是null的值类型版本。”

顺便说一句，在valhalla-dev邮件列表的2018年6月存档中还有一些其他有趣的消息和主题。这里是其中的一些：

Karen Kinnears发布了“ Valhalla VM笔记6月6日星期三 ”
- 我不了解这里记录的每个细节，但是很有趣的是看到了一些与潜在功能相关的潜在时间表。
RémiForax发布了“ Integer vs IntBox基准 ”
- 与int和Integer相比，演示了IntBox结果（Forax将其描述为“存储int的值类型”），并且IntBox的结果与int相当（并且显着优于Integer ）。
Sergey Kuksenko发表了“ Valhalla LWorld microbencmarks ”
- 该消息不提供基准测试结果，而是说明“ Valhalla LWorld微基准的初始集合”已放置在“ test/benchmarks目录下的valhalla存储库中”。
Mandy Chung发表了“ 库支持，用于为值类型的hashCode / equals / toString生成BSM ”
- 基于约翰·罗斯（John Rose）的“ 值类型哈希码 ”，被描述为“为hashCode / equals / toString为值类型生成BSM的初始库支持”。
约翰·罗斯（John Rose）发布了“ 固定池期货 ”