在java内存模型中规定,一个新的变量只能在主存中初始化,不允许在工作内存中直接使用一个未被初始化的变量。 工作内存可以理解为局部变量定义的内存区域,也就是线程的工作内存。所谓局部变量就是线程私有的不共享的空间。
类加载准备阶段 类变量赋值
关键词
- 加载阶段>链接阶段(验证,准备,解析)>初始化阶段
- 在链接得准备阶段进行静态变量得默认值赋值操作
一、面试题:请回答,下面两段代码得执行结果
public class A {static int a ;public static void main(String[] args) {System.out.println(a);}}public class B {public static void main(String[] args) {int a ;System.out.println(a);}}
二、回答
- 程序1:输出 0
- 程序2:无法通过编译
三、剖析
1. 类加载子系统介绍
1、类加载子系统负责从文件系统或是网络中加载.class文件,class文件在文件开头有特定的文件标识。
2、把加载后的class类信息存放于方法区,除了类信息之外,方法区还会存放运行时常量池信息,可能还包括字符串字面量和数字常量(这部分常量信息是Class文件中常量池部分的内存映射);
3、ClassLoader 只负责class文件的加载 ,至于它是否可以运行,则由Execution Engine决定;
4、如果调用构造器实例化对象,则该对象存放在堆区;
2. 类加载的执行过程
我们写的程序经过编译后成为了.class文件,.class文件中描述了类的各种信息,最终都需要加载到虚拟机之后才能运行和使用。而虚拟机如何加载这些.class文件?.class文件的信息进入到虚拟机后会发生什么变化
类使用的7个阶段
类从被加载到虚拟机内存中开始,到卸载出内存,它的整个生命周期包括:
- 加载(Loading)、
- 验证(Verification)、
- 准备(Preparation)、
- 解析(Resolution)、
- 初始化(Initiallization)、
- 使用(Using)
- 卸载(Unloading)
这7个阶段。其中验证、准备、解析3个部分统称为连接(Linking)
3. 加载
加载是类加载的第一个阶段。有两种时机会触发类加载:
1)预加载
虚拟机启动时加载,加载的是JAVA_HOME/lib/下的rt.jar下的.class文件,这个jar包里面的内容是程序运行时非常常常用到的,像java.lang.*、java.util.、 java.io. 等等,因此随着虚拟机一起加载。
2)运行时加载
虚拟机在用到一个.class文件的时候,会先去内存中查看一下这个.class文件有没有被加载,如果没有就会按照类的全限定名来加载这个类。
那么,加载阶段做了什么,其实加载阶段做了有三件事情:
- 获取.class文件的二进制流
- 将类信息、静态变量、字节码、常量这些.class文件中的内容放入方法区中
- 在内存中生成一个代表这个.class文件的java.lang.Class对象,作为方法区这个类的各种数据的访问入口。一般这个Class是在堆里的,不过HotSpot虚拟机比较特殊,这个Class对象是放在方法区中的
4. 链接( 面试题得考点 )
链接包含三个步骤: 分别是 验证Verification , 准备Preparation , 解析Resolution 三个过程
1)验证Verification
连接阶段的第一步,这一阶段的目的是为了确保.class文件的字节流中包含的信息符合当前虚拟机的要求,并且不
会危害虚拟机自身的安全。
Java语言本身是相对安全的语言(相对C/C++来说),但是前面说过,.class文件未必要从Java源码编译而来,可以使用任何途径产生,甚至包括用十六进制编辑器直接编写来产生.class文件。在字节码语言层面上,Java代码至少从语义上是可以表达出来的。虚拟机如果不检查输入的字节流,对其完全信任的话,很可能会因为载入了有害的字节流而导致系统崩溃,所以验证是虚拟机对自身保护的一项重要工作。
验证阶段将做一下几个工作,具体就不细讲了,这是虚拟机实现层面的问题:
- 文件格式验证
- 元数据验证
- 字节码验证
- 符号引用验证
2)准备Preparation
准备阶段是正式为类变量分配内存并设置其初始值的阶段,这些变量所使用的内存都将在方法区中分配。关于这点,有两个地方注意一下:
- 这时候进行内存分配的仅仅是类变量(被static修饰的变量),而不是实例变量,实例变量将会在对象实例化的时候随着对象一起分配在Java堆中
- 这个阶段赋初始值的变量指的是那些不被final修饰的static变量,比如"public static int value = 666",value在准备阶段过后是0而不是666,给value赋值为666的动作将在初始化阶段才进行;比如"public static final int value =666;"就不一样了,在准备阶段,虚拟机就会给value赋值为666。
注意 :
这是因为局部变量不像类变量那样存在准备阶段。
类变量有两次赋初始值的过程
- 一次在准备阶段,赋予初始值(也可以是指定值)
- 另外一次在初始化阶段,赋予程序员定义的值
因此,即使程序员没有为类变量赋值也没有关系,它仍然有一个默认的初始值。但局部变量就不一样了,如果没有给它赋初始值,是不能使用的。
四、总结
- 类变量在准备阶段进行了默认值赋值操作,后续初始化阶段不进行赋值操作也有默认值,因此程序可以正常运行
- 局部变量在准备阶段不会进行初始值操作,后续初始化阶段也不赋值则不能使用,编译失败
1、成员变量
成员变量有默认初始值,而方法内的局部变量却没有初始值。这个问题涉及到JVM类加载和字节码执行两个阶段,这两个阶段是依次执行的。
JVM类加载是JVM利用类加载器将class文件加载到JVM的过程,涉及“加载”、“验证”、“”准备“、“”解析“和”初始化“。
一、类的成员变量初始化 —在JVM类加载阶段完成
类的成员变量又分为静态成员变量和非静态成员变量。
静态成员变量
静态成员变量会被初始化两次,第一次在“准备”阶段,先进行一次初始化,系统附上默认值;第二次在“初始化”阶段,根据代码中的赋值情况再进行一次初始化。
例如:
public static int i =3 ;
第一次初始化后i的值为0,第二次初始化后,值才为3.
数据最终存放在方法区中。
非静态成员变量
仅“初始化”阶段赋值。根据代码中的赋值情况,代码不赋值直接赋默认值,有赋值则等于代码中的赋值。对象实例化后,该变量随java对象分配到java堆中。
2、局部变量
当我们新建一个对象时,Java会在Heap中申请一块内存区域用以存放类的数据。而成员变量就是类的数据,也是放在这块内存区域中的。
只需要JVM在申请内存的时候顺便把整块区域都置为零即可完成初始化,方便快捷。
而对于方法的局部变量,是在线程的Stack中,当然Stack他也可以帮我们初始化,不过有一个问题。
对于有些局部变量,在方法的一开始是没有的,有些在循环中的局部变量是要反复的声明多次的。有些局部变量作用域结束后,另一个局部变量又会占用这个局部变量的位置。
那么初始化要放在何时呢?当然JVM可以帮我们初始化多次,不过那样或许会带来性能问题。
for (int i = 0; i < 10; i++) {int n;if (i % 2 == 0) {n = 10;} else {n = 20;}
}
像是这个n,我们完全不用JVM帮我们初始化,如果每次循环他都帮我们初始化一次,那么是没有必要的。综上所述,对于局部变量,可能不帮我们初始化是一个不错的选择。(而且JVM实现起来也更容易!!!)
3、总结
套用《Thinking in Java》作者Bruce Eckel的话
编译器当然可以为局部变量附一个默认值,但是未初始化的局部变量更有可能是程序员的疏忽,所以采用默认值范围会掩盖这种失误。因此强制程序员提供一个初始值,往往能够帮助找出程序里的缺陷。
总结一下,为什么局部变量需要手动初始化?从技术上来讲,局部变量一般来说总量大,生命周期短,JVM进行初始话开销较大;从业务上讲,局部变量一般用于实际问题下的运算,很少会用到默认值,赋值意义不大;从编程思想上讲,局部变量不初始化,而是报错提醒,更有助于程序员减少开发过程中出现缺陷的可能