为什么以及何时需要在方法名称后面加上 _？

Question

对于将_ 用作函数的方法之后何时需要_ 的规则，我有点不确定。比如下面的Foo和Nil的::为什么会有区别？

def square(n: Int) = n * n  
object Foo { def ::(f: Int => Int) = f(42) }

// ...

scala> Foo.::(square)
res2: Int = 1764

scala> Nil.::(square) 
<console>:6: error: missing arguments for method square in object $iw;
follow this method with `_' if you want to treat it as a partially applied function
   Nil.::(square)
          ^
scala> Nil.::(square _) 
res3: List[(Int) => Int] = List(<function1>)

Answer 1

当你在一个部分应用的函数表达式中省略所有参数时，你需要在它后面加上_ 除非编译器需要一个函数类型在你用它。

当您在 Foo 上调用方法 :: 时，编译器期望参数类型为 Int => Int。因此，您可以放心地省略该位置square 之后的下划线。

但是，Nil 上的 :: 方法可以采用 any 类型的参数。因此，与其假设您打算部分应用该功能，它会抱怨，除非您通过添加 _ 使其绝对明确。

所以这些是规则...我无法真正启发您为什么这些是规则；也许对编译器、类型系统和语言设计有更好了解的其他人将能够告诉你原因。但我认为，如果没有这些规则，在许多地方会有意外模棱两可的危险。