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字段的修改不会在构造函数中发生。 More就此问题也解释了这一问题。

Answer 2

javadoc很清楚：

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

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

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

一种解决方法是remove the final modifier through 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.

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

3 个答案: