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. Это заставит предупреждение уйти.
