Я обнаружил, что Scala всегда имеет "естественное объяснение" ко всему. Всегда что-то вроде "ohh, но это только функция, вызываемая этим и этим объектом с этим и этим параметром". В некотором смысле, ничто на самом деле не является компилятором, поскольку мы знаем это с других языков.
Мой вопрос касается оператора < -, который используется в следующем коде:
for(i <- 0 to 10) println(i)
В этом примере я вижу, что он переписывается на что-то вроде:
0.to(10).foreach((i:Int)=>println(i))
но это не объясняет, как i попал в анонимную функцию внутри функции foreach. В точке, где вы пишете i, это не объект и еще не объявленная переменная. Итак, что это такое и как оно переносится внутрь foreach?
Я предполагаю, что я наконец обнаружил что-то, что на самом деле является манерой компилятора
Спасибо за ваше время.
Чтобы уточнить, мой вопрос: каким образом оператор < - работает в 1-й строке кода, так как я не является объектом, на котором он может быть вызван как функция.
<- является языковым символом ключевого слова, как и =>, но в отличие от -> (который является определенным символом). Поскольку он является частью основной грамматики Scala, его можно использовать для создания привязок (для i в вашем примере), что не может быть сделано пользовательскими конструкциями.
Чтобы увеличить ответ Дэйва, вот схема перевода для "понятий" из спецификации языка Scala:
Понимание
for (enums) yield eоценивает выражениеeдля каждой привязки, сгенерированной перечислениями перечислений. Последовательность счетчика всегда начинается с генератора; за этим могут следовать дополнительные генераторы, определения значений или защитные меры.Генератор
p <- eсоздает привязки из выраженияe, которое каким-то образом сопоставляется с шаблономp. Определение значенияval p = eсвязывает имя значенияp(или несколько имен в шаблонеp) с результатом вычисления выраженияe. Защитникif eсодержит логическое выражение, которое ограничивает перечисляемые привязки.Точный смысл генераторов и охранников определяется переводом на вызовы из четырех методов:
map,filter,flatMapиforeach. Эти методы могут быть реализованы различными способами для разных типов несущих.Схема перевода следующая. На первом шаге каждый генератор
p <- e, где p не является неопровержимым (§8.1) для типаeзаменяется наp <- e.filter { case p => true; case _ => false }Затем следующие правила применяются повторно, пока не будут выполнены все устранены.
Для понимания
for (p <- e) yield e0переводится наe.map { case p => e0 }.Для понимания
for (p <- e) e0переведено наe.foreach { case p => e0 }.Для понимания
for (p <- e; p0 <- e0 . . .) yield e00, где., (возможно, пустая) последовательность генераторов или охранников, переведена to:e.flatMap { case p => for (p0 <- e0 . . .) yield e00 }.Для понимания
for (p <- e; p0 <- e0 . . .) e00где., (возможно пустая) последовательность генераторов или охранников, переводится на:e.foreach { case p => for (p0 <- e0 . . .) e00 }.Генератор
p <- e, за которым следует охранникif g, переводится в один генератор:p <- e.filter((x1, . . . , xn) => g )гдеx1,.,,xn- свободные переменныеp.Генератор
p <- e, за которым следует определение значенияval p0 = e0, переводится к следующему генератору пар значений, гдеxиx0- новые имена:val (p, p0) <- for([email protected] <- e) yield { val [email protected] = e0; (x, x0) }
В этом случае, это действительно немного магии компилятора. Перевод из for-assrehension в формат filter/map/flatmap - это особый бит desugaring, подобно преобразованию специальных форм обновления и методов применения.