继承:在 class 构造函数中重写

Inheritance : override in class constructor

我正在阅读此 link http://www.tutorialspoint.com/scala/scala_classes_objects.htm 中的示例 示例:

class Point(val xc: Int, val yc: Int) {
   var x: Int = xc
   var y: Int = yc
   def move(dx: Int, dy: Int) {
      x = x + dx
      y = y + dy
      println ("Point x location : " + x);
      println ("Point y location : " + y);
   }
}

class Location(override val xc: Int, override val yc: Int,
   val zc :Int) extends Point(xc, yc){
   var z: Int = zc

   def move(dx: Int, dy: Int, dz: Int) {
      x = x + dx
      y = y + dy
      z = z + dz
      println ("Point x location : " + x);
      println ("Point y location : " + y);
      println ("Point z location : " + z);
   }
}

object Test {
   def main(args: Array[String]) {
      val loc = new Location(10, 20, 15);

      // Move to a new location
      loc.move(10, 10, 5);
   }
}

我不明白 class 位置构造函数中 override 关键字的用途! 为什么要提到它,因为我们在这里有一个扩展? 谢谢!

给定

scala> class A(val a: Int)
defined class A

如果您尝试这样定义 B

scala> class B(val a: Int) extends A(a)
<console>:11: error: overriding value a in class A of type Int;
 value a needs `override' modifier
       class B(val a: Int) extends A(a)

编译器抱怨,因为它看起来像你试图在 class B 中定义一个成员 a 并且它已经通过继承存在(来自 A)。在这种情况下,您需要添加 override 以明确说明您的意图:

scala> class B(override val a: Int) extends A(a)
defined class B

更具体地说,如果您要覆盖抽象成员,则不必提供 override

scala> trait A { def a: Int }
defined trait A

scala> class B(override val a: Int) extends A
defined class B

scala> class B(val a: Int) extends A
defined class B

但是,为了避免在混合特征时出现意外覆盖,Scala 通过要求显式 override.

来保护您

考虑这个例子:

这里没问题:

scala> trait A { def a: Int = 1 }
defined trait A

scala> class B
defined class B

scala> new B with A
res0: B with A = $anon@3e29739a

你从歧义中解救了:

scala> trait A { def a: Int = 1 }
defined trait A

scala> class B { def a: Int = 2 }
defined class B

scala> new B with A
<console>:13: error: <$anon: B with A> inherits conflicting members:
  method a in class B of type => Int  and
  method a in trait A of type => Int
(Note: this can be resolved by declaring an override in <$anon: B with A>.)
       new B with A
           ^

手动解决冲突:

scala> trait A { def a: Int = 1 }
defined trait A

scala> class B { def a: Int = 2 }
defined class B

scala> new B with A { override val a = super[B].a }
res6: B with A{val a: Int} = $anon@76f6896b