Java 流 : distinct() on a pre-sorted stream?

Question

如 this question 中所述, 执行distinct()当运行时知道要对其操作的流进行排序时，它能够使用更有效的算法。如果我们知道流已排序(例如，因为它来自外部预先排序的数据源，例如带有 order by 子句的 SQL 查询)但不是没有这样标记？有一个 unordered()删除排序标志的操作，但据我所知，没有办法告诉系统数据已从外部排序。

Answer 1

例如，您可以围绕现有集合创建拆分器:

    List<Integer> list = Arrays.asList(1, 2, 3, 4);

    Spliterator<Integer> sp = Spliterators.spliterator(list, Spliterator.SORTED);

    System.out.println(sp.hasCharacteristics(Spliterator.SORTED)); // true