Scala - 模式匹配 MatchError

Question

我正在玩模式匹配，但我很难理解这段代码有什么问题：

class Expr {
  case class Number(v : Int) extends Expr
  case class Sum(a : Expr, b : Expr) extends Expr

  def show(e: Expr): String = {
    e match {
      case Number(a) => a.toString() 
      case Sum(a, b) => "(" + show(a) + "+" + show(b) + ")"
    }
  }

  override def toString() = show(this)
}

class Number(v : Int) extends Expr 

class Sum(a : Expr, b : Expr) extends Expr 

object Number {
  def apply(v : Int) = new Number(v)
}
object Sum extends Expr {
  def apply(a : Expr, b : Expr) = new Sum(a, b)
}

object ExpressionProblem {
  def main(args: Array[String]) {
    val p =  Sum( Number(3),  Number(4))
    println( p )
  }
}

当我尝试执行 println 时，它会抛出 MatchError。

Exception in thread "main" scala.MatchError: an instance of class week4.Expr$Sum
    at week4.Expr.show(ExpressionProblem.scala:8)
    at week4.Expr.toString(ExpressionProblem.scala:14)
    at java.lang.String.valueOf(String.java:2994)
    at java.io.PrintStream.println(PrintStream.java:821)
    at scala.Console$.println(Console.scala:148)
    at scala.Predef$.println(Predef.scala:315)
    at week4.ExpressionProblem$.main(ExpressionProblem.scala:31)
    at week4.ExpressionProblem.main(ExpressionProblem.scala)

Answer 1

您正在发送Sum 类的实例，但试图匹配Sum 的实例case 类。删除类并使案例类对您的代码可见：

trait Expr {  
  def show(e: Expr): String = e match {
    case Number(a) => a.toString() 
    case Sum(a, b) => "(" + show(a) + "+" + show(b) + ")"
  }

  override def toString() = show(this)
}

case class Number(v : Int) extends Expr
case class Sum(a : Expr, b : Expr) extends Expr

object ExpressionNoProblem {
  def main(args: Array[String]) {
    val p = Sum(Number(3), Number(4))
    println(p)
  }
}