Java在new一个对象的时候,如果该对象所属的类没有被加载到内存,那么整体过程分为两步:
- 类加载过程(第一次使用该类)
- 创建对象过程
类加载过程
- 若对象所属的类是第一次使用,那么将会使用双亲委派模型来进行类的加载,有类加载器负责根据一个类的全限定名来读取此类的二进制字节流到JVM内部,并将其转换为一个与目标类型对应的java.lang.Class对象实例
- 验证
- 格式验证:验证是否符合class文件规范
- 语义验证:检查一个被标记为final的类型是否包含子类;检查一个类中的final方法是否被子类进行重写;确保父类和子类之间没有不兼容的一些方法声明(比如方法签名相同,但方法的返回值不同)
- 操作验证:在操作数栈中的数据必须进行正确的操作,对常量池中的各种符号引用执行验证(通常在解析阶段执行,检查是否可以通过符号引用中描述的全限定名定位到指定类型上,以及类成员信息的访问修饰符是否允许访问等)
- 准备
- 为类中所有的静态变量分配内存空间,并为其设置一个初始值。如果静态变量被final修饰,则直接赋值。
- 将常量池中的符号引用转为直接引用,得到类或者字段、方法在内存中的指针或者偏移量,以便直接调用该方法,这个可以在初始化之后在执行。
- 初始化(先父后子)
5.1 为静态变量赋值。
5.2 执行static代码块。以上两步没有先后顺序。
因为子类存在对父类的依赖,所以类的加载顺序是先加载父类后加载子类,初始化也一样。不过,父类初始化时,子类静态变量的值也是有的,是默认值。
最终,方法区会存储当前类类信息,包括类的静态变量、类初始化代码(定义静态变量时的赋值语句 和 静态初始化代码块)、实例变量定义、实例初始化代码(定义实例变量时的赋值语句实例代码块和构造方法)和实例方法,还有父类的类信息引用。
创建对象
- 在堆区分配对象需要的内存,分配的内存包括本类和父类的所有实例变量,但不包括任何静态变量。
- 对所有实例变量赋默认值,将方法区内对实例变量的定义拷贝一份到堆区,然后赋默认值。
- 执行实例初始化代码,初始化顺序是先初始化父类再初始化子类,初始化时先执行实例代码块然后是构造方法
- 如果有类似于Child c = new Child()形式的c引用的话,在栈区定义Child类型引用变量c,然后将堆区对象的地址赋值给它
在创建一个对象时java的静态块,静态成员变量,构造块,构造函数,与普通成员变量运行顺序
//父类Animal
public class Animal {
public static int a = 0;
public int b = 0;
static {
System.out.println("父类静态块1");
}
{
System.out.println("父类构造块1");
}
public Animal(){
System.out.println("父类构造函数1");
}
}
//子类Dog
public class Dog extends Animal {
int a=100;
static int b=112;
static{
System.out.println("子类静态块1");
}//1
static Dog st = new Dog();//2
Dog(){
System.out.println("子类构造函数1");
}
public static void staticFunction(){
System.out.println("staticFunction函数");
}
{
System.out.println("子类构造快1");
}
public static void main(String args[]){
staticFunction();
}
}
如上代码,若将1调至2之前,则输出为:
父类静态块1
子类静态块1
父类构造块1
父类构造函数1
子类构造快1
子类构造函数1
staticFunction函数
若将1调制2之后则输出为:
父类静态块1
父类构造块1
父类构造函数1
子类构造快1
子类构造函数1
子类静态块1
staticFunction函数
由此可见,static块和static成员变量的执行顺序是有字面顺序决定的。