Блог

У меня есть следующее действие

 def login: Result = Action(parse.json) { request =>
  if (/* Let's we say here is some validation */) {
    return BadRequest("bad")
  }

  Ok("all ok")
}
 

Это выдает мне Ошибку. Intellij предлагает Action[JsValue] тип. Когда я говорю, что возврат будет такого типа, я снова получаю сообщение об ошибке в BadRequest строке, потому что типы не совпадают.

Я попытался найти информацию об этой проблеме, и я нашел несколько ответов, которые предлагают установить Action[AnyContent] в качестве возвращаемого типа. Но я ВСЕ ЕЩЕ получаю ошибку.

Кроме того , мне нужно вернуться из if …Я не хочу писать else после этого if , потому что в какой-то более сложной функции, скорее всего, у меня будет несколько if операторов, которые должны прервать действие, и если я использую if/else подход, код станет кошмаром.

Вы не можете использовать return в этом контексте, потому что компилятор Scala неверно истолковывает то, что вы имеете в виду return . Вы намеревались return вернуть из функции, в которую передается Action.apply , то есть из этого блока:

 { request =>
  if (/* Let's we say here is some validation */) {
    return BadRequest("bad")
  }

  Ok("all ok")
}
 

Однако в Scala return нельзя использовать return функции from, только методы. Любой return интерпретируется как возврат из ближайшего окружающего метода. В этом случае компилятор думал, что вы возвращаетесь из login .

У вас включен неправильный тип login . login должно быть a Action[JsValue] . С этим правильным типом компилятор будет жаловаться на возврат, потому что вы возвращаете a SimpleResult вместо ожидаемого Action[JsValue] . При неправильном типе Result компилятор принимает return , но затем не доволен, потому что возвращаемое значение Action.apply всегда является типом Action .

Причина return , по которой это работает, заключается в поддержке циклов, таких как:

 def allPositive(l: List[Int]): Boolean = {
  l.foreach { x => if (x < 0) return false }
  true
}
 

Но использование return является однообразным. return В приведенном выше цикле реализовано исключение, поэтому оно неэффективно. И return может привести к очень запутанному коду:

 def login: Result = Action(parse.json) { request =>
  /*
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL with return  OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE WALL OF CODE
  */

  Ok("all ok")
}
 

Очевидно, что это login всегда возвращается Ok . О, подождите … там return похоронен.

Конечно, это так. В Scala оператор «return» внутри вложенной анонимной функции реализуется путем выдвижения и перехвата NonLocalReturnException. Так сказано в спецификации языка Scala, раздел 6.20.

Это сделано из-за понимания, чтобы люди могли писать такой код:

 def loop() = {
  for (i <- 0 until 20) {
    if (someCondition) return
  }
}
 

Этот цикл на самом деле эквивалентен:

 (0 until 20).foreach { i => if (someCondition) return }
 

Вы видите анонимную функцию? Можете ли вы видеть, что рассматриваемый «возврат» не относится к возврату только из этой анонимной функции? На мой взгляд, это была дизайнерская ошибка. С другой стороны, на таком языке, как Scala, «возврат» в любом случае не нужен.

Итак, у вас есть анонимная функция:

 Action(parse.json) { request => ... this one here ... }
 

И внутри этой функции вы используете «return», который под капотом вызывает исключение.

Итак, общее эмпирическое правило в Scala — НИКОГДА, НИКОГДА НЕ ИСПОЛЬЗУЙТЕ RETURN . В любом случае, это язык, ориентированный на выражения. Вам это не нужно.

 Action(parse.json) { request =>
  if (/* Let's we say here is some validation */) 
    BadRequest("bad")
  else
    Ok("all ok")
}
 

Там гораздо больше идиоматики. КСТАТИ, у вас также нет «break» или «continue». Привыкайте работать без них. Кроме того, о вашем мнении:

Кроме того, МНЕ НУЖНО вернуться из if…Я не хочу писать else после этого if, потому что в какой-то более сложной функции, скорее всего, у меня будет несколько операторов if, которые должны прервать действие, и если я использую подход if / else, код будет кошмаром.

Это неправильно, и я ДЕЙСТВИТЕЛЬНО НЕНАВИЖУ работать с кодом, который полагается на return, break или continue для короткого замыкания логики ИМЕННО потому, что сложная логика запутывается, и я хочу иметь четкое представление о:

1. инварианты, если мы говорим о цикле
2. условия выхода
3. ветви / пути

Использование return, break или continue разрушает ясность по всем 3 пунктам. Они не намного лучше, чем прыжки ГОТО. И если у вас есть сложные функции, разбейте их на несколько функций, если чтение этого начнет становиться проблемой.

Кроме того, гораздо лучше, чем несколько ветвей «if / else», являются операторы «match». Как только вы привыкнете к ним, они вам понравятся, особенно учитывая, что компилятор может даже защитить вас в некоторых случаях, когда вы пропускаете ветку.