scala – 为什么不能_用于在方法覆盖中指示未使用/忽略的参数？

trait Validation {
  def isValid(str: String): Boolean
}
class AlwaysValid extends Validation {
  override def isValid(_: String) = true
}

产量

<console>:1: error: identifier expected but '_' found.
       override def isValid(_: String) = true

有什么想法吗？或者这只是语言设计师遗漏的东西？

也许这是关于命名参数传递但这只适用于非覆盖,因为覆盖自动“继承”来自重写方法的参数名称,所以这不可能是：

trait Foo {
  def bar(arg0: String): String
}
class Baz extends Foo {
  override def bar(blabla: String) = "hello"
}

new Baz().bar(arg0 = "world")  // works,even though the arg name is blabla in Baz

此外：在lambdas中允许_,甚至多次：

scala> val x: Int => Int = _ => 3
x: Int => Int = <function1>

scala> val x: (Int,Int) => Int = (_,_) => 3
x: (Int,Int) => Int = <function2>