4

我是来自 java 的 scala 新手，并且对 scala 在固有层次结构中的对象初始化序列感到困惑。IIRC，在 Java 中，如果初始化子类的对象，则在其自己的构造函数的任何代码之前调用其基类的构造函数。在 scala 中，我得到完全不同的行为。考虑以下示例：

class Point(val x: Int, val y: Int){
    val name = this.makeName;

    def makeName: String = {
        println("makeName at super.");

        "[" + x + ", " + y + "]";
    }

    override def toString: String = name;
}

class ColorPoint(override val x: Int, override val y: Int, var color: String) extends Point(x, y) {

    // key statement
    println(name);

    override def makeName: String = {
        println("makeName at sub.");

        super.makeName + ":" + myColor;
    }

    val myColor = color;

    override def toString: String = name;
}

让我们只考虑ColorPoint转储的构造函数的字节码javap。如果代码包含键语句println(name);，则字节码为

public ColorPoint(int, int, java.lang.String);
  Code:
   0:   aload_0
   1:   aload_3
   2:   putfield        #13; //Field color:Ljava/lang/String;
   5:   aload_0
   6:   iload_1
   7:   iload_2
   8:   invokespecial   #18; //Method Point."<init>":(II)V
   11:  getstatic       #24; //Field scala/Predef$.MODULE$:Lscala/Predef$;
   14:  aload_0
   15:  invokevirtual   #28; //Method name:()Ljava/lang/String;
   18:  invokevirtual   #32; //Method scala/Predef$.println:(Ljava/lang/Object;)V
   21:  aload_0
   22:  aload_3
   23:  putfield        #34; //Field myColor:Ljava/lang/String;
   26:  return

我们可以看到字段myColor是在invokespecial之后初始化的，即在基类初始化之后。

如果我注释掉该语句println(name);，则字节码是：

public ColorPoint(int, int, java.lang.String);
  Code:
   0:   aload_0
   1:   aload_3
   2:   putfield        #13; //Field color:Ljava/lang/String;
   5:   aload_0
   6:   aload_3
   7:   putfield        #15; //Field myColor:Ljava/lang/String;
   10:  aload_0
   11:  iload_1
   12:  iload_2
   13:  invokespecial   #20; //Method Point."<init>":(II)V
   16:  return

我们看到该字段myColor是在 之前初始化的invokespecial，即在 base 初始化之前。

那么是什么原因呢？任何文件/文章都指定了这种行为？

顺便说一句，我的 scala 版本是 2.7.7final（OpenJDK Server VM，Java 1.6.0_20）。谢谢和最好的问候！

4

1 回答 1

3

编译器只是按顺序执行。这里有一些文档。

https://github.com/paulp/scala-faq/wiki/Initialization-Order

它的主要部分如下。

  1. 超类在子类之前完全初始化。
  2. 否则，按申报顺序。
于 2011-12-02T08:06:16.807 回答