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

Question

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

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) 相同。这就是为什么 :: 在模式匹配中也起作用的原因。