scala – 使用特征,不一致的编译器行为实现抽象方法？

我有一个来自 Java库的基类,其代码我无法修改.这个类(A)有一个空方法(b),它应该被声明为abstract：

class A {
  def b { }
}

我在Scala中扩展此类并重写该方法以使其成为抽象：

abstract class AA extends A {
  override def b
}

现在我在一个特征中实现这个方法：

trait B {
  def b { println("B") }
}

如果我用特征B扩展AA,我会收到一个错误：在类A的类A中重写方法b：单元;
 类型=>的特征B中的方法b单位需要`覆盖’修饰符：

class C extends AA with B {}

相反,如果代码是这样的,那么编译所有内容都没有错误,这对我来说似乎有些矛盾：

abstract class AA {
  def b
}

trait B {
  def b { println("B") }
}

class C extends AA with B {}

我正在运行Scala 2.8.0RC3,并且对语言完全陌生(3天).另一个奇怪的和相关的行为是在制作b abstract时不需要覆盖标签：

abstract class AA extends A {
  def b
}

解决方法

为了试着看看发生了什么,我尝试了这个：

scala> class A{
     |   def b{ }
     | }
defined class A

scala> abstract class AA extends A{
     |   override def b
     | }
defined class AA

scala> class AAA extends AA{
     |   def b = println("AAA")
     | }
<console>:8: error: overriding method b in class A of type => Unit;
 method b needs `override' modifier
         def b = println("AAA")
             ^

显然,问题的根源在于抽象类不能“释放”超类中的方法,而不需要抽象类的子类来包含“覆盖”修饰符.