Java反射如何为类字段添加final修饰符实现POJO动态不可变

问题现象核心原因拆解 #

1. 修饰符打印无变化的原因 #

你通过反射修改的仅为当前持有的单个Field实例内部存储的modifiers属性值，并没有修改JVM中存储的Task类的原始元数据。当你第二次调用getDeclaredField("id")时，JVM会基于类的原始元数据生成全新的Field实例，返回的自然是原始的修饰符，看不到之前的修改。

2. 新增FINAL标记后仍可赋值成功的原因 #

• 首先你的测试代码存在变量名混乱问题，修改modifiers的Field实例和调用set方法的Field实例大概率不是同一个，final校验逻辑根本没有触发。
• 即使你在同一个Field实例上先加FINAL标记再调用set，JDK中Field.set的校验逻辑对非静态final字段的限制极弱：只要提前调用了setAccessible(true)，哪怕带FINAL标记也可以正常赋值。我们常见的移除FINAL标记的操作，更多是为了避免JIT编译期的常量内联导致修改不生效，并非为了绕过set方法的校验。

你的方案不可行，无法实现动态不可变 #

你当前的思路存在本质缺陷，不可能达到对象不可变的目的：

• 修改仅对当前持有的单个Field实例生效，其他代码只要重新获取Field实例就能绕过限制，也可以直接调用原有setter方法修改属性，完全没有防护效果。
• JDK 9及以上版本已经限制了通过反射修改Field.class的modifiers字段，执行时会直接抛出UnsupportedOperationException，兼容性极差。

可行的动态不可变实现方案 #

推荐两种可落地的实现思路：

• 方案一：构造POJO对象完成属性赋值后，用JDK动态代理/CGLIB生成POJO的子类实现，重写所有setter方法，调用时直接抛出UnsupportedOperationException，对外仅暴露代理对象。
• 方案二：基于原有POJO对象的属性值，生成一个仅提供getter方法的不可变包装类实例，对外只返回该包装类，完全屏蔽修改入口。

内容的提问来源于stack exchange，提问作者rm12345