c++ - 不明确的 if 和 else 分支 : Is the behaviour defined?

Question

我最近遇到了一些像下面这样的 C++ 代码:

if(test_1)
    if(test_2)
    {
         // Do stuff
    }
    else
       exit(0);

这是不明确的，因为编译器可以将其视为:

if(test_1)
{
    if(test_2)
    {
    }
    else
    {
    }
}

或作为:

if(test_1)
{
    if(test_2)
    {
    }
}
else
{
}

这段代码的行为是根据任何标准(C、C++)定义的吗？我在VC++上的一个C++程序中看到这段代码，它似乎更喜欢第一种解决方案。

Answer 1

Is the behaviour of this code defined according to any standard (C, C++)?

是的，它被定义了。在 C(以及我所知道的所有类似语言)中，“悬挂的其他”绑定(bind)到最后一个自由 if，因此这种解释

if(test_1)
{
    if(test_2)
    {
    }
    else
    {
    }
}

是正确的。