C99：我可以在“for”块的开头声明变量吗？

Question

以下代码根据 C99 合法吗？

...
for(....) {
int x = 4;
...
}
...

您可以假设在第 3 行之前变量 x 从未被声明过。

C99 (PDF)

到目前为止我只发现了以下内容，但我认为这还不够：

块允许将一组声明和语句分组为一个语法单元。 具有自动存储期限和可变长度的对象的初始值设定项 具有块作用域的普通标识符的数组声明符被评估并且值是 存储在对象中（包括在没有对象的情况下存储不确定值） 初始化器）每次按照执行顺序到达声明时，就好像它是一个 语句，并在每个声明中按照声明符出现的顺序排列。

从该 PDF 的第 145 页开始。

Answer 1

这在 C99 和 C89 中都是合法的。
看 6.8.2 ，它定义了复合语句

Answer 2

是的，您可以在 C99 中的任何位置声明或定义变量（在 C89 中的块的开头）。

你说：

“你可以假设在第 3 行之前
变量 x 从未声明过。”

即使之前已声明过，您也可以声明一个具有相同名称的 new 变量。这样做会阻止您访问该块中的旧变量。

int x = 0;               /* old x */
printf("%d\n", x);       /* old x, prints 0 */
do {
    int x = 42;          /* new x */
    printf("%d\n", x);   /* new x, prints 42 */
} while (0);
printf("%d\n", x);       /* old x, prints 0 */

---

我从未尝试过C99 中的以下内容我真的不知道会发生什么:)
当我可以访问（几乎）C99 编译器时，我会尝试

int x = 0;
do {
    printf("%d\n", x);   /* old x? new x? crash? Undefined Behaviour? */
    int x = 42;
} while (0);

C99 随心所欲地声明/定义变量的功能并不是让我想要更改的功能:)

Answer 3

是的，您可以在任何块的开头创建一个变量。每次进入块时都会初始化变量在 C++ 中，您可以在块内的任何位置创建它们。

Answer 4

for(....)
{
  int x=4;
  /*More code*/
}

是的，这在 C99 中是合法的，但不允许您在块之后访问“x”。尝试访问超出其范围的“x”将是未定义行为。