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

请参考以下代码。 当我运行代码时，我能够更改最终的非静态变量的值。 但是如果我尝试更改最终静态变量的值，那么它会抛出java.lang.IllegalAccessException 。

我的问题是为什么它不会在非静态最终变量的情况下抛出exception，反之亦然。 为什么不同？

 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字段的读取。 在这个类似的问题中也解释了更多相关问题。

Answer 2

javadoc很清楚：

如果底层字段是final，则该方法抛出IllegalAccessException，除非此Field对象的setAccessible（true）成功并且该字段是非静态的。

从JLS的角度来看，没有指定reflection应该如何工作的确切行为，但是在JLS 17.5.4中 ：

通常，可能不会修改最终和静态字段。

一种解决方法是通过reflection删除最终修改器 。

Answer 3

对于final，初始化时可以在运行时为其分配不同的值。

 Class Test{ public final int a; } Test t1 = new Test(); t1.a = 10; Test t2 = new Test(); t1.a = 20; 

因此，每个实例具有不同的字段a值。

对于静态final，所有实例共享相同的值，并且在首次初始化后不能更改。

 Class TestStatic{ public static final int a; } Test t1 = new Test(); t1.a = 10; Test t2 = new Test(); t1.a = 20; // ERROR, CAN'T BE ALTERED AFTER THE FIRST INITIALIZATION.