小编poi*_*ist的帖子

如何在以下声明中确定头部和尾部:

 val head::tail = List(1,2,3,4);
 //head: 1  tail: List(2,3,4)

不应该有一些代码将第一个元素提取为head并将尾部作为新List返回.我一直在梳理Scala标准库代码,但我找不到/理解这是怎么做的.