Question

Java JVM final修饰的变量会在准备阶段初始化吗

Answer 1

1. 首先final修饰成员变量（final单独修饰不和static一起使用）是在实例初始化的时候被赋值的。这个和非final修饰成员变量赋值时机没有什么不同，只不过final修饰的不能多次赋值罢了。

2. final static修饰的成员变量只有在其类型为ConstantValue时才会在准备阶段被赋予具体值（而不类型的默认值）。

3. ConstantValue需要满足2个条件，a：类型为基本类型或者String，b:此类型被赋值时只能使用字面量而不是方法的形式。

4. 举个例子：

1. final static int a = 1;//准备阶段赋值-基本类型可以转化为ConstantValue，且使用的是字面量赋值。

2. final static int a = getA();//初始化阶段赋值-基本类型可以转化为ConstantValue，但赋值不是使用字面量。

3. final static String b = "abc";//准备阶段赋值-String可以转化为ConstantValue，且使用的是字面量赋值。

4. final static String b= getB();//初始化阶段赋值-String可以转化为ConstantValue，但赋值不是使用字面量。

5. final static Object c = new Object();//初始化阶阶段赋值-其他类型不可以转化为ConstantValue

6. final static Object c = new Object();//初始化阶阶段赋值-其他类型不可以转化为ConstantValue

5. 如何验证以上结论
   

1. 通过查看类生成的字节码可以验证。：如下

1. public static final java.lang.String b;

2. descriptor: Ljava/lang/String;

3. flags: (0x0019) ACC_PUBLIC, ACC_STATIC, ACC_FINAL

4. ConstantValue: String abc

2. 对于结论2和结论4可以使用Class.forName(String name, boolean initialize,ClassLoader loader)方法加载类并将initialize分别设置为true和false来验证。

1. 当initialize=false时getB()方法不执行。

2. 当initialize=true时getB()方法执行。

3. 因为initialize代码加载类是是否执行初始化；即执行初始化时getB方法才执行，可知getB()不是在准备阶段执行的，否则无论initialize为何值时getB方法都会执行。