在子类中使用 def 覆盖/重新定义 var，没有编译器错误

Question

为什么我能够使用 def 和另一个 def 重新定义子类中的 var。 为什么编译器不抱怨？

abstract class Person {
  var age: Int    
}

class Employee extends Person {
  def age = 5 // does not allow override def age = 5, though   

  def age_=(a: Int) = {
    age = a // infinite recursion
  }

}

与为什么在 Scala 中用def覆盖var是不可能的有关？

Answer 1

规范说 var 声明与声明两个方法相同。

像往常一样，override 关键字是可选的。

scala> abstract class B { var x: Int }
defined class B

scala> class C extends B { override def x = 42 ; def x_=(i: Int) = ??? }
defined class C

链接的答案混淆了声明和定义。

Answer 2

我们来看一下反编译出来的Java代码（使用javap your.class）：

public abstract class Person {
  public abstract int age();
  public abstract void age_$eq(int);
  public Person();
}

public class Employee extends Person {
  public int age();
  public void age_$eq(int);
  public Employee();
}

如您所见，您的代码导致age被标记为抽象，因此您可以实现它。