Scala中的压倒一切的方法

Scala version 2.0 also relaxes the rules of overriding with respect to
empty parameter lists. The revised definition of matching members
(§5.1.3) makes it now possible to override a method with an explicit,
but empty parameter list () with a parameterless method,and vice
versa.

你是正确的,这似乎是一个奇怪的设计决定,因为在无参数方法和空参数列表之间有可观察的差异.例如,假设您有以下内容：

class A { def a = "A" }
class B extends A { override def a = "B" }
class C extends A { override def a() = "C" }

现在我们可以按照预期编写以下内容：

scala> (new B).a
res0: java.lang.String = B

scala> (new C).a
res1: java.lang.String = C

和这个：

scala> (new C).a()
res2: java.lang.String = C

但不是这样的：

scala> (new B).a()
<console>:10: error: not enough arguments for method apply: (index: Int)Char in class StringOps.
Unspecified value parameter index.
              (new B).a()

所以Scala确实区分了两者,这显然必须体现在字节码中.假设我们编译以下内容：

class A { def a = "A" }
class B extends A { override def a = "B" }

然后运行：

javap -verbose B > noArgList.txt

然后将代码更改为：

class A { def a = "A" }
class B extends A { override def a() = "B" }

重新编译并运行：

javap -verbose B > emptyArgList.txt

最后检查差异：

<   MD5 checksum 88aeebf57b645fce2b2fcd2f81acdbbd
---
>   MD5 checksum 3733b3e4181b4b2f4993503d4c05770e
32c32
<   #18 = Utf8               }1A!
                                 tt!ICaT-9uszaEr)"atI!!"1Q!Dg
jiz"atAQ!BYt!Y                                                  G.Y11bU2bY|%M[3di")C%1A(
                 /A$H3)!dGYtwMCQM^1nyI"AB*ue&twr
---
>   #18 = Utf8               }1A!
                                 tt!ICaT-9uszaEr)"atI!!"1Q!Dg
jiz"atAQ!BYt!                                                   G.Y11bU2bY|%M[3di")C%1A(
                /A$H3)!dGYtwMCQM^1nyI"AB*ue&twr

所以有一个区别 – 两个版本的ScalaSignature注释有不同的值.

至于为什么在Scala 2.0中进行了更改：规范注意到它允许这样做：

class C {
    override def toString: String = ...
}

我的猜测是,语言设计师没有看到要求用户记住在这种情况下使用的覆盖方法的原因.