关于Spliterator.SORTED特性在自定义Comparator下的行为疑问

Great question! This gets into some nuanced design choices in Java Streams and Spliterators, so let's break down each part of your observation:

1. 为什么List.of()生成的Stream Spliterator没有SORTED特性？ #

当你调用List.of(1,2,3,4,5).stream().spliterator()时，得到的Spliterator只有ORDERED特性，而非SORTED。原因很简单：

• ORDERED仅表示元素有可预测的遍历顺序（这里就是List的插入顺序）；
• SORTED要求遍历顺序严格遵循明确的排序规则（要么是元素的自然排序，要么是显式指定的Comparator）。哪怕你的List元素刚好和自然序一致，List本身也不保证这是“排序后的结果”——比如换成List.of(3,1,2)，它依然是ORDERED，但显然不是按规则排序的。

2. 为什么调用无参sorted()后Spliterator具备SORTED特性？ #

无参sorted()默认使用自然排序（依赖元素的Comparable实现）。执行这个操作后，Stream会生成一个新的流水线阶段，保证元素严格遵循自然顺序。对应的Spliterator会被标记为SORTED，调用getComparator()会返回null（代表使用自然排序规则）。

Java Stream的实现会明确记录这个排序状态，这也是后续优化的基础。

3. 为什么传入自定义Comparator（哪怕逻辑和自然序一致）后，hasCharacteristics(Spliterator.SORTED)返回false？ #

这里可能存在一点误解！如果你调用的是sorted((a,b)->a.compareTo(b))，理论上生成的Spliterator应该具备SORTED特性，除非你的代码里有其他干扰（比如后续的中间操作破坏了排序状态，或者Java版本的特殊情况）。

你可能注意到的是，此时getComparator()返回的是你传入的lambda，而非null——但hasCharacteristics(Spliterator.SORTED)仍应返回true。如果测试结果不符，建议检查是否在排序后执行了其他操作（比如filter会保留SORTED，但map如果修改了可排序的值就可能丢失该特性）。

4. 为什么无参sorted()的后续调用会被忽略，而自定义Comparator的调用不会？ #

这完全是Stream流水线的优化逻辑决定的：

• 对于无参sorted()：如果Stream已经具备SORTED特性且使用自然排序（getComparator() == null），Stream会判定“当前已经符合排序要求”，直接跳过冗余的sorted()调用，不会重复执行排序。
• 对于sorted(Comparator)：Stream会检查现有排序状态使用的Comparator是否和新传入的是同一个实例。由于每次写(a,b)->a.compareTo(b)都会生成新的lambda实例，Stream会认为这是不同的Comparator——哪怕逻辑完全一致，因此无法安全跳过第二次排序。

看这个示例就能明白差异：

// 仅排序一次——第二个sorted()被优化跳过
List.of(5,3,1).stream().sorted().sorted().forEach(System.out::println);

// 排序两次——两个lambda是不同实例
List.of(5,3,1).stream().sorted((a,b)->a.compareTo(b)).sorted((a,b)->a.compareTo(b)).forEach(System.out::println);

// 仅排序一次——复用了同一个Comparator实例
Comparator<Integer> naturalCmp = Comparator.naturalOrder();
List.of(5,3,1).stream().sorted(naturalCmp).sorted(naturalCmp).forEach(System.out::println);

总结 #

• SORTED特性的核心是“元素遵循明确的排序规则”，List的插入顺序不满足这一点，所以初始Spliterator没有该特性；
• 无参sorted()会将Stream标记为SORTED（绑定自然序），因此后续无参调用可被优化；
• 自定义Comparator的调用如果每次传入新实例，即使逻辑和自然序一致，也不会被优化；只要排序完成，Spliterator应该具备SORTED特性——如果测试结果不符，建议排查代码中的其他操作。

内容的提问来源于stack exchange，提问作者Anton Balaniuc