Scala соответствие шаблону держит слово "матч не исчерпывающий!"

Я хочу использовать предупреждение о том, что 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

и предупреждение не будет выдано.

Есть ли решение?

Ответ 1

В идеале вы не должны расширять конкретный класс, и особенно не класс case!

Учитывая, что нет возможности настраивать SUCCESS_MESSAGE и FAILURE_MESSAGE, вы, вероятно, также захотите сделать эти синглтоны.

Наконец, подчеркивания - это Bad Thing (tm) в именах переменных или классов Scala. Все имена UPPERCASE также не являются идиоматическими. Итак:

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

Ответ 2

Вы пропустили один случай: сообщение может быть экземпляром MESSAGE, а не одним из его подклассов.

Если вы хотите сделать этот случай невозможным, вам нужно сделать MESSAGE abstract. Это заставит предупреждение уйти.