Возьмем следующую функцию:
def fMatch(s: String) = {
s match {
case "a" => println("It was a")
case _ => println("It was something else")
}
}
Этот шаблон хорошо сочетается:
scala> fMatch("a")
It was a
scala> fMatch("b")
It was something else
Что я хотел бы сделать, так это следующее:
def mMatch(s: String) = {
val target: String = "a"
s match {
case target => println("It was" + target)
case _ => println("It was something else")
}
}
Это дает следующую ошибку:
fMatch: (s: String)Unit
<console>:12: error: unreachable code
case _ => println("It was something else")
Я предполагаю, что это потому, что он думает, что цель - это на самом деле имя, которое вы хотели бы присвоить любому входу. Два вопроса:
Почему такое поведение? Разве нельзя просто искать существующие переменные в области видимости, которые имеют соответствующий тип, и использовать их в первую очередь, а если ни одна не найдена, то рассматривать цель как имя для сопоставления с образцом?
Есть ли обходной путь для этого? Есть ли способ сопоставить шаблон с переменными? В конечном итоге можно использовать большой оператор if, но регистр совпадений более элегантен.