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

在以下情况下：

valUnique _

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

另一方面：

valUnique(_)

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

emails flatMap { valUnique(_) }

在您的情况下，有尽管部分应用程序仍然完全有效，但范围内没有任何内容可用于满足此类占位符。

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

emails flatMap { valUnique _ }

这种相似性几乎肯定是您感到困惑的原因，即使这两种形式所做的事情不太相同在幕后。

Answer 2

如果你这样写：

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