C语言嵌套if-else语句else分支不执行多场景问题咨询

C语言语法明确规定：else 永远会和它前面距离最近、且尚未匹配其他else的if 配对，代码缩进只是为了方便开发者阅读，对编译器的匹配逻辑没有任何影响。

1. 初始代码else不执行的原因 #

初始代码的外层分支结构实际为三层互斥判断：

• 第一层：if(a>b) 匹配后面的else if(b>a)
• 第二层：else if(b>a) 匹配最后的else
• 两个分支内部的嵌套if没有对应else

当出现b>a但b<c（比如你测试用的a=1,b=2,c=3）的场景时：

• if(a>b)不成立，跳过
• else if(b>a)成立，进入分支后执行内层if(b>c)，判断不成立但没有对应else，直接退出该分支
• 因为else if(b>a)已经触发过，最后的外层else永远不会执行，所以不会输出c的相关内容。

2. &&合并条件后正常执行的原因 #

这种写法把嵌套判断合并为了单层互斥分支，三个分支的判断逻辑完全覆盖所有情况：

• 只有a>b且a>c时走第一个分支
• 只有b>a且b>c时走第二个分支
• 其他所有情况（包括c最大、a==b等）都会走最后一个else分支，逻辑没有缺口，所以执行正常。

3. 去掉else-if大括号后正常执行的原因 #

去掉else if(b>a)后的大括号后，else的配对关系发生了变化：

• 此时else不再和外层的if(b>a)配对，而是就近和内层的if(b>c)配对
• 当b>a成立但b>c不成立时，直接触发和if(b>c)配对的else，输出c的相关内容，刚好覆盖了c最大的场景，所以执行正常。

4. 去掉所有大括号后else不执行的原因 #

去掉所有大括号后，第一个if(a>b)后的所有嵌套内容都被归为它的管辖范围，配对关系变为：

• 第一个else if(b>a)就近和内层的if(a>c)配对
• 当a>b不成立时，整个if(a>b)管辖的所有内容（包括内层if、对应的else if分支）都会被直接跳过，后续没有任何可执行的代码，所以else分支不会触发。

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