У Скалы есть охрана?

Question

Я начал изучать scala несколько дней назад, и, изучая его, я сравниваю его с другими функциональными языками программирования, такими как ( Haskell, Erlang), с которыми я немного знаком. У Scala есть защитные последовательности?

Я прошел через сопоставление с образцом в Scala, но есть ли концепция, эквивалентная охранникам с otherwise и все?

Answer 1

Да, он использует ключевое слово if, Из раздела " Классы кейсов " в туре по Скала, внизу:

def isIdentityFun(term: Term): Boolean = term match {
  case Fun(x, Var(y)) if x == y => true
  case _ => false
}

(Это не упомянуто на странице сопоставления с образцом, возможно, потому что тур - это такой краткий обзор.)

---

В Хаскеле otherwise на самом деле просто переменная, связанная с True, Так что это не добавляет никакой силы концепции сопоставления с образцом. Вы можете получить его, просто повторив свой первоначальный шаблон без охраны:

// if this is your guarded match
  case Fun(x, Var(y)) if x == y => true
// and this is your 'otherwise' match
  case Fun(x, Var(y)) if true => false
// you could just write this:
  case Fun(x, Var(y)) => false

Answer 2

Да, есть охранники. Они используются так:

def boundedInt(min:Int, max: Int): Int => Int = {
  case n if n>max => max
  case n if n<min => min
  case n => n
}

Обратите внимание, что вместо otherwise-потом, вы просто указываете шаблон без охраны.

Answer 3

Простой ответ - нет. Это не совсем то, что вы ищете (точное соответствие синтаксису Haskell). Вы бы использовали выражение "совпадение" в Scala с охранником и указали бы подстановочный знак, например:

num match {
    case 0 => "Zero"
    case n if n > -1 =>"Positive number"
    case _ => "Negative number"
}

Answer 4

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

def func(x: Int, y: Int): String = (x, y) match {
  case (_, 0) | (0, _)  => "Zero"
  case (x, _) if x > -1 => "Positive number"
  case (_, y) if y <  0 => "Negative number"
  case (_, _) => "Could not classify"
}

println(func(10,-1))
println(func(-10,1))
println(func(-10,0))