Scala 编译器报告闭包类型不匹配

Question

我的代码如下：

test("temp") {
    def greeting(func: (String) => Unit, name: String) {
        func(name)
    }

    // Success
    greeting(println(_), "Hello")
    greeting( { case _ => println("" + `_`) },  "Hello")

    // Failed
    greeting(println("" + _), "Hello")
    greeting(println("a"), "Hello")
}

错误信息是：

Error:(52, 29) type mismatch;
     found   : Unit
     required: String => Unit
        greeting(println("" + _), "Hello")

Error:(53, 29) type mismatch;
     found   : Unit
     required: String => Unit
        greeting(println("a"), "Hello")
                        ^

我不是很明白。 println("" + _) 和 (String) => Unit 有什么区别？为什么 println("a") 没有被视为 (String) => Unit 而 println(_) 呢？

Answer 1

声明 1

greeting(println(_), "Hello") // placeholder syntax

上面是一种叫做placeholder syntax的函数字面量的缩写形式。它的扩展如下：

greeting(x => println(x), "Hello")

声明 2

greeting( { case _ => println("" + `_`) },  "Hello") // wildcard pattern

case _ 是通配符模式。您不能再次使用_。如果你想使用case子句，你应该使用变量匹配：

greeting( { case x => println("" + x) },  "Hello")

声明 3 和 4

greeting(println("" + _), "Hello")
greeting(println("a"), "Hello")

注意"" + _ 中的println("" + _)，本身就是一个匿名函数。所以println("" + _)被认为是一个表达式。

编译器将println("" + _) 和println("a") 都视为表达式，而不是作为参数传递的函数文字。所以它首先尝试评估println("" + _) 和println("a")，然后将结果（Unit）传递给greeting，因此编译错误。