Java反射修改static和final相关变量的思考

问题

起初反射修改String的final变量,按理应该能够修改的,但是发现修改不了?但是如果把String赋值形式改为new String("xxx");,则可以,又是为什么?

  • 为什么反射修改 final String str = "" 变量修改不了,而 final String str = new String("xxx") 形式可以修改?

  • 为什么反射修改非static的final变量不消去final不会报错,而static&final变量不消去final修饰符会报错?

结论

  • 反射修改final变量和是否static无关
  • 反射修改字段值,需要获取Field,底层是FieldAccessor接口,不同类型Field不同FieldAccessor实现,所以会导致非static的final变量不消去final不会报错,而static&final变量不消去final修饰符会报错
  • 具体值修改是通过unsafe.putObjectVolatile(var1, this.fieldOffset, var2);,所以修改类型底层数据结构,存储结构有关。因为final String str = "xxx" 是存储在方法区中的常量池中,是常量,而final String str = new String("xxx");也是存储在方法区中,但是是引用类型,所以引用类型的话就可以直接修改引用,而常量则不可以。
  • 注意:数组是引用类型。

问题解决方式

问题很奇怪,刚开始想了很久没思路,觉得debug一下

public void set(Object obj, Object value)
  throws IllegalArgumentException, IllegalAccessException {
  // 检查
  if (!override) {
    if (!Reflection.quickCheckMemberAccess(clazz, modifiers)){
      Class<?> caller = Reflection.getCallerClass();
      checkAccess(caller, clazz, obj, modifiers);
    }
  }
  // 获取FieldAccessor,并修改值
  getFieldAccessor(obj).set(obj, value);
}
  • 修改Field接口:FieldAccessor很关键
public FieldAccessor newFieldAccessor(Field var1, boolean var2) {
      checkInitted();
      return UnsafeFieldAccessorFactory.newFieldAccessor(var1, var2);
}
static FieldAccessor newFieldAccessor(Field var0, boolean var1) {
    Class var2 = var0.getType();
    boolean var3 = Modifier.isStatic(var0.getModifiers());
    boolean var4 = Modifier.isFinal(var0.getModifiers());
    boolean var5 = Modifier.isVolatile(var0.getModifiers());
    boolean var6 = var4 || var5;
    boolean var7 = var4 && (var3 || !var1);
    if(var3) {
        UnsafeFieldAccessorImpl.unsafe.ensureClassInitialized(var0.getDeclaringClass());
       // return ...;
    } else {
       // return ...;
    }
}
  • 在这里可以知道,在获取FieldAccessor的时候已经确定了static和final,不取消final会报错的原因跟FieldAccessor的实现有关
  • 这里不考虑var5,所以static final 变量 var7为true,final非static变量var7为false。
    if(var3) {
        UnsafeFieldAccessorImpl.unsafe.ensureClassInitialized(var0.getDeclaringClass());
        
        return (FieldAccessor)(!var6?
        (var2 == Boolean.TYPE? new UnsafeStaticBooleanFieldAccessorImpl(var0):
        (var2 == Byte.TYPE?new UnsafeStaticByteFieldAccessorImpl(var0):
        (var2 == Short.TYPE?new UnsafeStaticShortFieldAccessorImpl(var0):
        (var2 == Character.TYPE?new UnsafeStaticCharacterFieldAccessorImpl(var0):
        (var2 == Integer.TYPE?new UnsafeStaticIntegerFieldAccessorImpl(var0):
        (var2 == Long.TYPE?new UnsafeStaticLongFieldAccessorImpl(var0):
        (var2 == Float.TYPE?new UnsafeStaticFloatFieldAccessorImpl(var0):
        (var2 == Double.TYPE?new UnsafeStaticDoubleFieldAccessorImpl(var0):
        new UnsafeStaticObjectFieldAccessorImpl(var0))))))))):
        (var2 == Boolean.TYPE?new UnsafeQualifiedStaticBooleanFieldAccessorImpl(var0, var7):
        (var2 == Byte.TYPE?new UnsafeQualifiedStaticByteFieldAccessorImpl(var0, var7):
        (var2 == Short.TYPE?new UnsafeQualifiedStaticShortFieldAccessorImpl(var0, var7):
        (var2 == Character.TYPE?new UnsafeQualifiedStaticCharacterFieldAccessorImpl(var0, var7):
        (var2 == Integer.TYPE?new UnsafeQualifiedStaticIntegerFieldAccessorImpl(var0, var7):
        (var2 == Long.TYPE?new UnsafeQualifiedStaticLongFieldAccessorImpl(var0, var7):
        (var2 == Float.TYPE?new UnsafeQualifiedStaticFloatFieldAccessorImpl(var0, var7):
        (var2 == Double.TYPE?new UnsafeQualifiedStaticDoubleFieldAccessorImpl(var0, var7):
        new UnsafeQualifiedStaticObjectFieldAccessorImpl(var0, var7))))))))));
    } else {
        return (FieldAccessor)(!var6?(
        var2 == Boolean.TYPE?new UnsafeBooleanFieldAccessorImpl(var0):
        (var2 == Byte.TYPE?new UnsafeByteFieldAccessorImpl(var0):
        (var2 == Short.TYPE?new UnsafeShortFieldAccessorImpl(var0):
        (var2 == Character.TYPE?new UnsafeCharacterFieldAccessorImpl(var0):
        (var2 == Integer.TYPE?new UnsafeIntegerFieldAccessorImpl(var0):
        (var2 == Long.TYPE?new UnsafeLongFieldAccessorImpl(var0):
        (var2 == Float.TYPE?new UnsafeFloatFieldAccessorImpl(var0):
        (var2 == Double.TYPE?new UnsafeDoubleFieldAccessorImpl(var0):
        new UnsafeObjectFieldAccessorImpl(var0))))))))):
        (var2 == Boolean.TYPE?new UnsafeQualifiedBooleanFieldAccessorImpl(var0, var7):
        (var2 == Byte.TYPE?new UnsafeQualifiedByteFieldAccessorImpl(var0, var7):
        (var2 == Short.TYPE?new UnsafeQualifiedShortFieldAccessorImpl(var0, var7):
        (var2 == Character.TYPE?new UnsafeQualifiedCharacterFieldAccessorImpl(var0, var7):
        (var2 == Integer.TYPE?new UnsafeQualifiedIntegerFieldAccessorImpl(var0, var7):
        (var2 == Long.TYPE?new UnsafeQualifiedLongFieldAccessorImpl(var0, var7):
        (var2 == Float.TYPE?new UnsafeQualifiedFloatFieldAccessorImpl(var0, var7):
        (var2 == Double.TYPE?new UnsafeQualifiedDoubleFieldAccessorImpl(var0, var7):
        new UnsafeQualifiedObjectFieldAccessorImpl(var0, var7))))))))));
    }
  • 对于static、final变量,var3为true,var7为true,会创建UnsafeQualifiedStaticObjectFieldAccessorImpl类

  • 对于非static变量,var3为false,var7为true,会创建UnsafeQualifiedObjectFieldAccessorImpl类

