Java嵌套循环中break;语法的执行机制与代码运行流程解析

前置规则 #

Java中不带标签的break仅会终止直接包裹它的最内层循环，触发后直接跳过该内层循环剩余的所有语句，回到外层循环的迭代逻辑继续执行，不会跳出外层循环。
本例中break触发的唯一前提是：执行到if (x == 6)判断语句时，变量x的当前值恰好等于6，不满足该条件时break不会执行。 #

原始示例代码 #

public static void main(String[] args) {
    int x = 0;
    int y = 30;
    for (int outer = 0; outer < 3; outer ++) {
       for (int inner = 4; inner > 1; inner --) {
          x = x + 3;
          y = y - 2;
          if (x == 6) {
             break;
          }
          x = x + 3;
       }
       y = y - 2;
     }
     System.out.println(x + " " + y);
}

逐轮执行过程 #

初始状态：x=0，y=30，外层循环共执行3轮（outer取值0、1、2），内层循环每轮初始值inner=4，迭代条件inner>1，无break时每轮内层会执行3次迭代（inner=4、3、2）。

第1轮外层循环（outer=0） #

进入内层循环：

1. inner=4：x加3变为3，y减2变为28；判断x==6？3≠6，不触发break；x再加3变为6；inner自减为3
2. inner=3：x加3变为9，y减2变为26；判断x==6？9≠6，不触发break；x再加3变为12；inner自减为2
3. inner=2：x加3变为15，y减2变为24；判断x==6？15≠6，不触发break；x再加3变为18；inner自减为1，不满足循环条件，内层循环结束
   内层结束后执行外层逻辑：y减2变为22；outer自增为1

第2轮外层循环（outer=1） #

进入内层循环：

1. inner=4：x加3变为21，y减2变为20；判断x==6？不成立；x再加3变为24；inner自减为3
2. inner=3：x加3变为27，y减2变为18；判断x==6？不成立；x再加3变为30；inner自减为2
3. inner=2：x加3变为33，y减2变为16；判断x==6？不成立；x再加3变为36；inner自减为1，内层循环结束
   内层结束后执行外层逻辑：y减2变为14；outer自增为2

第3轮外层循环（outer=2） #

进入内层循环：

1. inner=4：x加3变为39，y减2变为12；判断x==6？不成立；x再加3变为42；inner自减为3
2. inner=3：x加3变为45，y减2变为10；判断x==6？不成立；x再加3变为48；inner自减为2
3. inner=2：x加3变为51，y减2变为8；判断x==6？不成立；x再加3变为54；inner自减为1，内层循环结束
   内层结束后执行外层逻辑：y减2变为6；outer自增为3，不满足outer<3的条件，外层循环结束
   最终程序执行打印语句，输出结果为54 6。

break语句全程未触发的原因 #

很多人会误以为x增长到6时会触发break，但实际上x等于6的时机永远对不上if判断的节点：

• 代码中if判断位于两次x = x +3语句之间，只有第一次加3后的x值会参与判断，第二次加3的逻辑在if判断之后
• 第一次执行到if判断时，x刚从0加3变为3，不满足等于6的条件，之后才会执行第二次加3把x变为6
• 下一次执行到if判断时，已经进入下一轮内层迭代，会先执行第一次加3把x从6变为9，此时判断9≠6，之后x只会持续递增，后续每次到if判断节点时x的值依次为15、21、27……全部是3的奇数倍，永远不可能等于6
  因此这段代码中的break语句没有任何执行机会，两层循环均会完整跑完所有预设迭代次数。

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