for ({statements;}; condition; {statements;}) 合法吗？

Question

尽管风格不好，但在 C 语言中，在括号内有一个带大括号的 for 循环是否合法？像这样：

char *a = "a ";
char *b = "b ";

for ( { int aComesFirst = 1;
        char *first = a;
        char *second = b;
      };
      aComesFirst >= 0;
      { aComesFirst--;
        swap(first, second);
      } )
{
  printf("%s%s\n", first, second);
}

如果有可能，我应该在第一个右大括号后加一个分号，还是添加一个空语句？

我确实意识到，将 char* 声明移到 for 循环之外，将 swap 声明移到循环内部的末尾在风格上会更好。但是样式不是这个问题的重点，我只想知道是否可以在括号内放置大括号。

Answer 1

我之前回答过这个问题……这可以通过添加本地 struct 类型轻松地在 C 或 C++ 中合法化。不过，这通常是一种糟糕的风格。

char *a = "a ";
char *b = "b ";

for ( struct loopy {
        int aComesFirst;
        char *first;
        char *second;
      } l = { 1, a, b }; /* define, initialize structure object */

      l.aComesFirst >= 0; /* loop condition */

      l.aComesFirst--, /* loop advance */
      swap(l.first, l.second)
    )
{
  printf("%s%s\n", l.first, l.second);
}

Answer 2

您是否将gcc 与语句表达式一起使用？ http://tigcc.ticalc.org/doc/gnuexts.html#SEC63 也许这将使这种类型的代码工作。除了(int i = { stmts; }; { stmts; bool}; { ... })

Answer 3

不，这是不合法的。如果它是合法的，那么代码无论如何都不会工作，因为 c 具有块级范围，因此您将无法访问大括号中定义的变量。

Answer 4

标准说 (6.8.5.3/1)

for (clause-1 ; expr-2 ; expr-3 ) 语句

我很确定expr-2 或expr-3 都不能被不是表达式的东西替换（块不是表达式），我也很确定clause-1不能用语句代替。

Answer 5

这是不合法的，但这是：

for(i = 0, j = 10; i < 10; i++, j--)
{
  // ..
}

见：the comma operator

Answer 6

不，这是不合法的，但您可以使用逗号来达到一半：

for (int a = 1, b = 2; a < 10; ++a, ++b)

你不能声明多个不同类型的变量，你不能在最后一位使用控制结构，但大多数时候已经足够了。

如果你不知道，这里使用的逗号并不是什么特殊语法只能在for 循环中使用，它是一个通用的operator，可以在任何地方使用来计算左操作数，然后是右操作数，并返回右表达式的结果，即a, b == b、a, b, c == c等。