Как работает шаблон соответствия класса case?

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) => ... 
} 

Является оператором взрыва! специальный случай аналогично методам, заканчивающимся в двоеточии:

Answer 1

При выполнении сопоставления рисунков компилятор Scala будет интерпретировать o1 c1 o2 так же, как c1(o1, o2). Вот почему :: работает внутри шаблонов.