高频面试题：类初始化和实例初始化等

问题

现有以下代码，最后的输出是什么？

public class Father {
	private int i = method();
	private static int j = staticMethod();

	static {
		System.out.println("(父类静态代码块2)");
	}
	Father() {
		System.out.println("(父类无参构造器代码)");
	}
	{
		System.out.println("(父类非静态代码块b)");
	}
	
	public int method() {
		System.out.println("(父类非静态变量赋值代码a)");
		return 0;
	}
	
	public static int staticMethod() {
		System.out.println("(父类静态类变量赋值代码1)");
		return 0;
	}
}

public class Son extends Father {
	private int i = method();
	private static int j = staticMethod();

	static {
		System.out.println("(子类静态代码块2)");
	}
	Son() {
		System.out.println("(子类无参构造器代码)");
	}
	{
		System.out.println("(子类非静态代码块b)");
	}
	
	@Override
	public int method() {
		System.out.println("(子类非静态变量赋值代码a)");
		return 0;
	}
	
	public static int staticMethod() {
		System.out.println("(子类静态类变量赋值代码1)");
		return 0;
	}
	
	public static void main(String[] args) {
		Son son = new Son();
	}
}

输出结果为：

(父类静态类变量赋值代码1)
(父类静态代码块2)
(子类静态类变量赋值代码1)
(子类静态代码块2)
(子类非静态变量赋值代码a)
(父类非静态代码块b)
(父类无参构造器代码)
(子类非静态变量赋值代码a)
(子类非静态代码块b)
(子类无参构造器代码)

解析

共有两个过程

类初始化过程

1. 先初始化父类，再初始化子类
2. 一个类要创建实例需要先加载并初始化该类
   • main方法所在的类需要先加载和初始化
3. 一个子类要初始化需要先初始化父类
4. 类初始化就是执行<clinit>()方法
   • <clinit>()方法由静态类变量显示赋值代码和静态代码块组成
   • 类变量显示赋值代码和静态代码块代码从上到下顺序执行
   • <clinit>()方法只执行一次

通过以上分析可知

(父类静态类变量赋值代码1)
(父类静态代码块2)
(子类静态类变量赋值代码1)
(子类静态代码块2)

为类初始化时的输出结果。
如果将静态变量赋值语句调至静态代码块后面，则输出应该为

(静态代码块2)
(静态类变量赋值代码1)

实例初始化过程

1. 实例初始化就是执行<init>()方法
   • <init>方法可能重载有多个，有几个构造器就有几个<init>方法
   • <init>方法由非静态实例变量显示赋值代码和非静态代码块、对应构造器代码组成
   • 非静态实例变量显示赋值代码和非静态代码块代码从上到下顺序执行，而对应构造器的代码最后执行
   • 每次创建实例对象，调用对应构造器，执行的就是对应的<init>方法
   • <init>方法的首行是super()或super(实参列表)，即对应父类的<init>方法

可知以下为实例初始化过程中输出的结果

(子类非静态变量赋值代码a)
(父类非静态代码块b)
(父类无参构造器代码)
(子类非静态变量赋值代码a)
(子类非静态代码块b)
(子类无参构造器代码)

其中第一条输出语句为子类非静态变量赋值代码而非父类非静态变量赋值代码，原因如下

---

方法重写

1. 哪些方法不可以被重写
   1. final 方法
   2. 静态方法
   3. private等子类不可见的方法
2. 对象的多态性
   1. 子类如果重写了父类的方法，通过子类对象调用的一定是子类重写过的代码
   2. 非静态方法默认的调用对象是this
   3. this对象在构造器或者说<init>方法就是正在被创建的对象

---

因此本题中实例初始化过程可简化为：

1. 子类super()
   1. 父类super() （无效果）
   2. 子类非静态实例变量赋值语句
   3. 父类非静态代码块
   4. 父类无参构造（最后）
2. 子类非静态实例变量赋值语句
3. 子类非静态代码块
4. 子类无参构造（最后）