Каким образом Stream-cons # :: переведен в Scala?

Question

В настоящее время я изучаю Scala, работая над книгой «Программирование в Скале». До сих пор были хорошие объяснения всего, что выглядит странно (с точки зрения программиста Java), но это один из примеров использования потока для создания последовательности Фибоначчи оставляет меня вид недоумевают:

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

Как строительство потока? Конечно, оператор #:: как-то ответственен за это. Я понимаю, что, поскольку он заканчивается в :, он является право-ассоциативным, но это не объясняет создание Stream. Я предполагаю, что это неявно переводится конструктору, но я не понимаю, почему и как именно.

Я уже искал ответы в Predef.scala и LowPriorityImplicits.scala, но пока не повезло.

Может ли кто-нибудь просветить меня?

Answer 1

Это право ассоциативный, так что работает в качестве метода по правому аргументу:

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

По крайней мере, это то, что он пытается сделать синтаксический. Stream[Int] не имеет такого метода. К счастью, хотя object Stream имеет неявный класс ConsWrapper, у которого есть этот метод (code).

Итак, что вы получите после неявного разрешения заключается в следующем:

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

Answer 2

потоке похож на список. Он знает только свою голову и остальную часть потока: Стрим (голова: T, хвост: поток [T]). Разница в том, что поток оценивается лениво. ':' В конце имени метода говорит, что метод является правильным ассоциативным. Таким образом, выражение a # :: fibFrom (b, a + b) переводится (компилятором) в fibFrom (b, a + b). #: :(a).