循环中两种带j后置自减的if代码执行结果不同的原因是什么

两者的核心区别是j自减操作的触发条件完全不同，具体逻辑如下：

• 第一段代码逻辑：
  只有同时满足j >= 0 和 b.charAt(j) == '1'两个条件时，才会执行j--和carry++。如果b.charAt(j)的取值不是'1'，j的值不会发生任何变化。
• 第二段代码逻辑：
  只要第一个条件j >= 0成立，在执行b.charAt(j)取值判断的同时，不管第二个条件b.charAt(j) == '1'是否成立，j都会自减1。只有两个条件都满足时才会执行carry++。

补充：因为&&是短路逻辑运算符，两段代码在j < 0的情况下都会直接跳过后续判断，不会修改j的取值，这是两者唯一的逻辑一致点。

我们可以用实际场景验证差异：假设当前j = 2，b.charAt(2) == '0'

• 第一段代码执行后：j仍然为2，carry值不变
• 第二段代码执行后：j变为1，carry值不变

因为该if分支处于循环内部，这个差异会直接导致循环的遍历进度完全不一致：第二段代码会跳过部分字符的判断，不仅最终运算结果会出错，出现数组下标越界的概率也远高于第一段代码。

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