scala - 为什么Scala有时需要在匿名函数中命名的args？

我不明白为什么斯卡拉需要我有时将args命名为anon fns:

scala> case class Person(name: String)
defined class Person

scala> def reverseString(s: String) = s.reverse
reverseString: (s: String)String

scala> val p = Some(Person("foo"))
p: Some[Person] = Some(Person(foo))

scala> p map { reverseString(_.name) }
<console>:12: error: missing parameter type for expanded function ((x$1) => x$1.name)
              p map { reverseString(_.name) }

// why does it only work when I name the argument? I'm not even telling it the type.
scala> p map { p => reverseString(p.name) }
res9: Option[String] = Some(oof)

// and shouldn't this fail too?
scala> p map { _.name.reverse }
res13: Option[String] = Some(oof)

最佳答案

答案在错误消息中，但含糊地如此:

(x$1) => x$1.name

等一下您想要x$1 => reverseString(x$1.name)。

因此，现在您可以确切地知道出了什么问题:它假定函数位于reverseString parens内部(即您想将函数传递给reverseString)。通过显式命名变量，可以向它证明它是错误的。

(之所以发出此消息，是因为一旦假定reverseString应该传递一个函数，它就不知道要使用哪种类型，因为reverseString实际上需要一个字符串而不是一个函数。)