Dòng Java: khác biệt() trên luồng được sắp xếp trước?

Question

Như được thảo luận trong this question, việc triển khai distinct() có thể sử dụng thuật toán hiệu quả hơn khi luồng hoạt động trên được biết theo thời gian chạy cần sắp xếp. Làm cách nào chúng tôi có thể đạt được kết quả tương tự nếu chúng tôi biết rằng luồng được sắp xếp (ví dụ: do nguồn này đến từ nguồn dữ liệu được sắp xếp trước, chẳng hạn như truy vấn SQL với mệnh đề order by) nhưng không bị gắn cờ như vậy? Có một hoạt động unordered() loại bỏ các cờ đặt hàng, nhưng theo như tôi thấy không có cách nào nói cho hệ thống biết rằng dữ liệu đã được đặt hàng bên ngoài.

Answer 1

Bạn có thể tạo spliterator của bạn xung quanh một bộ sưu tập hiện có ví dụ:

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