通过反射改变最终变量，为什么静态和非静态最终变量之间存在差异

Question

请参考下面的代码。运行代码时，我可以更改最终非静态变量的值。但是，如果我尝试更改最终静态变量的值，则会抛出异常java.lang.IllegalAccessException。

我的问题是，为什么在非静态最终变量也不会抛出异常，反之亦然。为什么会有所不同？

import java.lang.reflect.Field;
import java.util.Random;

public class FinalReflection {

    final static int stmark =  computeRandom();
    final int inmark = computeRandom();

    public static void main(String[] args) throws SecurityException, NoSuchFieldException, IllegalArgumentException, IllegalAccessException {
        FinalReflection obj = new FinalReflection();
        System.out.println(FinalReflection.stmark);
        System.out.println(obj.inmark);
        Field staticFinalField  = FinalReflection.class.getDeclaredField("stmark");
        Field instanceFinalField  = FinalReflection.class.getDeclaredField("inmark");
        staticFinalField.setAccessible(true);
        instanceFinalField.setAccessible(true);

        instanceFinalField.set(obj, 100);
        System.out.println(obj.inmark);

        staticFinalField.set(FinalReflection.class, 101);
        System.out.println(FinalReflection.stmark);

    }

    private static int computeRandom() {
        return new Random().nextInt(5);
    }
}

Answer 1

FinalReflectionobj = new FinalReflection();
System.out.println(FinalReflection.stmark);
System.out.println(obj.inmark);
Field staticFinalField  = FinalReflection.class.getDeclaredField("stmark");
Field instanceFinalField  = FinalReflection.class.getDeclaredField("inmark");
staticFinalField.setAccessible(true);
instanceFinalField.setAccessible(true);

//EXTRA CODE
//Modify the final using reflection
Field modifiersField = Field.class.getDeclaredField("modifiers");
modifiersField.setAccessible(true);
modifiersField.setInt(staticFinalField, staticFinalField.getModifiers() & ~Modifier.FINAL);


instanceFinalField.set(obj, 100);
System.out.println(obj.inmark);
staticFinalField.set(FinalReflection.class, 101);
System.out.println(FinalReflection.stmark);

该解决方案并非没有缺点，它可能无法在所有情况下都有效：

如果final在字段声明中将字段初始化为编译时常量，则对该字段的更改final可能不可见，因为该最终字段的使用会在编译时用编译时常量替换。

另一个问题是，该规范允许对final字段进行积极的优化。在线程内，可以final使用final在构造函数中不进行的对字段的那些修改来重新排序对字段的读取。
更多关于这也是在这个类似的问题解释。