无法理解 Scala 的类型推断

Question

我正在经历使用 Scala 学习并发 它有以下一段代码。

package week_parallel.week1.SC_Book

import scala.collection.mutable

object SyncPoolArgs extends App {
  private val tasks = mutable.Queue[() => Unit]()
  object Worker extends Thread {
    setDaemon(true)
    def poll() = tasks.synchronized {
      while (tasks.isEmpty) tasks.wait()
      tasks.dequeue()
    }
    override def run() = while (true) {
      val task = poll()
      task()
    }
  }
  Worker.start()
  def asynchronous(body: =>Unit) = tasks.synchronized {
    tasks.enqueue(() => body)
    tasks.notify()
  }

  def sum(x: Int, y:Int) = {println("USING SUM")
    x+y}

  asynchronous { log("Hello ") }
  asynchronous { log("World!") }
  asynchronous { sum(4,5) }
  Thread.sleep(500)
}

所以，我的问题是，如果我们有不带参数且不返回任何内容的函数类型的任务，为什么tasks.enqueue(() => body) 将 sum 放入队列中，它不应该在 sum 的情况下检查 body 方法签名是否错误.

另外，我特别无法理解tasks.enqueue(() => body) 是如何限制在private val tasks = mutable.Queue[() => Unit]() 类型的？

Answer 1

我想你可能对声明感到困惑

body: => Unit

这意味着body 是pass-by-name 类型的Unit 参数。这不意味着body 是一个返回Unit 的函数，即body: () => Unit。

“按名称传递”表示传递给body 的表达式在需要该值之前不会被计算。当它被评估时，它将返回Unit。

由于body 是Unit 类型，所以表达式() => body 具有() => Unit 类型，这是必需的。

在这种情况下，body 的实际值为sum(4,5)，即Int 类型，但Int 与Unit 兼容，因此没有错误。