for循环初始化、条件、更新阶段使用自减运算符的问题

原代码如下：

int a=9;
for(a--;a--;a--)
    printf("%d\n",a);

实际输出：

7
5
3
1

为什么不会无限循环？ #

核心是明确C语言for循环的固定执行顺序：

1. 仅执行一次初始化表达式（for括号内第一个部分）
2. 计算条件表达式（第二个部分）：结果为非0则进入循环体，为0直接终止循环
3. 执行循环体代码
4. 执行增量表达式（第三个部分），回到步骤2重复判断

逐轮拆解执行过程：

• 初始状态：a = 9
• 初始化阶段：执行a--，a变为8（此步骤只运行一次）
• 第一次循环：
  • 条件判断：执行a--，先判断当前a=8为非0（条件成立），随后a自减为7
  • 执行循环体，打印7
  • 执行增量表达式a--，a变为6
• 第二次循环：
  • 条件判断：执行a--，判断当前a=6为非0，随后a自减为5
  • 打印5
  • 执行增量a--，a变为4
• 第三次循环：
  • 条件判断：执行a--，判断当前a=4为非0，随后a自减为3
  • 打印3
  • 执行增量a--，a变为2
• 第四次循环：
  • 条件判断：执行a--，判断当前a=2为非0，随后a自减为1
  • 打印1
  • 执行增量a--，a变为0
• 循环终止：
  • 再次执行条件判断a--，当前a=0，判断结果为假，循环直接终止（此时a会自减为-1，但循环体不再执行）

可见循环的条件表达式最终会得到0，触发终止逻辑，因此不会无限循环。

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