在 C99 中哪里可以合法地声明变量？

Question

当我第一次接触 CI 时，他们告诉我要始终在函数顶部声明变量。现在我已经掌握了这门语言，我将重点放在编码风格上，特别是限制变量的范围。我已经了解了限制范围的好处，并且遇到了一个有趣的例子。显然，C99 允许你这样做...

for (int i = 0; i < 10; i++)
{
   puts("hello");
}

我原以为变量范围受到最内层周围大括号{ }的限制，但在上面的示例中int i 的范围似乎受到 for 循环的花括号的限制，即使它是在花括号之外声明的。

我尝试使用 fgets() 扩展上面的示例来执行我​​认为类似的操作，但这两个都给了我一个语法错误。

fgets(char fpath[80], 80, stdin); *参见注释**

fgets(char* fpath = malloc(80), 80, stdin);

所以，在 C99 中声明变量到底在哪里是合法的？ for 循环示例是该规则的例外吗？这是否也适用于 while 和 do while 循环？

*注意**：我什至不确定这在语法上是否正确，即使我可以在那里声明 char 数组，因为 fgets() 正在寻找指针to char 而不是指向 char 数组 80 的指针。这就是我尝试 malloc() 版本的原因。

Answer 1

在 C99 中，您可以在需要的地方声明变量，就像 C++ 允许您这样做一样。

void somefunc(char *arg)
{
    char *ptr = "xyz";
    if (strcmp(arg, ptr) == 0)
    {
        int abc = 0;    /* Always could declare variables at a block start */

        somefunc(arg, &ptr, &abc);

        int def = another_func(abc, arg);   /* New in C99 */
        ...other code using def, presumably...
    }
}

• 您可以在“for”循环的控制部分声明变量：

   for (int x = 0; x < 10; x++) /* C99 中的新功能 */
  

• 您不能在“while”循环或“if”语句的控制部分声明变量。

• 不能在函数调用中声明变量。

• 显然，您可以（并且始终可以）在任何循环或“if”语句之后在块中声明变量。

C99标准说：

6.8.5.3 for 语句

声明

for ( clause-1 ; expression-2 ; expression-3 ) statement

的行为如下：表达式 expression-2 是控制表达式，即
在每次执行循环体之前进行评估。表达式表达式3是
每次执行循环体后计算为 void 表达式。如果子句 1 是
声明，它声明的任何变量的范围是声明的其余部分，并且
整个循环，包括其他两个表达式；按执行顺序到达
在第一次计算控制表达式之前。如果子句 1 是一个表达式，则它是
在第一次计算控制表达式之前，将其计算为 void 表达式。

Answer 2

我要注意的第一件事是，您不应该混淆

for (int i = 0; i < 10; i++) {
    puts("hello");
}

，

fgets(char* fpath = malloc(80), 80, stdin);

第一个是控制结构，而第二个是函数调用。控制结构以与函数调用非常不同的方式评估其 parens() 内的文本。

第二件事是......我不明白你想说什么：

如果您尝试在 for 循环体中使用 i，编译器会立即给出错误。

您为 for 循环列出的代码是 C 中非常常见的结构，并且变量“i”确实应该在 for 循环体内可用。即，以下内容应该有效：

int n = 0;
for (int i = 0; i < 10; i++) {
    n += i;
}

我是否误读了您所说的内容？

Answer 3

关于 for/fgets 混淆的底线是，虽然“封闭大括号控制范围”在大多数情况下是 C 中的正确规则，但还有另一条关于C99 中的作用域（借自 C++）表示在控制结构的序言中声明的变量（即 for、while、if）位于结构体的范围内（并且不在结构体之外的范围内）。