覆盖Scala中的curried函数

发布时间：2020-12-16 18:50:28 所属栏目：安全来源：网络整理

导读：我的印象就是这个 // short syntaxdef foo(bar: Bar)(baz: Baz): Quux 这是语法糖 // long syntaxdef foo(bar: Bar): (Baz) = Quux 但在继承方面,我似乎无法将两者混为一谈.整个树必须用短语法或长语法定义;从来没有. 例如： case class Contextcase class W

我的印象就是这个

// short syntax
def foo(bar: Bar)(baz: Baz): Quux

这是语法糖

// long syntax
def foo(bar: Bar): (Baz) => Quux

但在继承方面,我似乎无法将两者混为一谈.整个树必须用短语法或长语法定义;从来没有.

例如：

case class Context
case class Work

trait ContextualWorker {
  def workWithContext(ctxt: Context)(work: Work): Traversable[Work]
}

class ShortConcreteWorker extends ContextualWorker {
  override def workWithContext(ctxt: Context)(work: Work) = Nil
}

class LongConcreteWorker extends ContextualWorker {
  // error on next line: method workWithContext overrides nothing    <-------------
 override def workWithContext(ctxt: Context): (Work) => Traversable[Work] = {
    val setupCode = 1
    { work => Nil }
  }
}

如果我更改特征以使用长语法,则ShortConcreteWorker不会编译.

这些是不可互换/可继承的原因吗？你是怎么得到它的？

现在,最灵活的方法似乎是在长语法中定义树,也许如此委托给ShortConcreteWorker中的实现类：

case class Context
case class Work

trait ContextualWorker {
  def workWithContext(ctxt: Context): (Work) => Traversable[Work]
}

class ShortConcreteWorker extends ContextualWorker {
  override def workWithContext(ctxt: Context) = workWithContextImpl(ctxt)_ 
  private def workWithContextImpl(ctxt: Context)(work: Work) = Nil
}

class LongConcreteWorker extends ContextualWorker {
  override def workWithContext(ctxt: Context): (Work) => Traversable[Work] = {
    val setupCode = 1
    { work => Nil }
  }
}

解决方法

所描述的两种方法非常简单地具有不同的签名. REPL证实了这一点：

scala> def foo1(a: Int)(b: Int): Int = a + b
foo1: (a: Int)(b: Int)Int

scala> def foo2(a: Int): (Int => Int) = (b: Int) => a + b
foo2: (a: Int)Int => Int

第一个是需要两个参数的函数,在单独的参数列表中给出,并返回一个Int.第二个是一个函数,它接受一个参数并从Int返回一个函数.虽然这两件事在概念上是相似的,但实际上它们是不同的结构,而Scala就是这样对待它们的.

这不仅限于具有多个参数列表的函数.它的工作方式与此相同：

scala> def foo3(a: Int): Int = a + 1
foo3: (a: Int)Int

scala> def foo4: (Int => Int) = (a: Int) => a + 1
foo4: Int => Int

请注意,使用方式也有不同的后果.使用foo2,因为它只接受一个参数,我们可以用一个参数调用它.但是,foo1需要两个参数,因此我们不能简单地用一个参数调用它.但是,您可以使用_语法将其转换为可调用函数.

foo2(2)    // Int => Int = <function1>
foo1(2)    // error: missing arguments for method foo1
foo1(2) _  // Int => Int = <function1>

所以直接回答你的问题：他们不可互换的原因是因为他们不一样.如果它们是相同的,我们就可以用同样的方式调用它们.如果您可以在扩展时更改签名,Scala将如何知道允许哪种调用语法？ “解决”这种方法的方法是简单地使签名保持一致.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!