Scala中＃::的含義是什麼？

Question

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

例如

case x #:: xs => { 

在這種情況下，x是一個流，但我想，同樣的語法也是列表ECC有效...

Answer 1

這是一個extractor for pattern matching streams。這對列表無效。該列表有::（請注意列表中沒有#）。

case x #:: xs =>的含義是當模式匹配時，x將包含流的頭部，而xs將包含流（尾）的其餘部分。

有關如何定義流的示例，請查看stream documentation。