Scala ошибка совпадения

Я попытался заменить мою проверку isInstanceOf совпадением, но она не работает.

В моем методе я делаю чек для дерева node - если это лист - я хочу сразу его вернуть в вектор, если нет - я продолжу этот метод.

Итак, изначально у меня было:

    //code here
    if (common.isInstanceOf[LeafNode]) {
        return Vector(common.asInstanceOf[LeafNode].data)
    }
    //code here

то я попытался заменить его на:

    //code here
     common match {
        case leaf: LeafNode => return Vector(leaf.data)
    }
    //code here

но я получаю scala.MatchError.

Ответ 1

Вы получаете MatchError в случае, если ваш common не является LeafNode. Ваши выражения if и match не эквивалентны. Я думаю, что самый прямой способ сделать их эквивалентными:

common match {
  case leaf: LeafNode => return Vector(leaf.data)
  case _ =>
}

Но я бы рекомендовал посмотреть на весь блок кода, и разработка более функционального способа выполнить эту работу. То есть без return посередине. Помните, что совпадение является выражением, так что возможно что-то подобное:

def foo = {
  //code here
  common match {
    case leaf: LeafNode => Vector(leaf.data)
    case notLeaf: Branch => //code here
  }
}

Ответ 2

Проблема в том, что множество случаев в вашем блоке match не является исчерпывающим; если common ничего, кроме a LeafNode, будет выбрано a MatchError. Вы можете решить эту проблему, если у вас есть такой случай:

common match {
  case leaf: LeafNode => return Vector(leaf.data)
  ... // other cases
  case other => ... // what to do if nothing else matches
}

Это аналогично случаю default в инструкции Java switch. Случай other называется "неопровержимым шаблоном", потому что он не имеет характеристик; он не требует определенного типа или конструктора, поэтому он всегда будет соответствовать всем, что попадает на него. Имя переменной не должно быть other, это может быть все, что угодно, или даже _... на самом деле вам не нужно связывать новую переменную здесь, так как она будет идентична common.

В точке стиля это обычно плохая форма для размещения операторов return внутри блока match; весь блок является выражением, которое оценивает один из его случаев, поэтому просто возвращаем все выражение. Кроме того, вам не нужно использовать ключевое слово return вообще, поскольку в результате будет использовано последнее выражение в определении функции.