15

在尝试为多个平台编译以下(简化的)代码时,我发现它在某些平台上失败了,即 IBM 的 xlC_r。进一步的调查发现,它在 comeau 和 clang 上也失败了。它可以使用 g++ 和 Solaris 的 CC 成功编译。

这是代码:

int main()
{
    int a1[1];
    bool a2[1];

    for (int *it = a1, *end = a1+1; it != end; ++it) {
        //...
        bool *jt = a2, *end = a2+1;
        //...
    }
}

xlC_r 错误:

"main.cpp", line 8.25: 1540-0400 (S) "end" has a conflicting declaration.
"main.cpp", line 6.25: 1540-0425 (I) "end" is defined on line 6 of "main.cpp".

叮当错误:

main.cpp:8:25: error: redefinition of 'end' with a different type
        bool *jt = a2, *end = a2+1;
                        ^
main.cpp:6:25: note: previous definition is here
    for (int *it = a1, *end = a1+1; it != end; ++it) {
                        ^

喜剧错误:

"ComeauTest.c", line 8: error: "end", declared in for-loop initialization, may not
          be redeclared in this scope
          bool *jt = a2, *end = a2+1;
                          ^

问题是为什么这是一个错误?

纵观 2003 年标准,它说以下(6.5.3):

The for statement
    for ( for-init-statement; condition; expression ) statement
is equivalent to
    {
        for-init-statement;
        while ( condition ) {
            statement;
            expression;
        }
    }
except that names declared in the for-init-statement are in the same
declarative-region as those declared in condition

这里没有在条件中声明的名称。

此外,它说(6.5.1):

When the condition of a while statement is a declaration, the scope
of the variable that is declared extends from its point of declaration
(3.3.1) to the end of the while statement. A while statement of the form
    while (T t = x) statement
is equivalent to
    label:
    {
        T t = x;
        if (t) {
            statement;
            goto label;
        }
    }

同样,我不确定这是否相关,因为条件中没有声明。因此,鉴于 6.5.3 的等效重写,我的代码应该与以下内容相同:

int main()
{
    int a1[1];
    bool a2[1];

    {
        int *it = a1, *end = a1+1;
        while (it != end) {
            //...
            bool *jt = a2, *end = a2+1;
            //...
            ++it;
        }
    }
}

这显然会允许重新声明 end 。

4

5 回答 5

8

这个标准有点模棱两可。您引用的等效于while循环的代码意味着存在一个内部范围,循环内的声明可以隐藏条件中的声明;但是标准也说(引用 C++11,因为我手边没有 C++03):

6.4/2 条件规则既适用于选择语句,也适用于forandwhile语句

6.4/3 如果名称在由条件控制的子语句的最外层块中重新声明,则重新声明名称的声明格式不正确。

6.5.3/1 在 for-init-statement 中声明的名称与在条件中声明的名称在同一声明区域中

它们之间意味着不能重新声明名称。

该语言的较旧(1998 年之前)版本将 for-init-statement 中的声明放入循环外的声明性区域中。这意味着您的代码将是有效的,但这不会:

for (int i = ...; ...; ...) {...}
for (int i = ...; ...; ...) {...}  // error: redeclaration of i
于 2012-09-10T12:17:50.550 回答
3

我认为代码是正确的。IMO,问题出在大括号上。请注意,for 语句定义为:

for ( for-init-statement; 条件; 表达式 ) 语句

循环体没有大括号,它们是在使用复合语句时添加的。但是复合语句添加了自己的声明区域,因此内部声明不应与for-init-statement.

以下代码可以使用 clang 和 G++ 编译(注意双括号):

for (int *it = a1, *end = a1+1; it != end; ++it) {{
    //...
    bool *jt = a2, *end = a2+1;
    //...
}}

我的猜测是,clang 编译器试图优化,好像循环被定义为:

for ( for-init-statement; 条件; 表达式 ) { statement-seq }

随着含义的细微变化:两个声明区域融合在一起。

然而,在第二个方面,即使它根本没有使用大括号:

for (int x=0; ;)
    char x;

它应该正确编译。来自 C++ 草案 6.5,par。2:

迭代语句中的子语句隐式定义了块范围。

因此char x;,它本身(隐式)定义了一个块范围,并且不应发生冲突的声明。

于 2012-09-10T12:29:39.757 回答
0

当前版本的标准对此很清楚:

6.5 迭代语句 [stmt.iter]

2 -迭代语句中的子语句[例如,for循环] 隐含地定义了一个块范围(3.3),每次通过循环进入和退出。

C 有类似的规则:

6.8.5 迭代语句

语义

5 - 迭代语句是一个块,其范围是其封闭块范围的严格子集。循环体也是一个块,其范围是迭代语句范围的严格子集。

于 2012-09-10T12:38:52.130 回答
0

一些通常较旧的编译器使在 for 循环中声明的变量在循环范围之外可见。

为了使所有编译器使用更新(和更好)的方式运行,声明一个宏,如下所示:

// In older compilers, variables declared in a for loop statement
// are in the scope of the code level right outside the for loop.
// Newer compilers very sensibly limit the scope to inside the
// loop only. For compilers which don't do this, we can spoof it
// with this macro:
#ifdef FOR_LOOP_VARS_NEED_LOCAL_SCOPE
   #define for if(0); else for
#endif

然后为每个具有较旧行为的编译器定义 FOR_LOOP_VARS_NEED_LOCAL_SCOPE。例如,对于 MSVC < 8,您将如何做到这一点:

#ifdef _MSC_VER
   #if _MSC_VER < 1400   //  earlier than MSVC8
      #define FOR_LOOP_VARS_NEED_LOCAL_SCOPE
   #endif
#endif
于 2012-09-10T16:17:36.810 回答
0

我在这里参加聚会有点晚了,但我认为 C++11 标准中的这段话最清楚地不允许这样做:

3.3.3 块范围 [basic.scope.local]

4 -在 for-init-statement、for-range-declaration以及 if、while、for 和 switch 语句的条件中声明的名称对于 if、while、for 或 switch 语句(包括受控语句),并且不得在该语句的后续条件中或受控语句的最外层块(或者,对于 if 语句,任何最外层块)中重新声明;见 6.4。

于 2015-12-31T00:19:29.480 回答