C++嵌套if语句的else匹配规则及代码运行结果疑问

问题分析 #

你的认知疏漏在于忽略了复合语句（大括号包裹的代码块）对if语法层级的截断效果。
C++的else匹配规则的核心前提是：仅在同一语法层级下，匹配最近的尚未绑定else的if语句。

你提供的测试代码如下：

#include <iostream>
using namespace std;
int main()
{
    int a = 1;
    int b = 2;
    if(a > 0)
    {
        cout << "we are in the first" << endl;
        if(b > 3)
        {
            cout << "we are in the second" << endl;
        }
    }
    else
    {
        cout << "we are in else" << endl;
    }
}

代码执行逻辑拆解 #

1. 首先判断外层if(a > 0)条件：a值为1，条件为真，进入外层if对应的大括号代码块
2. 执行输出语句cout << "we are in the first" << endl;
3. 进入内层if(b > 3)判断：b值为2，条件为假，该内层if没有对应的else分支，直接结束内层if的执行
4. 外层if的大括号代码块执行完毕，直接跳过后续的else块，程序运行结束

最终输出结果为：we are in the first

误区说明 #

你混淆了无大括号的嵌套if场景和有大括号的场景，只有没有大括号分隔语法层级的情况下，else才会向内匹配最近的if，举个反例：

// 无大括号的嵌套if
if(a>0)
    if(b>3)
        cout << "we are in the second" << endl;
else
    cout << "we are in else" << endl;

上述代码中没有大括号分隔层级，else才会和同层级的内层if(b>3)匹配。而你原代码的大括号已经把内层if完全包裹在外层if的内部，和外层else不属于同一语法层级，因此外层else只能和外层的if(a > 0)匹配。

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