Scala中＃::的含义是什么？

Question

x#::xs在Scala中是什么意思？

例如

case x #:: xs => { 

在这种情况下，x是一个流，但我想，同样的语法也是列表ECC有效...

Answer 1

这是一个extractor for pattern matching streams。这对列表无效。该列表有::（请注意列表中没有#）。

case x #:: xs =>的含义是当模式匹配时，x将包含流的头部，而xs将包含流（尾）的其余部分。

有关如何定义流的示例，请查看stream documentation。