scala - #:: 方法是什么

Question

这可能是一个微不足道的问题，但我找不到它的文档：

在内部Stream，以及在其他地方，我看到了使用该方法的示例#::。例如：

val fibs: Stream[BigInt] = BigInt(0) #:: BigInt(1) #:: fibs.zip(fibs.tail).map { n => n._1 + n._2 }

但我#::在api中找不到隐式方法的文档。它是什么？它在哪里声明？

Answer 1

Stream.ConsWrapper中的第一个值成员。我通过使用搜索框下方左侧窗格中的符号索引找到了。

这是它的签名：

def #::(hd: A): 流[A]

简而言之，就是列表::，但用于流。