Scala 2.9 中的错误或奇怪的行为

Question

请注意以下奇怪的行为（Scala 2.9.1.RC2）：

scala> val spam = x => log(x)
spam: Double => Double = <function1>

scala> val spam = x => log(x)*log(x)
<console>:10: error: missing parameter type
       val spam = x => log(x)*log(x)
                  ^

scala> log(2)*log(2)
res30: Double = 0.4804530139182014

为什么 Scala 可以推断出第一个的类型，但不能推断出第二个的类型？

另一个奇怪的事情是：

scala> def eggs(foo:Int=-1) = foo
<console>:1: error: identifier expected but integer literal found.
       def eggs(foo:Int=-1) = foo
                         ^

scala> def eggs(foo:Int= -1) = foo
eggs: (foo: Int)Int

这里发生了什么事？当 = 和 - 之间没有空格时，为什么会卡住？

Answer 1

问题 1。让我惊讶的是类型推断竟然成功了。另一种编译失败的情况是，

val spam = x => log(log(x))

一般来说，规则是参数类型（这里是x）必须是显式的。但显然这个规则不适用于特殊情况 x => f(x)，被重写为 f _。在其他情况下，此重写会导致未指定的行为。

注意：如果有预期的函数类型，则参数类型不必是显式的，

val spam: Double => Double = x => log(log(x)) // OK

问题2。如果没有空格，您就会遇到类型的“运算符”语法。这是一个确实编译的示例，

trait =-[A, B]
trait One
def eggs(foo: Int=-One) = foo

这相当于，

def eggs(foo: =-[Int, One]) = foo

您收到的错误消息（需要标识符，但是...）表示整数文字1< /code> 不是有效类型。