启用R8混淆时Boolean字段赋值后被重置的问题排查

问题现象 #

某DataHolder类在启用minifyEnabled true后出现异常：通过三参构造函数实例化时，构造内明明给myFlag赋了正确值，但调用方访问该字段时却被重置为false。该问题仅在升级Gradle插件（对应新版R8）后出现，旧版R8和ProGuard下无此问题。

有问题的原始代码 #

public class DataHolder {
    public SomeEnum myEnum;
    public Object myData;
    public boolean myFlag;

    public DataHolder(SomeEnum myEnum, Object myData, boolean myFlag) {
        this(myEnum, myData);
        this.myFlag = myFlag;
    }

    public DataHolder(SomeEnum myEnum, Object myData) {
        this.myEnum = myEnum;
        this.myData = myData; // 原代码笔误修正：this.data=data → this.myData=myData
        this.myFlag = false;
    }
}

修复后的正常代码 #

public class DataHolder {
    public SomeEnum myEnum;
    public Object myData;
    public boolean myFlag;

    public DataHolder(SomeEnum myEnum, Object myData, boolean myFlag) {
        this.myEnum = myEnum;
        this.myData = myData;
        this.myFlag = myFlag;
    }

    public DataHolder(SomeEnum myEnum, Object myData) {
        this(myEnum, myData, false); 
    }
}

原因分析 #

1. 新版R8优化逻辑更激进
   新版R8的构造函数优化（如构造内联、冗余赋值消除）规则比旧版严格。原始代码中，三参构造先调用双参构造给myFlag设为false，再手动覆盖为传入值。R8误判这两次赋值为冗余操作，错误保留了初始的false赋值，丢弃了后续的覆盖操作。

2. 赋值路径识别逻辑差异
   旧版R8和ProGuard能正确识别：三参构造中后续的赋值是对前一次的有效覆盖。但新版R8的静态分析在处理"先调用其他构造赋值，再本地覆盖"的场景时出现偏差，认为最终值应是构造链中最早的赋值结果（即false）。

3. 代码笔误加剧分析混乱
   原代码双参构造中的this.data = data是明显笔误，虽不直接影响myFlag，但可能干扰R8的静态分析逻辑，让它对整个构造函数的赋值判断出现误差。

修复逻辑 #

修复后的代码反转了构造调用链：让双参构造调用三参构造并传入false，确保myFlag每个实例仅被赋值一次。这种单一赋值路径符合R8的优化预期，不会被误判为冗余操作，因此能正确保留myFlag的最终值。

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