scala - "unbound placeholder parameter"的解释

Question

问题

为什么情况 2 会导致“未绑定(bind)占位符参数”，而情况 1 却可以？

案例1

val h: (Int => Int) = (x:Int) => { scala.util.Random.nextInt(x) }
val _h: (Int => Int) = { scala.util.Random.nextInt(_) }
h(5)     // 3
_h(5)    // 3

案例2

val f: (Int => Int) = (x:Int) => { x }
f(5)     // 5
// Causes error
val _f: (Int => Int) = { _ }   <----- unbound placeholder parameter

Answer 1

_永远不会被解释为 x => x在 Scala 中。

如果我理解language spec的部分它正确谈论“绑定(bind)下划线部分”，这正是因为 Scala 保留 _对于部分应用。就像 scala.util.Random.nextInt(_) 的情况一样这意味着x => nextInt(x)而不是nextInt(x => x) .