scala - 这个案例类匹配模式是如何工作的？

Question

我刚刚在 Scalaactors包中看到了这个案例类：

case class ! [a](ch: Channel[a], msg: a)

在 JavaDoc 中，它以以下形式描述了用法：

receive {
  case Chan1 ! msg1 => ...
  case Chan2 ! msg2 => ...
}

为什么不是这样：

receive {
  case !(Chan1, msg1) => ...
  case !(Chan2, msg2) => ...
}

是bang算子！与以冒号结尾的方法类似的特殊情况：

Answer 1

在进行模式匹配时，Scala 编译器将解释o1 c1 o2为c1(o1, o2). 这就是为什么::在模式匹配中也起作用的原因。