if 语句的一个分支不能只是一个声明吗？答案

【问题标题】：A branch of an if-statement cannot be just a declaration?if 语句的一个分支不能只是一个声明吗？
【发布时间】：2014-05-26 10:10:38
【问题描述】：

if 语句的分支不能只是一个声明。如果我们需要在分支中引入名称，则必须将其包含在块中。-----by TC++PL 4th。

void f1(int i)
{
    if (i)
        int x = i + 2;        //error: declaration of if-statement branch
}

但它在 VS2013 和 GCC4.8 的编译器上是有意义的。

工作草案（N3242）告诉我

如果选择语句中的子语句是单个语句而不是复合语句，就好像它被重写为包含原始子语句的复合语句。

代码可以等效地改写为：

void f1(int i)
{
    if (i) {
        int x = i + 2;
    }
}

因此在 if 语句之后，x 不再在范围内。

那么标准是什么？

【问题讨论】：

【解决方案1】：

从句法上讲，声明可以是语句。具体来说，它是一个声明语句。

（我说“可以”是因为并非所有声明都是声明。例如，文件范围内的声明不能合法出现的声明不是声明。）

由于if 语句的语法是：

if ( condition ) statement

或

if ( condition ) statement else statement

if 语句的任一分支作为声明都是完全合法的。

在您的示例中，它并不是特别有用，但我可以轻松想象您可能想要声明一个对象以执行其构造函数和/或析构函数。

if 语句的分支不能只是一个声明。如果我们需要要在分支中引入名称，必须将其括在块.-----由 TC++PL 4th.

我有一份“C++ 编程语言”的 PDF 副本，第 4 版，第 4 次印刷，日期为 2015 年 4 月。9.3 中的声明“声明就是声明”。还在那里。这种说法是不正确的，或者至少是不完整的。声明：

if 语句的分支不能只是一个声明。如果我们需要要在分支中引入名称，必须将其包含在块中。

不再存在；它已更新为：

if 语句分支的声明范围就是分支。如果我们需要在一个分支中引入一个名字，它必须是包含在一个块中（第 9.2 节）。

这不是严格正确的，但是如果你想在一个分支中声明，你需要将它包含在一个块中，如果你想在一个语句中引用它。仅由声明组成的分支是合法的，但通常没有用处。

（顺便说一句，C 有不同的规则。自 1999 年标准以来，C 允许混合声明和语句，但它不将声明视为语句，因此在 C 中，声明不能 if 语句的分支。）

【讨论】：