func(_)与func _的区别

Question

有人能告诉我在Scala中func _和func(_)的区别吗？我不得不重写这个方法：

def validations: List[ValueType => List[FieldError]] = Nil

如果我用以下命令覆盖它：

val email = new EmailField(this, 255){
  override def validations = valUnique _ :: Nil
  private def valUnique(email: String): List[FieldError] = {
    Nil
  }
}

这是可以的，但是如果我用以下命令覆盖它：

val email = new EmailField(this, 255){
  override def validations = valUnique(_) :: Nil
  private def valUnique(email: String): List[FieldError] = {
    Nil
  }
}

这是不好的。有谁能解释一下原因吗？非常感谢。

Answer 1

如果你是这样写的：

override def validations: List[ValueType => List[FieldError]] = valUnique(_) :: Nil

我敢肯定它会告诉你你得到的是一个String => List[List[FieldError]]而不是所需的类型。当使用下划线代替参数时(而不是作为表达式的一部分)，它将扩展为紧跟外部作用域中的函数。具体来说，

valUnique(_) :: Nil  // is translated into
x => valUnique(x) :: Nil

(valUnique(_)) :: Nil  // would be translated into
(x => valUnique(x)) :: Nil  // which would be correct

另一方面，valUnique _只是说“获取此方法并将其转换为函数”，因此

valUnique _ :: Nil  // gets translated into
(x => valUnique(x)) :: Nil

Answer 2

在以下情况下：

valUnique _

您部分地应用了valUnique方法，导致它被装箱为函数。

另一方面：

valUnique(_)

为调用valUnique方法指定占位符，这通常是为了将匿名函数传递给其他一些高阶函数，如下所示：

emails flatMap { valUnique(_) }

在您的例子中，虽然部分应用程序仍然是完全有效的，但是在作用域中没有任何东西可以用来满足这样的占位符。

请注意，在将方法作为参数传递之前，您还可以将方法提升到函数：

emails flatMap { valUnique _ }

这种相似性几乎肯定是造成您困惑的原因，尽管这两个表单在幕后做的事情并不完全相同。