拆分器 - 大小与子大小标志

Question

https://docs.oracle.com/javase/8/docs/api/java/util/Spliterator.html

SIZED特征值表示在遍历或拆分之前从估计大小（）返回的值表示有限大小，在没有结构源修改的情况下，表示完整遍历将遇到的元素数量的精确计数。

SUBSIZE Character 值表示 trySplit（） 生成的所有拆分器都将同时具有 SIZE 和 SUBSIZE。

1. 是否存在大小标志打开但 SUBSIZE 标志关闭的情况？
2. 是否存在 SUBSIZE 标志已打开但大小标志已关闭的情况？

Answer 1

有点晚了，但是……这也让我困惑了一段时间。我将列举我所知道的：

HashMap（如上所述），以及IntentityHashMap，LinkedHashMap和TreeMap。

这里要注意的是，ConcurrentHashMap 不存在于列表中，因为它允许并发更新，因此它的大小实际上是调用时的大小。事实上，CHM甚至没有明显报告SIZE。

还有那些与< code>Map相关的，比如< code>HashSet和< code>TreeSet，因为在内部它们仍然是映射。

然后，在这里有一个比特集是有点不期望的，BitSetSpliterator#characteristics看起来像：

    @Override
    public int characteristics() {
        // Only sized when root and not split
        return (root ? Spliterator.SIZED : 0) |
            Spliterator.ORDERED | Spliterator.DISTINCT | Spliterator.SORTED;
    }

这可能看起来很滑稽，但解释是:

// Raise the index of this spliterator to be the next set bit
// from the mid point
index = nextSetBit(mid, wordIndex(hi - 1));

因此，对于< code>BitSet，这只会发生一次，并且报告< code>SUBSIZED没有意义，因为拆分不会正好发生在中间。

相反的方法完全没有意义：报告＜code＞补贴的，因此没有人（就我在代码中看到的）这样做。

Answer 2

大小但不子大小的拆分器的典型示例是从 HashMap 创建的拆分器。它将在其内部条目数组上保持一个范围，其中一些数组条目为 null，因为容量高于实际大小。要跳过的空条目的确切分布取决于所包含键的哈希代码。

因此，拆分器最初确实知道其（总）大小，但在拆分范围时，它不知道每个范围内有多少个元素。HashMap具有的元素越多，大致平衡的拆分的可能性就越高，因此这种策略是合理的，但确切的子大小尚不清楚，并且需要对数组进行迭代才能找到答案。

在没有< code > size 的情况下报告< code>SUBSIZED特征是没有意义的，而且，就我的理解，甚至是无效的。