在条件中声明的变量范围

Question

一些重构导致了一段代码，使我得到了这个最小的测试用例：

int main () {
    if (int i=1) {
        /* IF-BLOCK */
    } else {
        throw i;
    }
}

这编译得很好。但是，我一直认为i 只对IF-BLOCK 可见，但似乎并非如此。这是编译器错误吗？

另外，为什么以下工作？

int main () {
    if (int i=1) {
    } else if (int i=2) {
    } else {
        throw i;
    }
}

注意第二个if“重新声明”i。另一个编译器错误？

Answer 1

不，这实际上是正确的行为。

6.4 选择语句 [stmt.select]

由条件中的声明引入的名称（由 type-specifier-seq 或条件的声明符引入）从其声明点到子语句控制 由条件。 如果在子语句的最外层块中重新声明了名称 条件，重新声明名称的声明是格式错误的。 [示例：

if (int x = f()) {
    int x; // ill-formed, redeclaration of x
}
else {
    int x; // ill-formed, redeclaration of x
}

—结束示例]

（强调我的）

这基本上意味着i的范围从条件开始，在if-block之后结束，其中else-block也是if-block的一部分。

嵌套if 的第二个问题是基于（错误的）假设，即else-if 是介绍性if 的一部分，但事实并非如此。 if (int i=2) 是 第一个 else 的主体！

     if (int i=1)
          |
         / \
        /   \
       /     \
      /       \
     /         \
   if-block   else
               |
           if(int i=2)
             /    \
            /      \
           /        \
       if-block   throw i

这又意味着什么：

int main () {
    if (int i=1) {    
    } else if (1) {
        throw (i+2);
    } else {
        throw i;
    }
}

此代码有效，因为i 声明在throw (i+2); 中可见，但隐藏第一个i 仍然有效，因为在嵌套作用域中，名称可以被覆盖：

int main () {
    if (int i=1) {    
    } else if (int i=2) {
        throw (i+2); // now refers to `int i=2`
    } else {
        throw i;
    }
}

总而言之，不要惊慌：使用最后一条语句中找到的模式编写标记器或解析器或其他东西仍然有效，这里的相关新知识是条件中的任何声明跨越整个if-tree , 但可以在任何嵌套的 if 中被覆盖。

另外，请确保以下内容仍然无效（即使它在旧编译器中有效）：

if (int i=0) {}
std::cout << i; // nope, not valid