这个case类定义如何允许中缀模式匹配？

Question

/** A wrapper over sequence of matches.
   *
   *  Given `p1: Parser[A]` and `p2: Parser[B]`, a parser composed with
   *  `p1 ~ p2` will have type `Parser[~[A, B]]`. The successful result
   *  of the parser can be extracted from this case class.
   *
   *  It also enables pattern matching, so something like this is possible:
   *
   *  {{{
   *  def concat(p1: Parser[String], p2: Parser[String]): Parser[String] =
   *    p1 ~ p2 ^^ { case a ~ b => a + b }
   *  }}}
   */
  case class ~[+a, +b](_1: a, _2: b) {
    override def toString = "("+ _1 +"~"+ _2 +")"
  }

假定上述代码当然是可能的，并且使用a~b定义的解析器可以通过{case a~b=>...}提取到值中，那么这种非应用程序的工作原理到底是什么？我知道scala中的unapply方法，但这里没有提供。案例类是否默认提供一个（我想是的）？如果是这样，这个特殊的case类如何变成caseA~b而不是case~(a,b)？这是scala程序员可以利用的模式吗？

这与这个问题中带有unapply的对象不同，因为不存在unapply方法--或者是否存在？case类会自动神奇地接收unapply方法吗？

Answer 1

case类是否默认提供[unapply]（我想是的）？

你的怀疑是对的。unapply()是case类中自动提供的许多内容之一。您可以通过执行以下操作来自己验证这一点：

1. 在自己的文件中编写一个简单的类定义。
2. 只通过“typer”阶段编译文件并保存结果。（调用scalac-xshow-phase查看所有编译器阶段的说明。）
3. 编辑文件。在类定义前添加单词case。
4. 重复步骤2。
5. 比较两个保存的结果。

%%> cat srcfile.scala
class XYZ(arg :Int)
%%> scalac -Xprint:4 srcfile.scala > plainClass.phase4
%%> vi srcfile.scala  # add “case” 
%%> scalac -Xprint:4 srcfile.scala > caseClass.phase4
%%> diff plainClass.phase4 caseClass.phase4

• 将product和serializable混合到类型中
• 提供对构造函数参数的公共访问
• 有方法copy()、productarity、productelement()和canequal()。
• 重写（为）方法ProductPrefix、ProductIterator、Hashcode()、ToString()、Equals()
提供新代码

伴生对象（由编译器创建）

• 有方法apply()和unapply()
• 重写tostring()

如果是这样，这个特殊的case类如何变成caseA~b而不是case~(a,b)？

这被证明是语言提供的一个很好的（如果相当模糊的话）便利。

unapply()调用返回一个元组，可以将其模式化为中缀符号。同样，这很容易验证。

class XX(val c:Char, val n:Int)
object XX {
  def unapply(arg: XX): Option[(Char, Int)] = Some((arg.c,arg.n))
}

val a XX b = new XX('g', 9)
//a: Char = g
//b: Int = 9