Java最终字段编译时常量表达式

Question

以下文本来自jls
http://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html#jls-17.5.3

即使这样，仍然存在许多并发症。如果在字段声明中将final字段初始化为编译时常量表达式（第15.28节），则可能不会观察到对final字段的更改，因为在编译时会用常量表达式的值替换对final字段的使用。

有人可以给我更好的解释。我无法理解 “可能无法观察到对最终字段的更改” 的说法。可以借助示例。

Answer 1

我无法理解可能无法观察到对最终字段的更改

它表明，如果将最终变量声明为编译时间常数，则在执行过程中，程序中进一步使用 反射API 对最终变量进行的任何更改将对程序不可见。
例如，考虑以下代码：

import java.lang.reflect.*;
class ChangeFinal 
{
    private final int x = 20;//compile time constant
    public static void change(ChangeFinal cf)
    {
        try
        {
            Class clazz = ChangeFinal.class;
            Field field = clazz.getDeclaredField("x");
            field.setAccessible(true);
            field.set(cf , 190);//changed x to 190 for object cf
        }
        catch (Exception ex)
        {
            ex.printStackTrace();
        }
    }
    public static void main(String[] args) 
    {
        ChangeFinal cf = new ChangeFinal();
        System.out.println(cf.x);//prints 20
        change(cf);
        System.out.println(cf.x);//prints 20
    }
}

上面代码的输出是：

20
20

为什么？
答案在于javap -c命令为公共静态void main 提供的输出：

public static void main(java.lang.String[]);
  Code:
   0:   new     #3; //class ChangeFinal
   3:   dup
   4:   invokespecial   #11; //Method "<init>":()V
   7:   astore_1
   8:   getstatic       #12; //Field java/lang/System.out:Ljava/io/PrintStream;
   11:  aload_1
   12:  invokevirtual   #13; //Method java/lang/Object.getClass:()Ljava/lang/Cla
ss;
   15:  pop
   16:  bipush  20
   18:  invokevirtual   #14; //Method java/io/PrintStream.println:(I)V
   21:  aload_1
   22:  invokestatic    #15; //Method change:(LChangeFinal;)V
   25:  getstatic       #12; //Field java/lang/System.out:Ljava/io/PrintStream;
   28:  aload_1
   29:  invokevirtual   #13; //Method java/lang/Object.getClass:()Ljava/lang/Cla
ss;
   32:  pop
   33:  bipush  20
   35:  invokevirtual   #14; //Method java/io/PrintStream.println:(I)V
   38:  return

}

在第16行（在changeFinal调用方法之前），将的值cf.x硬编码为20。在第33行（changeFinal调用方法之后）的值cf.x再次被硬编码为20。因此，尽管最终变量值的更改x是通过reflection API在执行期间成功完成的 ，但是由于x是编译时常量，因此它显示了其常量值20。