请帮助我理解 scala 中 val 的覆盖

Question

我之前问了一个问题：在这里，虽然我接受了答案，但我离真正理解还很远，所以我挖得更深一点，我正在写一个进一步的问题。

在 scala 中覆盖 val 的行为让我感到惊讶。例如，给定以下代码：

class A {
  val name = "AAAAA"
}
class B extends A {
  override val name = "BBBBB"
}

如果我说：

object Atest extends App {
  val b = new B
  println(b.name)
  val a = b.asInstanceOf[A]
  println(a.name)
}

我期待

BBBBB
AAAAA

但我得到

BBBBB
BBBBB

我只是想看看我认为 A 应该存储在某个地方的 AAAAA 值。所以我尝试：

class A {
  val name = "AAAAA"
  def showSuper {
    println(name)
  }
}

和：

  val b = new B
  val a = b.asInstanceOf[A]
  b.showSuper
  a.showSuper

但我仍然得到：

BBBBB
BBBBB

所以我试着看看 scala 实际上从我的类中生成了什么：

scalac -Xprint:all A.scala

给我

  class A extends Object {
    private[this] val name: String = _;
    <stable> <accessor> def name(): String = A.this.name;
    def <init>(): p3.A = {
      A.super.<init>();
      A.this.name = "AAAAA";
      ()
    }
  };
  class B extends p3.A {
    private[this] val name: String = _;
    override <stable> <accessor> def name(): String = B.this.name;
    def <init>(): p3.B = {
      B.super.<init>();
      B.this.name = "BBBBB";
      ()
    }
  }

对 B.super 的调用发生在 B.this.name 设置之前，A 明确将其名称设置为 AAAAA。

这是怎么回事？为什么，当我像这样覆盖一个 val 时，我看不到 A 的值（或者它被设置为 B 的值？发生这种情况的机制是什么？我如何看到这种机制 - 是否有一段 scala 源代码告诉我为什么会发生这种情况？

非常感谢

编辑：意思是补充一点，如果我使用 javap 查看字节码，它清楚地表明 A 和 B 都有自己的名称变量副本：

$ javap -private A
Compiled from "A.scala"
public class p3.A extends java.lang.Object{
    private final java.lang.String name;
    public java.lang.String name();
    public p3.A();
}
$ javap -private B
Compiled from "A.scala"
public class p3.B extends p3.A{
    private final java.lang.String name;
    public java.lang.String name();
    public p3.B();
}

因此，A

和B不必共享相同的变量 - 它们都有使用自己的副本的潜力。

Answer 1

这不是

Scala特有的。这是OOP问题。第二个类重写该方法并将其隐藏。重写和隐藏方法

Answer 2

只是一些额外的说明。事实证明，如果你反编译 scala 类，你会发现 scala 将对 vals 的引用更改为对获取 vals 的方法的引用。例如，我上面的A类有：

def showSuper {
  println(name)
}

反编译字节码显示

public void showSuper()
{
  Predef..MODULE$.println(name());
}

（感谢京东圭）

因此，这清楚地表明，scala对vals的引用在字节码中等同于Java的多态方法调用，而不是Java的类型依赖变量。