C# 中两个 if 和一个 else。会发生什么？

Question

例如：

if(cond1)
if(cond2) DoCond2();
else DoCond3();

else 语句会被视为第一个 if 或第二个 if 的 else 吗？为什么？ （有从语法角度解释吗？） 其他基于 C 的编程语言（例如 C 和 Java）的答案是否也相同？

注意：这不是家庭作业。我可以轻松测试它，如果我不喜欢默认行为，则可以使用大括号，但我很好奇原因。

编辑 伙计们，显然原来的例子中有一个非常严重的错误。请再次检查。我知道，这很尴尬。对不起。

Answer 1

根据 MSDN

在嵌套 if 语句中， else 子句属于最后一个如果没有相应的else。

同样，C 和 C++ 也可以计算条件，其中 0 的结果为假，任何其他数字为真。在 C# 中，条件必须计算为布尔值 true/false

编辑
根据编辑，它是一个嵌套的 if，因此内部 if 为 true 时进行评估，而 else 仍然与内部 if 一起使用

Answer 2

else 语句会被视为第一个 if 或第二个 if 的 else 吗？

编辑（删除了我原来在这里所说的内容 - 它不适用）：

有了这样的结构，我无法告诉你。每种语言的语法都是不明确的。

但我个人猜测它会“坚持”到最接近的if。否则，人们几乎不可能阅读。

我想说尝试一下，但最好的解决方案是应用禁止人们这样做的编码标准......

为什么？ （有没有从句法角度解释一下？）

您可以查看每种语言的（通常是非官方的）语法定义，以了解为什么这些语句会以它们的方式组合在一起。

（旧）官方 C# 语法：

http:// msdn.microsoft.com/en-us/library/aa645596(v=VS.71).aspx

编辑： 但这对你没有多大帮助，因为语法对于这种情况下的类 C 语言，需要上下文或故意的解决方法。

请参阅：http://en.wikipedia.org/wiki/Dangling_else#Context_Free_Solutions

其他基于 C 的编程语言（例如 C 和 Java）的答案是否也相同？

语法是复杂的事情，正确设置嵌套范围有点困难。但总的来说，答案通常围绕块与语句的定义。

您可以将语句定义为以;结尾的行。然后将块定义为由{ }包围的一系列语句。

因此，您可以将 if 语句定义为 if block-or-statement [else block-or-statement]，即 [ ] 表示它是可选的。

编辑：这个定义的问题是这样的语法需要上下文，并且只能用问题的原始表述来解决问题。当它确实不明确时（作为您的新编辑版本），您必须进行更高级别的处理（上下文）来处理歧义。

C++，例如：（

• 从）是否有yacc-able C++ 语法？
• http://www.computing.surrey.ac.uk/research/dsrg/fog/CxxGrammar.y

在最后一个文档中，您会多次看到“

这个问题存在于许多语言中，而不仅仅是 C 语言。这是您在 BASIC 变体中看到诸如 end if 之类的显式语句的原因之一，或 Python 的 if 规则。

Answer 3

让我们澄清一下 if 语句的工作原理。

在 if 子句之后，您可以有两件事：

• 单行语句
• 多行语句

单行语句就像您提供的两个示例。在这种情况下，仅当 else 直接位于 if 之后时才属于 if （就像您的第二个示例）。

多行语句将在 if 语句后添加大括号 { }。右括号后面的 else 使其属于该语句。

您可以使用 else if 语法“链接”if 语句。下面的 if 的行为与普通 if 类似，但仅当前面的 if 返回 false 时才会进行检查。在您的示例中，无论结果如何，都会检查两个 if 语句。

Answer 4

也许要理解这一点，添加大括号会很有用：

if(cond1) {
    DoCond1();
}
if(cond2) {
    DoCond2();
} else {
    DoCond3();
}

如果 if 或 else 之后没有大括号，则只有第一个语句（在本例中为 DoCondX code>) 属于 if/else 块。

编辑查看编辑后的代码：

if(cond1) {
    if(cond2) {
        DoCond2();
    } else {
        DoCond3();
    }
}