Scala函数文字中=>（向右双箭头）运算符的链接是什么意思？

Question

像这样的代码中=>运算符的链接是什么意思：

val a = Array("I", "love", "Scala Johnson")
a.foreach {
    x => y: String => println(x)
}

它什么也没打印出来。

所以发生了什么事？ x是否在编译中丢失？

如果我从y参数中删除了String类型声明：

x => y => println(x)

我收到"missing parameter type"编译错误。

然后我做了一个实验：

val hotFunc: Int => Int => Unit = x => y => println(x * y)
hotFunc(2)(11)

它打印了22 。

那么， =>的链接是否意味着currying？

更新：

第三种情况：

def readFile[T](f: File)(handler: FileInputStream => T): T = {
    val resource = new java.io.FileInputStream(f)
    try {
        handler(resource)
    } finally {
        resource.close()
    }
}

val bs = new Array[Byte](4)

readFile(new File("Slurp.scala")) {
    input => b: Byte => println("Read: " + (input.read(bs) + b))
}

与第一个示例相同，什么也不打印。

Answer 1

该=>是右结合的，所以在你的第一个例子中，你正在呼吁与值的函数a ，它会返回一个函数String=>Unit （但从来没有被抓住，获得隐式转换为Unit ，因为foreach ）。 用括号可能会更清楚：

x => ((y: String) => println(x))

变成了

x => ((y: String) => println(x); ())

在foreach ，因为它期望T => Unit 。

=> （不带括号）的链接有点麻烦，是的。