C语言if语句中赋值与判断的执行顺序及代码输出疑问

首先明确两个核心规则：

• 赋值表达式的返回值：C语言里=是赋值运算符，赋值表达式会返回赋值后变量的值。比如a=3执行后，a的值为3，同时整个表达式的结果也是3。if判断的是表达式结果是否为非零——非零视为真，零视为假。
• else的绑定规则：C语言中else总是和最近的未匹配if配对，代码缩进不影响语法逻辑。

你的代码实际执行流程 #

原代码的真实语法结构（忽略缩进干扰）是：

#include <stdio.h>

int main()
{
    int a=4,b=5,x=7;
    if(a=3)
    {
        if (b=0)
            x=10;
        else
            x=0;
    }
    printf("%d\n",x);
    printf("%d\n",b=a);
    return 0;
}

一步步拆解执行：

1. 初始化变量：a=4, b=5, x=7
2. 执行if(a=3)：
   • 先完成赋值，a被设置为3
   • 赋值表达式返回3（非零，判定为真），进入第一个if的代码块
3. 执行内部if(b=0)：
   • 先完成赋值，b被设置为0
   • 赋值表达式返回0（判定为假），不执行x=10，转而执行绑定的else分支
4. else分支执行x=0，x的值从7变为0
5. 后续输出：
   • 第一个printf输出x的值：0
   • 第二个printf执行b=a，a的值为3，b被赋值为3，表达式返回3，输出3

你之前的误解点 #

你可能误以为else和第一个if配对，但实际语法规则中，else会和内部的if(b=0)绑定。如果要让else和第一个if配对，必须用大括号明确包裹代码块：

if(a=3)
{
    if (b=0)
        x=10;
}
else
{
    x=0;
}

这种情况下，if(a=3)判定为真后，进入内部if，b=0判定为假，既不执行x=10，也不会进入else分支，x会保持初始值7。

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