Частичное применение функции преждевременно работает кодоблок при использовании подчеркивание

Question

Дано:

def save(f: => Any)(run:Boolean) { if (run) { println("running f"); f } else println("not running f") } 

Я могу назвать его:

save("test")(true) -> running f 
save("test")(false) -> not running f 
save(throw new RuntimeException("boom!"))(false) -> not running f 
save(throw new RuntimeException("boom!"))(true) -> running f and then exception thrown 

Вот любопытное поведение с частичным применением:

save(throw new RuntimeException("boom!"))(_) -> (Boolean) => Unit = <function1> //as expected 
save(throw new RuntimeException("boom!")) _ -> exception thrown 

Кодовый блок сразу оценивается без передачи в качестве функции. В чем разница между вышеуказанными 2 заявлениями?

Answer 1

Первый случай,

save(throw new RuntimeException("boom!")) _ 

В соответствии с "Scala Reference" (§6.7), задний подчеркивание используется вместо списка аргументов, и выражение преобразуется в

val f: (Boolean) => Unit = save(throw new RuntimeException("boom!")) 

где первый аргумент def save немедленно оценивается.

Выражение е _ хорошо сформированным, если е имеет тип метода или если е является вызова по имени параметра. Если e - это метод с параметрами, то e_ представляет e, преобразованный в тип функции с помощью расширения eta (§6.26.5). Если e - это безпараметрический метод или позывной по имени параметр type => T, e_ представляет функцию типа() => T, которая оценивает e, когда она применяется к пустым параметрическим спискам () ,

Чтобы сделать вещи работать, как вы ожидаете, некоторые изменения необходимы:

scala> def save(f:() => Any)(run:Boolean) { if (run) { println("running f"); f() } else println("not running f") } 
save: (f:() => Any)(run: Boolean)Unit 

scala> val f = save(() => throw new RuntimeException("boom!")) _ 
f: (Boolean) => Unit = <function1> 

scala> f(true) 
running f 
java.lang.RuntimeException: boom! 
     at $anonfun$1.apply(<console>:6) 

Второй случай,

save(throw new RuntimeException("boom!"))(_) 

Согласно "Scala Reference" (§6.23), когда заполнитель используется в качестве замены аргумента, выражение преобразуется в

val f: (Boolean) => Unit = save(throw new RuntimeException("boom!"))(_) 

Answer 2

В настоящее время рассматривается поведение параметров по одному имени при расширении eta, см. this bug. Ваш код работает так, как вы ожидаете (т. Е. Строка save(throw new RuntimeException("boom!")) _ возвращает функцию без исключения) с недавними ночными сборками в 2.10. Посмотрим, останется ли он до выпуска!

См. Также this question относительно связанного вопроса в общем случае расширения eta, не включающего вызов по имени.