Làm thế nào để tìm chiều dài của chuỗi chậm mà không buộc phải thực hiện?

Question

Tôi hiện đang đọc cuốn sách lập trình O'reilly Clojure mà nó nói như sau trong đó là phần về chuỗi lười biếng:

Có thể (mặc dù rất hiếm) cho một chuỗi lười biếng để biết chiều dài của nó, và do đó trả về kết quả đếm mà không nhận ra nội dung của nó.

Câu hỏi của tôi là, Điều này được thực hiện như thế nào và tại sao nó lại quá hiếm?

Thật không may, cuốn sách không chỉ định những điều này trong phần này. Cá nhân tôi nghĩ rằng nó rất hữu ích để biết độ dài của một chuỗi lười biếng trước khi nó thực hiện, ví dụ, trong cùng một trang là một ví dụ về một chuỗi các tập tin lười biếng được xử lý với một chức năng sử dụng map. Nó sẽ được tốt đẹp để biết có bao nhiêu tập tin có thể được xử lý trước khi thực hiện trình tự.

Answer 1

Tôi cho rằng đó là do thực tế thường có nhiều cách khác để tìm ra kích thước.

Việc triển khai chuỗi duy nhất tôi có thể nghĩ bây giờ có khả năng làm điều đó, là một loại bản đồ của hàm/thủ tục tốn kém trên một bộ sưu tập kích cỡ đã biết.

Triển khai đơn giản sẽ trả về kích thước của bộ sưu tập cơ bản, trong khi trì hoãn việc thực hiện các phần tử của chuỗi lười (và do đó thực hiện phần đắt tiền) cho đến khi cần thiết.

Trong trường hợp đó, người ta biết kích thước của bộ sưu tập đang được ánh xạ trước và có thể sử dụng bộ sưu tập đó thay vì kích thước lazy-seq.

Đôi khi nó có thể hữu ích và đó là lý do tại sao nó không phải là không thể thực hiện, nhưng tôi đoán hiếm khi cần thiết.

Answer 2

Được lấy cảm hứng từ soulcheck's answer, đây là bản đồ lười nhưng được tính của một hàm đắt tiền so với bộ sưu tập kích thước cố định.

(defn foo [s f] 
    (let [c (count s), res (map f s)] 
    (reify 
     clojure.lang.ISeq 
     (seq [_] res) 
     clojure.lang.Counted 
     (count [_] c) 
     clojure.lang.IPending 
     (isRealized [_] (realized? res))))) 


(def bar (foo (range 5) (fn [x] (Thread/sleep 1000) (inc x)))) 

(time (count bar)) 
;=> "Elapsed time: 0.016848 msecs" 
; 5 

(realized? bar) 
;=> false 


(time (into [] bar)) 
;=> "Elapsed time: 4996.398302 msecs" 
; [1 2 3 4 5] 

(realized? bar) 
;=> true 

(time (into [] bar)) 
;=> "Elapsed time: 0.042735 msecs" 
; [1 2 3 4 5]