class - scala 案例类问题

Question

我有两个关于 '::' 案例类的问题。

:: 可以用作

case head :: tail => ...

它是如何工作的？意思是，Scala 用来将 List 实例与::case 类匹配的流程究竟是什么？鉴于我有一个 MyClass 类，带有操作符 op，我可以创建一个名为 op 的案例类，我可以将其用作:

case foo op bar => ....

?

Answer 1

     scala> abstract class Stack {
     |     def push(n :Int):Stack
     | }
      defined class Stack

     scala> final case class push(st :Stack,hd :Int) extends Stack {
     |     override def push(n :Int):Stack = new push(this,n)
     | }
     defined class push

     scala> object NullStack extends Stack {
     |     override def push(n :Int):Stack = new push(null,n)
     | }
     defined module NullStack

     scala> val s = NullStack.push(1).push(2)
     s: Stack = push(push(null,1),2)

     scala> def test(s :Stack) = s match { case st push i => println(st +"push " + i) }
     test: (Stack)Unit

     scala> test(s)
     push(null,1)push 2