具有多个参数列表和柯里化(Currying)的 Scala 按名称参数

Question

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

() => Any

我以为我通过名称/柯里化(Currying)解决方案成功地做到了这一点:

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

所以我的持有人是正确的类型。但是我发现在创建这个 curried 函数的过程中，按名称参数被评估。如果我执行以下操作，它会按预期工作:

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