scala - Scala 中的密封类

Question

下面是我的代码片段:

sealed abstract class Expr
case class Var(name: String) extends Expr
case class Number(num: Double) extends Expr
case class UnOp(operator: String, arg: Expr) extends Expr
case class BinOp(operator: String, left: Expr, right: Expr) extends Expr

object CaseClassTest extends App {
    def simplifyExp(xs: Expr): Expr = xs match {
      case UnOp("-",UnOp("-", x)) => x
      case BinOp("+",x,Number(0)) => x
      case BinOp("*",x,Number(1)) => x
    }

    def describe(e: Expr): String = e match {
      case Number(_) => "Number"
      case Var(_) => "Var"
    } 
}

现在 describe 方法中发生了什么，我收到一条警告，指出“匹配可能并不详尽。它会在以下输入上失败:BinOp(_, _, ), UnOp(, _)”。它看起来非常适合我，因为我没有考虑其他测试用例，如 BinOp、UnOp。完美

但我的问题是为什么 def simplifyExp(xs: Expr): Expr 没有出现相同的警告？有什么我想念的吗？谢谢

Answer 1

在 simplifyExp 的情况下，您使用提取器组合，我认为编译器不够智能，无法检测到问题。

很明显，以下代码在运行时失败并出现 MatchError

CaseClassTest.simplifyExp(Var("toto"))