我的印象是这个
// 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 }
}
}
答案 0 :(得分:5)
所描述的两种方法非常简单地具有不同的签名。 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
返回函数到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将如何知道允许哪种调用语法? “绕开”的方法是简单地使签名保持一致。