Java子类和父类的初始化执行顺序

有个朋友在CSDN评论区问我，java子类和父类初始化时各个代码块的执行顺序，我本来写好了一大段回复，点击发表回复，结果没有回复成功，我写的评论也不见了。。。csdn的评论区编辑体验本来就不好，然后还有这种回复失败的问题，这体验真是一言难尽，干脆再写一篇文章，从字节码层面来看这个顺序问题，希望可以帮到更多朋友。

---

吐槽完毕，回归正题。

要明白子类和父类的初始化执行顺序，只需要知晓以下三点，就不会再弄错了。

1.创建子类对象时，子类和父类的静态块和构造方法的执行顺序为：父类静态块->子类静态块->父类构造器->子类构造器。深入理解为什么是这个顺序，可以看我这篇文章：从京东面试题看java类和对象的初始化

 

2.静态变量的声明和赋值，声明会在静态块之前，赋值运算将会合并到静态块中，顺序和源代码中的顺序一致。举例如下：

源代码

public class P {

    public static int a = 1;

    static {
        int b = 2;
    }

    public static int c = 3;
}

在编译器编译后，会变成这样子

public class P {

    public static int a;
    public static int c;

    static {
        a = 1;
        int b = 2;
        c = 3;
    }

}

我们来看，编译后的字节码是怎样的，使用命令可以反编译类的字节码：javap -v -p P.class 

{
  public static int a;
    descriptor: I
    flags: ACC_PUBLIC, ACC_STATIC

  public static int c;
    descriptor: I
    flags: ACC_PUBLIC, ACC_STATIC

  static {};
    descriptor: ()V
    flags: ACC_STATIC
    Code:
      stack=1, locals=1, args_size=0
         0: iconst_1
         1: putstatic     #2                  // Field a:I
         4: iconst_2
         5: istore_0
         6: iconst_3
         7: putstatic     #3                  // Field c:I
        10: return
}

我去掉了编译器生成的构造方法以及一些无关信息，我们可以看到字节码中，a、c的声明在前面(其实这个不是重点)，在static{}块中，pc 0~1两个指令，为静态字段a赋值1，pc 4~5两个指令，为第一个局部变量，也就是变量b赋值2，pc 6~7两个指令，为静态字段c赋值3。可以看到合并后的static块，a的赋值在原静态块代码之前，c的赋值在原静态块代码之后，这个顺序和源代码中ac的声明顺序一致。

 

3.成员变量的声明和赋值，与静态变量相同的是成员变量的赋值也会合并到构造器中，不同的是合并后的顺序，成员变量的赋值是在构造器的前面。举例如下：

源代码

public class P {

    public int a = 1;

    public P() {
        int b = 2;
    }

    public int c = 3;

}

编译后的代码，会像这个样子

public class P {

    public int a;
    public int c;

    public P() {
        a = 1;
        c = 3;
        int b = 2;
    }
}

再来看看编译后的字节码是怎样的

  public int a;
    descriptor: I
    flags: ACC_PUBLIC

  public int c;
    descriptor: I
    flags: ACC_PUBLIC

  public P();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: aload_0
         5: iconst_1
         6: putfield      #2                  // Field a:I
         9: aload_0
        10: iconst_3
        11: putfield      #3                  // Field c:I
        14: iconst_2
        15: istore_1
        16: return

字段a和c的声明在前面，然后看构造器P()的字节码，pc 0~1两个指令，是先调用P的父类Object的构造器，字节码中的构造器方法使用<init>来表示的。pc 4~6三个指令，为成员变量a赋值1。pc9~11三个指令，为成员变量c赋值3，pc 14~15两个指令，为下表为1的局部变量赋值为2，也就是局部变量b=2。所以可以看出，成员变量赋值逻辑合并到构造器后，是在调用父类构造器之后，原有构造器代码之前。

---

回过头来，你明白了子类父类初始化各个方法的执行顺序，而字段的初始化赋值也是合并到方法里，所以创建子类对象时，子类父类各个部分的执行顺序都已了然。

总结：

1.讲解了子类父类初始化时方法执行顺序，包括的静态块和构造器方法，静态块也是方法，静态块在jvm中的方法名叫<cinit>。

2.讲解了字段的赋值是如何合并到方法中，静态字段赋值合并到静态块中，成员变量赋值合并到构造器方法中。