Java Streams: distinct() auf einem vorsortierten Stream?

Question

Wie in this question diskutiert, ist die Implementierung von distinct() in der Lage, einen effizienteren Algorithmus zu verwenden, wenn der Stream, auf dem er ausgeführt wird, bekannt ist, dass die Laufzeit sortiert wird. Wie können wir ein ähnliches Ergebnis erzielen, wenn wir wissen, dass der Stream sortiert ist (z. B. weil er aus einer extern vorsortierten Datenquelle stammt, z. B. eine SQL-Abfrage mit einer order by-Klausel), aber nicht als solcher gekennzeichnet ist? Es gibt eine unordered() Operation, die die Ordering-Flags entfernt, aber soweit ich sehen kann, gibt es keine Möglichkeit, dem System mitzuteilen, dass die Daten extern bestellt wurden.

Answer 1

Sie könnten Ihren spliterator um eine bestehende Sammlung zum Beispiel erstellen:

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