Scala 方法类型和作为参数的方法

Question

在下面的代码示例中，我不明白为什么函数 fun 可以作为参数传递给方法 addAction。方法 fun 的类型为 Unit，而方法 addAction 则需要一个类型为 () =>; 的函数。单位。

如果 fun 的类型为 () =>; Unit，那么当我尝试将 fun 添加到操作列表时，为什么编译器会抱怨 fun 的类型为 Unit : actions = fun :: actions？

package myscala

object MyScala {

  def fun() { println("fun1 executed.") }

  def addAction(a: () => Unit) {
    actions = a :: actions
  }

  var actions: List[() => Unit] = List()

  def main(args: Array[String]) {
    // the following line would produce a compiler error (found: Unit, required: () => Unit), it's OK
    // actions = fun :: actions
    actions = (() => fun) :: actions // OK
    // I would expect the same compiler error here (found: Unit, required: () => Unit), but it's OK why?
    addAction(fun)
    actions.foreach(_()) // prints twice "fun1 executed"
  }
}

Answer 1

以此作为介绍性示例：

def fun() { println("fun1 executed.") }

val a1 = fun
val a2: () => Unit = fun

这两行都可以编译并且（由于类型推断）它们看起来是等效的。然而，a1 的类型为 Unit，而 a2 的类型为 () =>单位...这怎么可能？

由于您没有显式提供 a1 类型，编译器会将 fun 解释为 Unit 类型的方法 fun 调用，因此a1的类型与fun的类型相同。这也意味着该行将打印fun1执行。

但是，a2已经显式声明了() =>;的类型。单位。编译器在这里为您提供帮助，它理解因为上下文需要 () => 类型的函数，所以编译器可以帮助您。 Unit 并且您提供了与该类型匹配的方法，它不应该调用该方法，而应将其视为第一类函数！

您不一定要显式指定 a1 的类型。说：

val a1 = fun _

你现在明白你的问题出在哪里了吗？

Answer 2

在第一种情况下，您需要编写 fun _ 以避免调用该方法并执行 eta 扩展。

这将起作用：

actions = (fun _) :: actions

如果您不这样做，则会评估 fun 。

有关更多详细信息，请参阅 方法值） >Scala 语言参考。

至于为什么在第二种情况下fun没有被计算，这是因为类型推断可以清楚地得出addAction需要一个函数。顺便说一句，fun的类型从技术上讲是()Unit，而不是Unit，即方法类型，而不是值类型。有关详细信息，请参阅参考中的第 3.3.1 节。

Answer 3

方法和功能之间存在差异。在您的情况下 actions 是一个函数列表。当编译器知道需要一个函数时（例如 addAction 的情况），它可以自动将方法 fun 转换为函数。现在 :: 也是一个方法，因此编译器也知道它接受函数作为参数。但问题在于右结合运算符 :: 的语法糖。如果您像方法一样调用它： actions.::(fun) 它将编译（尽管我目前无法测试它）。当编写 fun :: actions 时，编译器认为 fun 是一个表达式，因此对其求值，并且由于它“返回”一个 Unit 你得到了你的编译器错误。

编辑

由于我现在有可能检验我的假设（这是错误的），以下是您的选择：

// Usual syntax
actions.::[() => Unit](fun)
actions.::(fun: () => Unit)
actions.::(fun _)
// Operator syntax
(fun: () => Unit) :: actions
(fun _) :: actions