JVM_成员变量的赋值 (类加载)

1. 成员变量（非静态）的赋值过程

1. 默认初始化 (例如int 类型的变量默认值为 0)

2. 显性初始化/代码块中初始化

3. 构造函数中初始化

4. 有了对象后，通过对象的方式进行赋值 (函数或者 object.xx)

 

2. 代码实例

public class ClassLoadingTest {
    public static void main(String[] args) {
        System.out.println("main start");
        Father father = new Son();
        System.out.println(father.x);
    }
}

class Father {
    int x = 10;

    public Father() {
        this.print();
        x = 20;
    }

    public void print() {
        System.out.println("Father.x=" + x);
    }
}

class Son extends Father {
    int x = 30;

    public Son() {
        this.print();
        x = 40;
    }

    public void print() {
        System.out.println("Son.x=" + x);
    }
}

输出结果为：

Son.x=0
Son.x=30
20

理解：

(1)  创建子类Son 对象后， 会先调用父类Father的构造器。 通过字节码指令查看Son类 和 Father 类：

Son 类的字节码 指令

 0 aload_0
 1 invokespecial #1 <com/example/javatest/classcodetest/Father.<init>>
 4 aload_0
 5 bipush 30
 7 putfield #2 <com/example/javatest/classcodetest/Son.x>
10 aload_0
11 invokevirtual #3 <com/example/javatest/classcodetest/Son.print>
14 aload_0
15 bipush 40
17 putfield #2 <com/example/javatest/classcodetest/Son.x>
20 return

Father 类的字节码 指令： 

 0 aload_0
 1 invokespecial #1 <java/lang/Object.<init>>
 4 aload_0
 5 bipush 10
 7 putfield #2 <com/example/javatest/classcodetest/Father.x>
10 aload_0
11 invokevirtual #3 <com/example/javatest/classcodetest/Father.print>
14 aload_0
15 bipush 20
17 putfield #2 <com/example/javatest/classcodetest/Father.x>
20 return

 

由此可见， 在调用子类的构造器前， 会先调用父类的构造器； 在执行构造器里面的代码前，会对变量进行 显性赋值。

而父类Father 的构造器中， 会执行了 this.print(),   虽然此时 Father.x 已经被赋值为 10， 但是由于函数的多态性， this.print() 调用的是子类的print() 方法。

但是，此时子类的构造器还没执行， 并且 还没进行显性赋值 （即 bipush 30 没有执行）， 因此结果为 0.

(2) 在执行子类构造函数中， 由于已经 对 x 进行了显性赋值， 因此调用 print() 时 结果 为 30.

(3) 由于成员变量不具有多态性，  因此 最后 father.x 打印的正是 Father 对象中的x ,  此时已经赋值为 20.

但是有一个问题，  准确来说，是在什么时机调用显性赋值？？？ 是在调用了父类的构造函数之后???

 

main 函数的字节码指令：

 0 getstatic #2 <java/lang/System.out>
 3 ldc #3 <main start>
 5 invokevirtual #4 <java/io/PrintStream.println>
 8 new #5 <com/example/javatest/classcodetest/Son>
11 dup
12 invokespecial #6 <com/example/javatest/classcodetest/Son.<init>>
15 astore_1
16 getstatic #2 <java/lang/System.out>
19 aload_1
20 getfield #7 <com/example/javatest/classcodetest/Father.x>
23 invokevirtual #8 <java/io/PrintStream.println>
26 return