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

Question

在Scala(2.9.2)中,我试图创建一个在访问时提供其他值的函数

() => Any

我以为我通过名字/ currying解决方案成功地做到了这一点:

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