Cách thành ngữ để lấy yếu tố đầu tiên của một seq lười biếng trong clojure

Question

Khi xử lý từng phần tử trong một seq Tôi thường sử dụng first và rest. Tuy nhiên, điều này sẽ gây ra một số lazy-seq để mất "sự lười biếng" của nó bằng cách gọi số seq trên đối số. Giải pháp của tôi đã được sử dụng (first (take 1 coll)) và (drop 1 coll) tại vị trí của họ khi làm việc với lazy-seq s và trong khi tôi nghĩ rằng drop 1 là tốt, tôi không đặc biệt thích phải gọi first và take để lấy phần tử đầu tiên.

Có cách nào thành ngữ hơn để thực hiện việc này không?

Answer 1

Các docstrings cho first và rest nói rằng các chức năng gọi seq trên lập luận của mình để truyền đạt ý tưởng rằng bạn không cần phải gọi seq mình khi đi qua trong một bộ sưu tập seqable mà không phải là của riêng mình một seq, như, nói , một véc tơ hoặc bộ. Ví dụ:

(first [1 2 3]) 
;= 1 

sẽ không hoạt động nếu first không gọi seq về đối số của nó; bạn cần phải nói số

(first (seq [1 2 3])) 

thay vào đó, điều này sẽ bất tiện.

Cả hai take và drop cũng gọi seq trên đối số của chúng, nếu không bạn không thể gọi chúng trên vectơ và tương tự như đã giải thích ở trên. Trên thực tế, điều này đúng với tất cả các bộ sưu tập seq tiêu chuẩn - những bộ phận không gọi trực tiếp là seq được xây dựng dựa trên các thành phần cấp thấp hơn.

Không có cách nào điều này làm giảm sự lười biếng của các địa chỉ lười biếng. Việc bắt buộc/thực hiện xảy ra là kết quả của cuộc gọi first/rest là số tiền nhỏ nhất có thể để có được kết quả được yêu cầu. (Điều đó phụ thuộc vào loại đối số như thế nào, nếu nó không thực sự là lười biếng, không có sự thực hiện thêm nào liên quan đến cuộc gọi first; nếu nó là một phần lười biếng - đó là, chunked - sẽ có thêm một số thực hiện (lên đến 32 yếu tố ban đầu sẽ được tính cùng một lúc), nếu nó hoàn toàn lười biếng, chỉ có các yếu tố đầu tiên sẽ được tính toán.)

Rõ ràng , khi thông qua một seq lười, phải buộc thực hiện yếu tố đầu tiên của nó - - đó là toàn bộ vấn đề. rest thực sự là hơi lười ở chỗ nó thực sự không bắt buộc thực hiện phần "phần còn lại" của seq (đó là trái ngược với next, về cơ bản tương đương với (seq (rest ...))). Thực tế là nó buộc yếu tố đầu tiên được nhận ra để nó có thể bỏ qua nó ngay lập tức là một sự lựa chọn thiết kế có ý thức mà tránh lớp không cần thiết của các đối tượng seq lười biếng và giữ đầu của seq gốc; bạn có thể nói điều gì đó như (lazy-seq (rest xs)) để trì hoãn ngay cả việc thực hiện ban đầu này, với chi phí giữ cho đến xs cho đến khi nhận ra trình bao bọc seq lười biếng được nhận ra.