给定
scala> def method(x: Int) = x
method: (x: Int)Int
scala> val func = (x: Int) => x
func: Int => Int = <function1>
考虑以下代码：
scala> method _
res0: Int => Int = <function1>
scala> func(_)
res1: Int => Int = <function1>
scala> func _
res2: () => Int => Int = <function0>
我可以理解res0是eta扩展，res1等价于lambda函数(x) => func(x)。但我无法弄清楚res2 的输出。谁能帮我解释一下？
【问题讨论】：
标签： scala
这实际上有点棘手。首先，让我们看看 REPL 之外发生了什么：
当func 是局部变量时，它不起作用：
object Main extends App {
def foo() = {
val f = (_: Int) + 1
f _
}
println(foo())
}
[error] /tmp/rendereraEZGWf9f1Q/src/main/scala/test.scala:8: _ must follow method; cannot follow Int => Int
[error] f _
[error] ^
但是如果你把它放在def foo之外，它会编译：
object Main extends App {
val f = (_: Int) + 1
val f1 = f _
println(f1)
}
因为f 既是Main 的一个字段，又是一个不带参数的方法，它返回该字段的值。
最后一点是 REPL 将每一行包装成一个对象（因为 Scala 不允许代码出现在 trait/class/object 之外），所以
scala> val func = (x: Int) => x
func: Int => Int = <function1>
真的很像
object Line1 {
val func = (x: Int) => x
}
import Line1._
// print result
所以下一行的func 指的是Line1.func，这是一种方法，因此可以进行 eta 扩展。
【讨论】：
e 是方法类型或e 是按名称调用参数，则表达式e _ 是格式良好的。”而f 肯定不是一个别名参数。
您已使用 eta 扩展将 res2 转换为接受 0 个参数的函数并返回一个接受单个参数的函数。
res2: () => Int => Int = <function0>
所以你现在可以这样做了：
val zero = func _
val f: Int => Int = zero()
【讨论】：
val x = (a: Int) => a this：val y = x _ 可以顺利运行并返回一个Function0。
要回答您关于 res2 的问题 - 附加的下划线 _ 语法用于部分应用函数。
所以。
scala> func _
表示您已部分应用您的<function1>。
这导致了一个新的柯里化形式，它的第一个函数接受零参数（因此<function0>）
() =>
返回你原来的<function1>，它需要1个参数。
Int => Int = <function1>
完整的结果是函数链。
res2: () => Int => Int = <function0>
可能对您有用的规则是函数关联到右侧，因此以下是等价的。
() => Int => Int
() => (Int => Int)
This other post 可能对你有用。
【讨论】：
val func1 = func _
这将返回一个不带参数的 function0，并返回 func 函数。
你可以这样使用：
func1()(2) // outputs 2
你可以无限地继续做这种扩展广告：
val func2 = func1 _
func2()()(2) // outputs 2
【讨论】：