C语言for循环可上下文转bool的条件表达式运行及零值终止问题

1. for循环条件表达式可隐式转换为布尔值时的运行逻辑 #

C语言中没有内置的布尔类型作为条件判断的强制要求，所有for循环的第二部分（条件表达式）都遵循统一的判定规则：

• 表达式求值结果不等于0时判定为真，继续执行循环流程
• 表达式求值结果等于0时判定为假，直接终止循环
  不管这个表达式是算术运算、关系运算、指针运算还是赋值运算，都会自动按上述规则做隐式的布尔语义转换。
  完整的for循环执行顺序如下：

1. 仅在循环启动时执行一次第一个分号前的初始化语句
2. 对条件表达式求值，按上述规则判断真假
3. 判定为真则执行循环体，判定为假则直接跳出循环
4. 循环体执行完毕后，执行第三个分号后的迭代表达式，回到第2步重复流程

2. 示例代码中x被赋值为0时循环停止的原因 #

你给出的示例代码中，for循环的条件表达式是x=decreaseVal(a)，这是一个赋值表达式，赋值表达式的求值结果等于等号左侧变量被赋值后的最终值。

代码执行流程拆解： #

#include <stdio.h>

int decreaseVal(int i){
    printf("decrease val:  %d  \n",i);
    return --i;
}
 
int main () {
   int x;
   for( int a = 2; x=decreaseVal(a);a--) {
      printf("value of a: %d  \n",a);
   }
   return 0;
}

1. 初始化阶段：a被赋值为2
2. 第一次条件判断：调用decreaseVal(2)，打印decrease val: 2，返回值为--2即1，1赋值给x，整个条件表达式结果为1≠0，判定为真，进入循环体打印value of a: 2
3. 执行迭代表达式a--，a的值变为1
4. 第二次条件判断：调用decreaseVal(1)，打印decrease val: 1，返回值为--1即0，0赋值给x，整个条件表达式结果为0，判定为假，直接终止循环
   也就是说循环停止的核心原因是条件表达式的求值结果为0，刚好这个结果被赋值给了变量x，而非赋值动作本身触发了循环终止。

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