可否经过反射修改被 final 修饰的成员变量？

1、背景

平常磨刀

2、阅前须知知识点：

1. 当final修饰的成员变量在定义的时候初始化值，反射就不能动态修改它的值了。
2. 当final修饰的成员变量在定义的时候没有初始化值，就还能经过反射来动态修改它的值。
3. 反射机制中的 setAccessible 表明的权限含义

3、举例（这里只用基本数据类型和包装类来讨论）

一、不能被修改的状况，直接贴代码讲

//建立一个实体类
public class Demo {
	private final int info = 123;

	public int getInfo() {
    	return info;
	}
}


//反射修改的代码区域
public class TestFianl {
	public static void main(String[] args) {
		try {
			test();
		} catch (NoSuchFieldException e) {
			e.printStackTrace();
		} catch (IllegalAccessException e) {
			e.printStackTrace();
		}
	}

	public static void test() throws NoSuchFieldException, IllegalAccessException {
		Demo demo = new Demo();
		System.out.println("反射修改以前 Demo  实例的值："+demo.getInfo());
		Field field = demo.getClass().getDeclaredField("info");
		field.setAccessible(true);//灵魂语句
		field.set(demo, 789);
		System.out.println("反射修改以后 Field 实例的值："+field.get(demo));
		System.out.println("反射修改以后 Demo  实例的值："+demo.getInfo());
	}
}
//输出结果为：
反射修改以前 Demo  实例的值：123
反射修改以后 Field 实例的值：789
反射修改以后 Demo  实例的值：123

解释：

一、注意这里的 修改的 成员变量 info 是被基本数据类型 int 修饰的

二、编译的时候 被final修饰的成员变量会被优化，全部用到该变量的地方都被替换成了变量的内容 123

第二句话解释看如下Demo 类反编译的代码

public class Demo
{
  private final int info = 123;

  public int getInfo() {
	return 123;//直接返回了 123 这个内容 而不是 info 这个变量
  }
}

二、能被修改的状况

//建立一个实体类
public class Demo {
	private final Integer info = 123;

	public Integer getInfo() {
		return info;
	}
}


//反射修改的代码区域 和 1 中的没有区别
public class TestFianl {
	public static void main(String[] args) {
		try {
			test();
		} catch (NoSuchFieldException e) {
			e.printStackTrace();
		} catch (IllegalAccessException e) {
			e.printStackTrace();
		}
	}

	public static void test() throws NoSuchFieldException, IllegalAccessException {
		Demo demo = new Demo();
		System.out.println("反射修改以前 Demo  实例的值："+demo.getInfo());
		Field field = demo.getClass().getDeclaredField("info");
		field.setAccessible(true);//灵魂语句
		field.set(demo, 789);
		System.out.println("反射修改以后 Field 实例的值："+field.get(demo));
		System.out.println("反射修改以后 Demo  实例的值："+demo.getInfo());
	}
}
//输出结果为：
反射修改以前 Demo  实例的值：123
反射修改以后 Field 实例的值：789
反射修改以后 Demo  实例的值：789

解释：

一、注意这里的 修改的 成员变量 info 是被 包装类 Integer 修饰的

二、定义的时候并无初始化值，getInfo方法返回的是info这个变量

如下Demo 类反编译的代码

public class Demo
{
  private final Integer info = Integer.valueOf(123);//定义的时候检查再初始化了值

  public Integer getInfo() {
	return this.info;
  }
}

4、总结

因此成员变量在定义的时候没有初始化值的时候，就算用final修饰，同样能够被经过反射以后进行修改