Какая польза от yield в Scala по карте?
В приведенном ниже коде val_1 и val_2 возвращают те же значения.
val lst = List("abc","def","ghi", "jkl")
val indexes = List(1,2,3)
val val_1 = for (index:Int <- indexes) yield lst(index)
val val_2 = indexes.map(index => lst(index))
Выход
val_1: List[String] = List(def, ghi, jkl)
val_2: List[String] = List(def, ghi, jkl)
если карта может делать то, что нам нужно, зачем нужен урожай? Есть ли другие варианты использования урожай?
Ответы 2
for (index:Int <- indexes) yield lst(index)
Это для понимания. Этот конкретный пример - простейшая форма использования this. И это эквивалент List.map.
Согласно FAQ / доходность
Scala’s “for comprehensions” are equivalent to Haskell’s “do” notation, and it is nothing more than a syntactic sugar for composition of multiple monadic operations.
Это другое?
Scala’s “for comprehensions” are syntactic sugar for composition of multiple operations with
foreach,map,flatMap,filterorwithFilter
Почему?
When you look at very simple for comprehensions, the map/foreach alternatives look, indeed, better. Once you start composing them, though, you can easily get lost in parenthesis and nesting levels. When that happens, for comprehensions are usually much clearer.
использование for...yield - это просто альтернативный синтаксис для вызова карты. Мы можем увидеть, как компилятор обессахаривает для понимания, скомпилировав ваш код с флагом компилятора -Xprint:parse.
val lst = List("abc", "def", "ghi", "jkl");
val indexes = List(1, 2, 3);
val val_1 = indexes.withFilter(((check$ifrefutable$1) => check$ifrefutable$1: @scala.unchecked match {
case (index @ (_: Int)) => true
case _ => false
})).map(((index: Int) => lst(index)));
val val_2 = indexes.map(((index) => lst(index)));
Как видите, код for, который вы использовали для val_1, в конечном итоге является вызовом .map(((index: Int) => lst(index))), так же, как код для val_2.
Часть withFilter связана с тем, что index:Int <- indexes вызывает совпадение с шаблоном, поскольку здесь вы объявляете, что индекс должен быть Int. Если мы удалим аннотацию типа, чтобы строка была просто val val_1 = for (index <- indexes) yield lst(index), и перекомпилируем, вы получите следующий результат.
val lst = List("abc", "def", "ghi", "jkl");
val indexes = List(1, 2, 3);
val val_1 = indexes.map(((index) => lst(index)));
val val_2 = indexes.map(((index) => lst(index)));
Теперь очевидно, что и for, и явный map идентичны после компиляции.
Понимание
forсyieldне просто действует какmap, это фактически является вызовmap. Компилятор переводит одно в другое. Так почему оба? Потому что пониманиеforс несколькими генераторами (часть<-) обычно намного легче читать и понимать, чем переводmap-flatMap-withFilter.