Question

在Scala（2.9.2）中，我试图创建一个在访问时提供其他值的函数

() => Any

我以为我是通过名字/讨论解决方案成功地做到了这一点：

def byName(theValue : => Any)() : Any = theValue
val myHolder = byName(myValue)_

所以我的持有人的类型正确。但是我发现在创建这个curried函数的过程中，将评估by name参数。如果我执行以下操作而不是按预期工作：

def byName(theValue : => Any) : Any = () => theValue
val myHolder = byName(myValue)

我总结一下currying过程的一部分是引用第一个参数列表并触发其评估。任何人都可以确认和/或解释为什么或是否有关于使用多个参数列表的名称参数的指导原则？

Answer 1

这对我来说似乎是个错误。我可以在scala 2.9.1中触发这种奇怪的行为，但不会在scala 2.10 RC1中触发，所以我想这在某些时候已得到修复。

在scala 2.9.1中：

Welcome to Scala version 2.9.1.final (Java HotSpot(TM) Client VM, Java 1.6.0_27).
Type in expressions to have them evaluated.
Type :help for more information.
scala> def byName(theValue : => Any)() : Any = theValue
byName: (theValue: => Any)()Any
scala> def myValue: String = { println("Computing myValue"); "hello" }
myValue: String
scala> val myHolder = byName(myValue)_
Computing myValue
myHolder: () => Any = <function0>
scala> myHolder()
res0: Any = hello

在scala 2.10-RC1中：

Welcome to Scala version 2.10.0-RC1 (Java HotSpot(TM) Client VM, Java 1.6.0_27).
Type in expressions to have them evaluated.
Type :help for more information.

scala> def byName(theValue : => Any)() : Any = theValue
byName: (theValue: => Any)()Any
scala> def myValue: String = { println("Computing myValue"); "hello" }
myValue: String
scala> val myHolder = byName(myValue)_
myHolder: () => Any = <function0>
scala> myHolder()
Computing myValue
res0: Any = hello

Answer 2

问题是 https://issues.scala-lang.org/browse/SI-302 和 https://issues.scala-lang.org/browse/SI-5610

就个人而言，我发现现在的“旧”行为更直观：部分应用意味着应用了某些东西。

或者正如奥德斯基所说：

不，这就是如何定义eta扩展。你不只是包裹一个lambda 围绕表达式，您可以先评估一下。

但相反，强制评估比设计暂停语法更容易。

Scala通过名称参数与多个参数列表和currying

2 个答案: