c++ 标准中的 if..else 语句答案

【问题标题】：if..else statement in the c++ standardc++ 标准中的 if..else 语句
【发布时间】：2014-08-25 18:57:02
【问题描述】：

来自 C++ 标准第 6.4.1 节：if 语句：

如果条件 (6.4) 的结果为真，则执行第一个子语句。如果选择的 else 部分语句存在且条件为假，第二个子语句被执行。在 if 语句的第二种形式（一个包括 else)，如果第一个子语句也是 if 语句那么那个内部 if 语句应该包含一个 else 部分。

第 6.4 节：选择声明：

Selection statements choose one of several flows of control.
    selection-statement:
        if ( condition ) statement
        if ( condition ) statement else statement
    condition:
       expression
       attribute-specifier-seqopt decl-specifier-seq declarator = initializer-clause
       attribute-specifier-seqopt decl-specifier-seq declarator braced-init-list

我认为 else if() {} 语句是独立于 if() {} 和 else {} 的语句。现在看来，这个 else if {} 语句只是一个 else 语句，里面有它自己的 if() {} 所以这两个代码是相等的：

if(condition) {

    }
    else {
        if(condition) {

        }
    }

if(condition) {

    }
    else if(condition) {

    }

现在如果我们有多个 else if-s 怎么办？这些代码在 C++ 中也是一样的：

if(condition) {

    }
    else {
        if(condition) {

        }
        else {
            if(condition){

            }
        }
    }

if(condition) {

    }
    else if {

    }
    else if {

    }

关于最后一个代码：当我们编写不带花括号的 else 语句时，只有第一个语句与 else 相关联，因为其他语句不属于该 else （它们不在第一条语句的花括号中）。那么编译器说第二个 else 不与 if 语句关联是不是合乎逻辑的？

【问题讨论】：

技术上没有单独的else 语句，它是if 语句的可选部分。
我知道这一点，我在上面的帖子中写道。我的问题在我的帖子末尾。
您自己引用了相应的语法：if ( condition ) statement else statement 所以我不确定您在问什么，每个 else 都是 if 的 else，那么您认为还有哪些 else 没有 if？跨度>
说第二个 else 不与 if 语句关联是不“合乎逻辑的”，因为它是关联的。尝试在没有 if 的情况下使用 else。
还会是什么？

标签： c++ if-statement

【解决方案1】：

if (condition) statement else statement

是一个单一的选择语句。这意味着整个if...else 是先前else 的子语句。

或者换句话说，你从底部开始滚动语句。

【讨论】：

"这意味着整个 if...else 是之前 else 的子语句。" - 谢谢。这就是我一直在寻找的答案。

【解决方案2】：

else 是它对应的if 语句的一部分。在这种情况下：

if(condition) {

}
else if {

}
else if {

}

嵌套语句如下：

if (condition) { } else // first statement
  if { } else           // second statement
    if { }              // third statement

所以第二个else 与第二个if 相关联。

【讨论】：

【解决方案3】：

这些规则的原因是为了解决一个称为Dangling else 问题的问题。

它在这样的代码中抬起头......

if (A) 
if (B) DoB();
else DoC();

DoC() 何时执行？当A 是false 时会发生这种情况吗？还是当A 是true 而B 是false 时会发生这种情况？

编译器没有逻辑方法来解决这种情况。所以在正常的解析规则之外，6.3 声明在这种模棱两可的情况下，else 属于 inner if 语句。

【讨论】：

我不知道你的意思是什么。第一个 if 没有 else，else 语句与第二个 if 相关联。你能说得更具体点吗？
抱歉，我解决了这个问题。
所以，正如@Sebastian Redl 所说，整个 if-else 是一个子语句。这是第一个 if 语句的子语句。如果是我之前想的那样，那么就会出现这个问题。非常好的答案，感谢您指出这一点。
澄清这种（错误的）歧义正是为什么大多数编码规则建议始终在 if 语句中使用大括号的原因。当前的 GCC 对该代码发出警告。

【解决方案4】：

不，编译器说第二个 else 不与 if 语句关联是不合逻辑的。

【讨论】：