C语言中else块为何与嵌套if块关联？代码输出疑问解析

问题原文 #

以下是一段C语言代码，执行后输出结果为1，我无法理解为何else块会与嵌套的if块关联而非外层if块，恳请大家帮忙解释：

int x=1, y=1;
if (y<0)
    if (y>0) x=3;
    else x=5;
printf("%d", x);

更新：该问题来自某企业往年面试题，我平时习惯为if和else块添加花括号，现已理解为何整个代码块未执行，感谢各位的回复😊

问题解析 #

这本质是C语言里else的就近匹配规则在起作用——编译器会自动把else和离它最近的、未配对的if绑定，完全不管代码的缩进格式。

具体分析你的代码 #

1. 外层if (y<0)的条件是y<0，但y=1不满足这个条件，所以外层if包裹的所有内部代码（包括嵌套的if(y>0)和对应的else）都不会执行，x保持初始值1，最终输出1。
2. 哪怕你把else和外层if对齐缩进，编译器依然会把它和内层if(y>0)配对。如果想让else和外层if绑定，必须用花括号明确界定代码块：

int x=1, y=1;
if (y<0) {
    if (y>0) x=3;
} else {
    x=5;
}
printf("%d", x);

这样修改后，因为y=1不满足y<0，会执行else块，x会被赋值为5，最终输出5。

总结 #

缩进仅用于提升代码可读性，编译器不依赖缩进判断逻辑结构。写C语言条件语句时，养成给if/else块加花括号的习惯，既能避免这类匹配规则导致的逻辑错误，也能让代码逻辑更清晰。

内容的提问来源于stack exchange，提问作者Adarsh Pandey