11

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

() => Any

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

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

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

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

我得出结论，柯里化过程的某些部分是引用第一个参数列表并触发其评估。任何人都可以确认和/或解释为什么或是否有任何关于使用具有多个参数列表的名称参数的指南？

4

2 回答 2

3

这对我来说似乎是一个错误。我可以在 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
于 2012-11-06T09:03:04.040 回答
2

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

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

或者正如奥德斯基所说：

不，这就是 eta 扩展的定义方式。你不只是在表达式周围包裹一个 lambda，你首先评估你能做的。

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

于 2012-11-06T09:30:42.970 回答