当与下划线一起使用时,部分函数应用程序会过早地运行代码块

鉴于:
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
立即评估代码块而不作为函数传递。上述两个陈述有什么区别?     
已邀请:
第一种情况,
save(throw new RuntimeException("boom!")) _ 
根据“Scala Reference”(§6.7),使用尾随下划线代替参数列表,并将表达式转换为
val f: (Boolean) => Unit = save(throw new RuntimeException("boom!"))
其中立即评估
def save
的第一个参数。   如果e,表达式e _是格式良好的   是方法类型或e是a   按名称调用参数。如果e是a   带参数的方法,e _表示   e由eta转换为函数类型   扩张(§6.26.5)。如果e是a   无参数方法或按名称调用   type => T,e _表示的参数   type()=> 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!"))(_)
    
eta扩展下的call-by-name参数的行为目前正在审核中,请参阅此错误。您的代码按预期工作(即,行
save(throw new RuntimeException("boom!")) _
返回一个函数而不抛出异常),最近的每晚构建版本为2.10。让我们看看它是否会一直存在! 另请参阅此问题以获取有关eta扩展的一般情况的相关问题,该问题不涉及名称调用。     

要回复问题请先登录注册