该标准所说的“该陈述的后续条件”是什么意思？

Question

从 N4567 开始的标准禁止对先前在 条件 中声明的名称进行某些类型的重新声明，如下所示 - 根据标准（§3.3.3/4）：

在 for-init-statement、for-range-declaration 以及 if、while、for 和 switch 语句的条件中声明的名称对于 if、while、for 或 switch 语句是局部的（包括受控语句），并且不应在在该语句的后续条件中或在受控语句的最外层块（或者，对于 if 语句，任何最外层块）中重新声明；见 6.4。

但是，考虑到以下代码可以正常编译，

int main(void) {
    if (int i=10)
        if (int i=20)
            ;
    return 0;
}

我似乎不清楚“该语句的后续条件”究竟代表什么。

Answer 1

突出显示的“that”语句表示已定义名称的if、while、for 和switch 语句，而不是由条件或迭代控制的子语句。

解释如下：

6.4/3： 由条件中的声明引入的名称（由 decl-specifier-seq 或 条件）在其声明点到结束的范围内 由条件控制的子语句。 如果名字是 在子语句的最外层块中重新声明 条件，重新声明名称的声明格式不正确。

这就是为什么下面的陈述是有效的：

if (int i=10)
    if (int i=20)
        ;

编译器不会将if (int i=20) 的声明分析为同一 if 语句的不同条件，而是作为受控子语句。并且由于 i 的第二次声明发生在条件中，因此在受控语句的外部块中不考虑它。

相比之下，以下几乎等效的语句是无效的，因为它打破了外部块约束：

if (int k=10) {
    int k=20;   // <===== ouch ! redefinition in the outerblock 
    if (k)
        cout <<"oops";
}

因此，您可以拥有“that 语句的后续条件”的唯一情况是 for 语句。该标准突出了这种特殊情况，通过更清晰的措辞为您引用的约束提供了理由：

6.5.3/1： (...) 在 for-init-statement 中声明的名称在同一个声明区域中 作为条件中声明的，

即在 init 和条件中声明相同的名称会破坏 ODR。