起点 × 比较符 × 边界 × 步长
循环到底会走几步？
改动四个参数，在数轴上核对访问范围。严格比较使用空心边界，包含比较使用实心边界；步长决定会到达还是跨过边界。
当前表达式
for (int i = 0; i < 5; i += 1)
起点与边界必须位于 Java int 范围；步长限 −1,000,000～1,000,000 且不能为 0；最多执行 120 次循环体。
执行状态
“单步”完成一次条件检查、循环体执行和更新。
- 当前 i
- 0
- 当前条件
- 待检查
- 循环体次数
- 0
- 访问个数
- 0
- 退出状态
- 尚未退出
访问过的整数序列
尚未进入循环体
边界数轴
紫色短线表示已访问值，橙色菱形表示更新后的当前 i。
包含
不包含
当前 i
[0, 5)：右端边界 5 不包含
一键边界案例
载入后可先读表达式，再观察序列与退出分类。
嵌套次数：把循环画成方块
矩形模式每行同样多；三角模式第 r 行正好执行 r 次。
循环体总次数
4 × 3 = 12
外层 4 次，每次执行内层 3 次。
4 行 × 每行 3 个方块