Scala中的println _：为什么type（）=> Unit而不是（Any）=> Unit？

Question

例如，我想将函数println赋值给变量k

scala> val k = println _
k: () => Unit = <function0>

我希望k的类型是(Any) => Unit但它的实际类型是() => Unit 。 当我用argumnent调用k时，它有一个错误：

scala> k(3)
<console>:9: error: too many arguments for method apply: ()Unit in trait Function0
              k(3)
               ^

但是，使用该参数调用printlin效果很好：

scala> println(3)
3

有没有人有关于将函数对象println赋值给变量的想法？

Answer 1

println _是type () => Unit的原因是因为存在一个不带任何参数的println的重载定义（ source ）：

def println() = Console.println()

为了使用带参数的println ，您必须明确告诉编译器选择它：

scala> val k = println(_: Any)
k: Any => Unit = <function1>

scala> k(3)
3

另一种解决方案是使用类型归属：

scala> val k: Any => Unit = println
k: Any => Unit = <function1>

scala> k(3)
3