枚举集。没有特征拆分器的拆分器。非空

Question

我在思考这个问题的答案：如何在任何Java映射实现上测试空键？

我的第一个想法是检查映射的键集的Spliterator是否具有特征Spliterator.NONNULL：

map.keySet().spliterator().hasCharacteristics(Spliterator.NONNULL)

JavaDoc说：

表示源保证遇到的元素不为空的特征值。（例如，这适用于大多数并发集合、队列和映射。）

在回答之前，我做了一些检查：

即使自然排序不允许空键，没有提供比较器的TreeMap的Spliterator也没有此特性。

new TreeMap<>().keySet().spliterator().hasCharacteristics(Spliterator.NONNULL); // false 

更令人惊讶的是，EnumMap键集的拆分器s和Enum集本身不具有此特性。

EnumSet.allOf(DayOfWeek.class).spliterator().hasCharacteristics(Spliterator.NONNULL); // false

我知道< code>spliterator()的结果。has characters(Spliterator。NONNULL)在计算< code>Set.spliterator()的默认实现时返回< code>false。

但是，这些集合的拆分器没有覆盖Set.spliterator（）以创建具有Spliterator.NONNULL的拆分器有什么原因吗？这会破坏我不知道的规范吗？

Answer 1

但是，这些集合的拆分器不覆盖＜code＞集合有什么原因吗。spliterator（）创建一个＜code＞spliterator？

我们只能推测，但可以肯定的是，一些使用比较器s进行排序的TreeMap实例确实容纳了空键，因此它们的键集的拆分器不能具有特征性的Spliterator.NONNULL。虽然使用其键的自然排序的TreeMap确实无法容纳空键，但我个人并不觉得TreeMap的键集不使用它来区分并不奇怪。我希望这种属性完全由所涉及的类驱动，而不是由每个实例的详细信息驱动。

这会违反我不知道的规范吗？

也许。Set.spliterator（） 的文档指定

Spliterator 报告 Spliterator.DISTINCT。实现应记录其他特征值的报告。

（增加强调）TreeMap的文档。keySet（）说

该集合的拆分器是后期绑定的、故障快速的，并且另外报告< code >拆分器。排序和< code >分隔符。ORDERED，遇到顺序为升序。如果树映射的比较器(参见< code > sorted map . comparator())为< code>null，则拆分器的比较器(参见< code > spliterator . get comparator())为< code>null。否则，spliterator的比较器与树映射的比较器相同，或者采用相同的总排序。

请注意，此集合的文档符合Set.spliterator（）文档中的期望集，即使没有指定Spliterator.NONNULL是键集拆分器将报告的特征之一。进一步注意，这些相同的文档确实描述了这些集合的其他特征，这些特征取决于映射的顺序是否基于比较器。

因此，不，您不应该期望TreeMapkey set'，拆分器在任何情况下都有报告Spliterator.NONNULL。我不能肯定地说为什么做出这个选择，但它符合我对Java设计理念的看法。

你还写道，

更令人惊讶的是，EnumMap键集的拆分器s和Enum集本身不具有此特性。

我同意这些拆分器可以合理地报告Spliterator.NONNULL。我不知道为什么选择他们不会这样做，除非这只是一个疏忽。尽管如此，我观察到他们的文档确实没有指定这些拆分器将报告Spliterator.NONNULL。既然如此，可以预期这些拆分器不会报告该特性。

Answer 2

更糟糕的是：

System.out.println(Set.of(1)
             .spliterator()
             .hasCharacteristics(Spliterator.NONNULL)); // false

即使这些< code>Set::of方法被记录为:

如果元素为空，则抛出NullPointerException

因此，无法在＜code＞集合

编辑

请参阅斯图尔特·马克斯对此的评论