Làm thế nào là khuyết điểm của Stream :: được dịch ở Scala?

Question

Tôi hiện đang học Scala bằng cách làm việc thông qua cuốn sách "Lập trình trong Scala". Cho đến nay, đã có lời giải thích tốt đẹp cho tất cả mọi thứ có vẻ lạ (từ góc nhìn của một lập trình viên Java), nhưng đây là một ví dụ sử dụng một Stream để tạo ra các dãy Fibonacci lá tôi loại bối rối:

def fibFrom(a: Int, b: Int): Stream[Int] = 
    a #:: fibFrom(b, a + b) 

Làm thế nào là xây dựng của luồng được thực hiện? Tất nhiên các nhà điều hành #:: là bằng cách nào đó chịu trách nhiệm về điều đó. Tôi hiểu rằng kể từ khi nó kết thúc vào :, nó là kết hợp đúng, nhưng điều đó không giải thích việc tạo Luồng. Tôi đoán nó được ngầm dịch sang một nhà xây dựng bằng cách nào đó nhưng tôi không thấy tại sao và chính xác như thế nào.

Tôi đã tìm câu trả lời trong Predef.scala và LowPriorityImplicits.scala nhưng không may mắn cho đến thời điểm này.

Ai đó có thể khai sáng cho tôi không?

Answer 1

Đó là kết hợp đúng để nó hoạt động như một phương pháp trên lập luận đúng:

fibFrom(b, a + b).#::(a) 

Ít nhất đó là những gì nó cố gắng để làm cú pháp. Stream[Int] không có phương thức như vậy. May mắn thay, object Stream có ẩn đối với một số lớp học ConsWrapper có phương pháp này (code).

Vì vậy, những gì bạn nhận được sau khi giải quyết ngầm là thế này:

immutable.this.Stream.consWrapper(fibFrom(b, a + b)).#::(a) 

Answer 2

A Stream cũng tương tự như một danh sách. Nó chỉ biết phần đầu của nó và phần còn lại của luồng: Stream (đầu: T, tail: Stream [T]). Sự khác biệt là, luồng được đánh giá uể oải. Dấu ':' ở cuối tên của phương thức nói rằng phương thức này là kết hợp đúng. Vì vậy, biểu thứC# :: fibFrom (b, a + b) được dịch (bởi trình biên dịch) thành fibFrom (b, a + b). #: :(a).