JDK-8193641: Stream::distinct should check if Stream is already distinct

Backport of Java 8/9 java.util.stream API to Java 6/7 and Android

Brought to you by: stefan-zobel

#346 JDK-8193641: Stream::distinct should check if Stream is already distinct

Milestone: on hold

Status: open

Owner: Stefan Zobel

Labels: Java 10 (43) Backport (191) Performance (15) P3 (127)

Updated: 2017-12-15

Created: 2017-12-15

Creator: Stefan Zobel

Private: No

"Stream::distinct should check if Stream is already distinct"

https://bugs.openjdk.java.net/browse/JDK-8193641

See also http://richardstartin.uk/spliterator-characteristics-and-performance/

Discussion

Anonymous