为何for循环外定义的dmgModifier、attModifier会无操作自动置0

Java 方法内局部变量在for循环中无原因重置为0，仅首个Loadout实例稳定复现

问题详情 #

在编写DPS计算逻辑时，通过for循环遍历0~150的敌方防御值，逐行计算输出列表。在循环外定义的两个局部变量dmgModifier、attModifier，会随机在循环的某一位置（每次运行触发位置不固定）无原因变为0，且全代码范围内不存在其他对这两个变量的引用修改操作。
复现特征：

• 问题仅在数组存储的第一个Loadout对象上稳定触发
• 更换武器后重新执行计算方法，问题偶发复现
• 更换其他装备时问题完全不出现
• 变量变为0后，后续循环迭代会一直保持0值

异常代码定位 #

private void generateDps() {
    // ... 省略常量定义
    double dexModifier = 1.0;
    double attModifier = 1.0;
    double dmgModifier = 1.0;

    // 仅在循环前执行一次的状态效果判断
    if(activeEffects[0]) attModifier = 1.25;
    // ... 其余状态判断逻辑省略

    // ... 循环前的基础值计算
    for(int currentDefense = 0; currentDefense <= MAX_ENEMY_DEFENSE; currentDefense++) {
        if(weapon.getAttribute() == 0) {
            // 异常触发行：此时dmgModifier、attModifier已经变为0
            double currentDmg = Math.round(baseDmg - currentDefense) * dmgModifier * attModifier;
        }
        loadoutDps.add(new DpsEntry(finalDps, loadoutId));
    }
}

异常日志表现 #

Current defense: 27
[Base shot damage: 451.36] [Damage modifier: 1.0] [Attack modifier: 1.0] [Calculated shot damage: 424.0]
Final shot damage: 424.0
Final dps: 2539.61
Current defense: 28
[Base shot damage: 451.36] [Damage modifier: 0.0] [Attack modifier: 0.0] [Calculated shot damage: 0.0]
Final shot damage: 45.0 // 触发了预设的最低伤害阈值
Final dps: 269.53

异常成因 #

局部变量存储在方法对应的栈帧内存中，正常运行逻辑下不会被无原因修改，结合复现场景，可能的触发原因有三类：

• 数组越界造成栈内存踩踏
  代码中访问的activeEffects数组，如果存在两种情况就会触发无异常的内存覆写：一是数组实际初始化长度小于代码访问的最大索引（例如代码访问到索引4，但数组实际长度仅为4），二是数组是通过JNI映射的非托管内存、或通过Unsafe类直接操作的内存。这类场景下的越界写操作不会抛出Java层的数组越界异常，会直接覆写栈上相邻的变量值。由于编译器对栈上变量的排布没有固定顺序，被覆写的位置不固定，完全匹配“异常触发位置随机”的特征。
• R8编译优化逻辑错误
  开启代码混淆和优化后，R8在做常量传播时出现bug，会把原本初始化为1.0的局部变量错误替换为0。这类问题通常在类首次加载、JIT即时编译优化触发时随机出现，和“首次运行稳定复现、换武器后偶发”的特征完全匹配。
• Logcat异步缓冲区导致的显示错觉
  快速循环打印的日志在异步缓冲区中会出现顺序错位、跨日志块拼接的问题，偶尔会造成“变量被修改”的错觉，但从日志中可以看到最终计算值确实变为0，因此可以排除单纯的显示问题。

修复方案 #

• 第一时间排查activeEffects数组的初始化逻辑，在循环前增加数组长度校验，确保数组长度满足访问需求，杜绝越界访问的可能。
• 临时关闭R8全量优化，重新打包运行，如果问题消失，直接把两个修饰符变量改为循环前预计算的最终值，不再以局部变量的形式参与循环运算，绕开优化器的bug。
• 在循环体最开始位置增加变量值校验，如果变量值出现非预期的0值，直接打印栈轨迹定位触发修改的位置。
• 调整变量定义位置，将循环内不会修改的计算值提前预计算为final常量，减少栈上连续内存的排布，降低被越界写覆写的概率。

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