java – 通过反射来改变最终变量,为什么静态和非静态的最终变量之间有区别

请参考下面的代码.
当我运行代码时,我可以更改最终的非静态变量的值.但是,如果我尝试更改最终静态变量的值,那么它将抛出 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);
    }
}

解决方法

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字段将使用编译时常数进行替换.

另一个问题是该规范允许最终领域的积极优化.在一个线程中,允许使用在构造函数中不发生的最终字段的修改来重新排序最终字段的读取.
这个也是在这个More这个类似的问题.