Сопоставление образцов с соединениями (PatternA AND PatternB) - PullRequest
Новая
       11

Сопоставление образцов с соединениями (PatternA AND PatternB)

60 голосов
/ 14 февраля 2010

В Scala есть языковая функция для поддержки различий в сопоставлении с образцом ('Альтернативы шаблону'): 

x match {
    case _: String | _: Int => 
    case _ =>
}

Однако мне часто нужно инициировать действие, если проверка удовлетворяет требованиям PatternA и PatternB (соединение.)

Я создал комбинатор шаблонов '&&', который добавляет эту возможность. Три маленькие строчки, которые напоминают мне, почему я люблю Scala! 

// Splitter to apply two pattern matches on the same scrutiny.
object && {
  def unapply[A](a: A) = Some((a, a))
}

// Extractor object matching first character.
object StartsWith {
  def unapply(s: String) = s.headOption
}

// Extractor object matching last character.
object EndsWith {
  def unapply(s: String) = s.reverse.headOption
}

// Extractor object matching length.
object Length {
  def unapply(s: String) = Some(s.length)
}

"foo" match {
  case StartsWith('f') && EndsWith('f') => "f.*f"
  case StartsWith('f') && EndsWith(e) && Length(3) if "aeiou".contains(e) => "f..[aeiou]"
  case _ => "_"
}

Баллы за обсуждение

  1. Существует ли способ сделать это?
  2. Есть ли проблемы с этим подходом?
  3. Может ли этот подход создать другие полезные комбинаторы? (например, Not)
  4. Должен ли такой комбинатор быть добавлен в стандартную библиотеку?

UPDATE Меня только что спросили, как компилятор интерпретирует case A && B && C. Это шаблоны инфиксных операторов (Раздел 8.1.9 Справочника Scala). Вы также можете выразить это с помощью стандартных шаблонов извлечения (8.1.7) как &&(&&(A, B), C).' Notice how the expressions are associated left to right, as per normal infix operator method calls like Boolean # && in val b = true && false && true`.

Ответы [ 2 ]

13 голосов
/ 15 февраля 2010

Мне очень нравится этот трюк. Я не знаю ни одного существующего способа сделать это, и я не предвижу никаких проблем с этим - хотя это не много значит. Я не могу придумать способ создать Not.

Что касается добавления его в стандартную библиотеку ... возможно. Но я думаю, что это немного сложно. С другой стороны, как насчет того, чтобы побудить людей Скалаза включить это? Это больше похоже на их собственный бейливик.

11 голосов
/ 15 февраля 2010

Возможная проблема с этим - раздутый перевод, который генерирует сопоставитель шаблонов. Вот перевод примера программы, сгенерированный с помощью scalac -print. Даже -optimise не может упростить выражения if (true) "_" else throw new MatchError().

Большие совпадения с образцами уже генерируют больше байт-кода, чем допустимо для одного метода, и использование этого комбинатора может усилить эту проблему.

Если бы && был встроен в язык, возможно, перевод мог бы быть умнее. Кроме того, небольшие улучшения -optimise могут помочь.

...