Типы методов и методы Scala как параметры

В следующем примере кода я не понимаю, почему функция fun может быть передана в качестве аргумента методу addAction . Метод fun имеет тип Unit , тогда как метод addAction ожидает функцию типа () => Unit .

Если fun имеет тип () => Unit , то почему компилятор жалуется, что fun имеет тип Unit , когда я пытаюсь добавить fun в список действий: 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"
  }
}
6
задан Philippe 7 October 2011 в 18:28
поделиться