static final的FieldAccessor

UnsafeQualifiedStaticObjectFieldAccessorImpl
// UnsafeQualifiedStaticObjectFieldAccessorImpl 父类
abstract class UnsafeQualifiedStaticFieldAccessorImpl extends UnsafeStaticFieldAccessorImpl {
    protected final boolean isReadOnly;

    UnsafeQualifiedStaticFieldAccessorImpl(Field var1, boolean var2) {
        super(var1);
        this.isReadOnly = var2;
    }
}
  • 可以看到这里的 isReadOnly 为true
设置Field值方法
public void set(Object var1, Object var2) throws IllegalArgumentException, IllegalAccessException {
    if(this.isReadOnly) {
        // 错误所在
        this.throwFinalFieldIllegalAccessException(var2);
    }

    if(var2 != null && !this.field.getType().isAssignableFrom(var2.getClass())) {
        this.throwSetIllegalArgumentException(var2);
    }

    unsafe.putObjectVolatile(this.base, this.fieldOffset, var2);
}
  • 可以看到,会先判断 isReadOnly变量(是否只读),如果没有取消final修饰符则会在这里抛出异常
  • 具体值的修改是通过 unsafe.putObjectVolatile(var1, this.fieldOffset, var2);进行。

final非static的FieldAccessor

UnsafeQualifiedObjectFieldAccessorImpl
// UnsafeQualifiedObjectFieldAccessorImpl 父类,同UnsafeQualifiedStaticObjectFieldAccessorImpl
abstract class UnsafeQualifiedFieldAccessorImpl extends UnsafeFieldAccessorImpl {
    protected final boolean isReadOnly;

    UnsafeQualifiedFieldAccessorImpl(Field var1, boolean var2) {
        super(var1);
        this.isReadOnly = var2;
    }
}
  • 这里的 isReadOnly 上面讲为false,所以不会判断是否可读

参考:

  • Why does reflection fail to update a static field?

如果上述有哪些错误或者不足,或者其他方面的思考,希望您能够指出,Thx!

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 214,658评论 6 496
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,482评论 3 389
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 160,213评论 0 350
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,395评论 1 288
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,487评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,523评论 1 293
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,525评论 3 414
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,300评论 0 270
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,753评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,048评论 2 330
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,223评论 1 343
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,905评论 5 338
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,541评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,168评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,417评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,094评论 2 365
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,088评论 2 352

推荐阅读更多精彩内容

  • 1. Java基础部分 基础部分的顺序:基本语法,类相关的语法,内部类的语法,继承相关的语法,异常的语法,线程的语...
    子非鱼_t_阅读 31,608评论 18 399
  • Spring Cloud为开发人员提供了快速构建分布式系统中一些常见模式的工具(例如配置管理,服务发现,断路器,智...
    卡卡罗2017阅读 134,646评论 18 139
  • 一、基本数据类型 注释 单行注释:// 区域注释:/* */ 文档注释:/** */ 数值 对于byte类型而言...
    龙猫小爷阅读 4,257评论 0 16
  • java笔记第一天 == 和 equals ==比较的比较的是两个变量的值是否相等,对于引用型变量表示的是两个变量...
    jmychou阅读 1,493评论 0 3
  • 文/尘间红叶 01 分别二十年后,与你重新有了联系,常常一个人莫名微笑。搞不清楚,你是怎样把我默默地放在心里这些年...
    尘间红叶阅读 523评论 2 3