Scala 模式匹配一​​直说“匹配并不详尽！”

Question

我想利用 Scala 在缺少匹配项时发出的警告（“不详尽”），这样我就不会忘记一个（我有几十个）。下面的简化示例显示了我的尝试：

sealed case class MESSAGE()
class SUCCESS_MESSAGE extends MESSAGE
class FAILURE_MESSAGE extends MESSAGE

def log(str: String, msgType: MESSAGE) {
    msgType match {
        case t:SUCCESS_MESSAGE => println("FAILURE: " + str)
        case t:FAILURE_MESSAGE => println("SUCCESS: " + str)
    }
}

问题是它说“匹配并不详尽！”尽管列出了所有可能的组合。如果我把“case _ =>”在那里，警告的整个要点对我来说是无效的，因为我可以添加

class INFO_MESSAGE extends MESSAGE

并且不会发出警告。

有解决办法吗？

Answer 1

理想情况下，您不应该扩展具体类，尤其是案例类！

鉴于无法自定义 SUCCESS_MESSAGE 和 FAILURE_MESSAGE，您可能还想创建这些单例。

最后，下划线在 Scala 变量或类名中是一件坏事。所有大写的名称也不符合惯用语。所以：

sealed trait Message
case object SuccessMessage extends Message
case object FailureMessage extends Message

def log(str: String, msgType: Message) = msgType match {
  case SuccessMessage => println("Success: " + str)
  case FailureMessage => println("Failure: " + str)
}

或者，我建议这样做，您可以包装实际的消息字符串：

sealed trait Message { def msg: String }
case class Success(msg:String) extends Message
case class Failure(msg:String) extends Message

def log(msg: Message) = msg match {
  case Success(str) => println("Success: " + str)
  case Failure(str) => println("Failure: " + str)
}

Answer 2

您错过了一种情况：消息可能是 MESSAGE 的实例，而不是其子类之一。

如果您想让这种情况成为不可能，您需要将 MESSAGE 抽象化。这将使警告消失。