ScalaIDE - 以冒号结尾的方法的奇怪之处

Question

我有了一个想法，为了为对象创建前缀方法，我可以使用 :因此，在方法名称的末尾，我写道:

def aaa: {
}

它编译得很好!然而，这没有用，所以我想让方法返回一些东西，所以，不确定，我写:

def aaa: = {
}

错误!

- identifier expected but '=' found.
- not found: type <error>

好的，我知道编译器在 : = 处中断，我变得好奇并尝试:

def aaa: {
  println("wow")
}

又出错了!

illegal start of declaration (possible cause: missing `=' in front of current method body)

然后我试试这个:

val a = aaa

它说(悬停在 aaa 上)是 aaa签名是 def aaa: AnyRef ，所以我尝试:

def aaa: {
  Global
}

哪里Global是 object .还是错误。所以，我的问题是:为什么允许这种语法？我不能让它像前缀方法一样工作，我不能使用这个方法产生副作用，我不能让它返回任何东西。为什么它首先允许我这样写？

更新:

现在我试试这个:

def aaa: {} = {
  Global
}

它有效。看起来就是这样 {}表示 AnyRef .开始觉得我在 JavaScript 的仙境中。

Answer 1

您会收到这些错误，因为方法名称末尾的冒号表示您要指定返回类型。如果你不给一个，编译器就会提示。与 {}它有效，因为你给出了一个类型，在这种情况下是一个空的结构类型，它与 AnyRef 基本相同.有一些规则，当您实际上允许在方法名称的末尾添加冒号时，该方法只能由非字母数字字符组成。所以def +:(x:Int)没问题，def foo:(x:Int)导致错误。但我对此并不确定。以冒号结尾的方法也是右结合的。