我曾经以为在C语言中，所有变量都必须在函数开头被声明。我知道在C99中，规则与C++相同，但是C89 / ANSI C的变量声明放置规则是什么？
以下代码可以成功编译 gcc -std=c89 和 gcc -ansi:
#include <stdio.h>
int main() {
int i;
for (i = 0; i < 10; i++) {
char c = (i % 95) + 32;
printf("%i: %c\n", i, c);
char *s;
s = "some string";
puts(s);
}
return 0;
}
c和s的声明在C89/ANSI模式下难道不应该引起错误吗？
这段代码能够成功编译，因为GCC允许使用GNU扩展来声明s，尽管这不是C89或ANSI标准的一部分。如果你想严格遵循这些标准，你必须传递-pedantic标志。
在一个{ }块的开头声明c是C89标准的一部分；这个块不一定是一个函数。
s的声明是从C89的角度来看一个扩展。变量c的声明在C89中是完全合法的，不需要任何扩展。 - AnT stands with Russia在C89标准中，你必须在一个作用域块的开头声明所有变量。
因此，在for循环的作用域块的顶部声明char c是有效的。但是，声明char *s应该会出现错误。
gcc中应该是一个错误或警告。也就是说，不要相信一个程序可以通过编译就代表它是符合规范的。 - jinawee在块的顶部分组变量声明是一个传统习惯，可能是由于旧版的原始C编译器的限制造成的。所有现代语言都建议并有时甚至强制在最新点：即它们首次初始化时声明局部变量。因为这可以消除误用随机值的风险。分离声明和初始化还可以避免您在本应使用“const”（或“final”）时没有使用。
C ++不幸地保留了旧的顶部声明方式，以便与C向后兼容（许多其他C兼容性问题之一…）。但是，C ++尝试远离它：
C99开始朝着这个方向移动C。
如果您担心找不到局部变量的声明位置，那么这意味着您有更大的问题：包围块太长，需要拆分。
https://wiki.sei.cmu.edu/confluence/display/c/DCL19-C.+Minimize+the+scope+of+variables+and+functions
int y; ... if (x) { printf("X was true"); y=23;} return y;... - supercatnull操作的实现中，全零比特通常是一个有用的陷阱值。此外，在明确指定变量默认为全零比特的语言中，依赖该值不是错误。编译器目前还没有过度疯狂地进行“优化”，但编译器编写者不断尝试变得更加聪明。初始化变量的编译器选项使用故意伪随机变量可能有助于识别故障，但仅仅让存储保持其最后的值有时会掩盖故障。 - supercat从可维护性而非语法的角度来看，有至少三种看法：
在函数开始处声明所有变量，这样它们就在一个地方，你可以一目了然地看到全面的列表。
在尽可能接近首次使用它们的位置处声明所有变量，这样你就会知道每个变量被用在哪里。
在最内层的作用域块的开始处声明所有变量，这样它们将尽快超出作用域，允许编译器优化内存，并告诉你是否意外地在没有意图的地方使用它们。
我通常喜欢第一种选择，因为我发现其他选择经常迫使我在代码中搜索声明。提前定义所有变量也使得初始化和从调试器中观察变量更容易。
我有时会在较小的作用域块中声明变量，但只有在有充分理由的情况下才会这样做，而这种情况我很少遇到。例如，在 fork() 之后，声明仅在子进程中需要的变量。对我来说，这种视觉指示是它们用途的有用提醒。
int foo = 0;
<code that uses foo>
int bar = 1;
<code that uses bar>
<code that uses foo>
{
int foo = 0;
<code that uses foo>
}
int bar = 1;
<code that uses bar>
>>> First compilation error here
<code that uses foo>
这段代码无法编译，因为还有其他代码使用了foo。我们可以注意到编译器能够通过使用bar的代码，因为它不使用foo。此时，有两个选择。机械化的方法是将“}”向下移动，直到它能够编译，而另一个选择是检查代码并确定是否可以更改顺序为：
{
int foo = 0;
<code that uses foo>
}
<code that uses foo>
int bar = 1;
<code that uses bar>
int i;
for(i = 0; i < 8; ++i){
...
}
<some stuff>
for(i = 3; i < 32; ++i){
...
}
这些情况需要更多的步骤。开发人员需要分析代码以确定下一步该做什么。
但第一步是查找首次使用。您可以通过视觉方式完成，但有时候只需删除声明，尝试进行编译并将其放回到首次使用之前即可更容易实现。如果该首次使用位于if语句内，请将其放置在那里并检查是否可以编译。然后编译器将识别其他用途。尝试创建一个范围块，包括两个用法。
完成这个机械化部分后，接下来更容易分析数据所在位置。如果一个变量在大范围块中使用，请分析情况并查看是否只是针对两个不同事物使用相同的变量（例如，i在两个for循环中都使用）。如果用途无关，请为每个用途创建新变量。
我将引用gcc版本4.7.0手册中的一些语句，以便更清晰地解释。
“编译器可以接受多个基本标准，例如‘c90’或‘c++98’，以及这些标准的GNU方言，例如‘gnu90’或‘gnu++98’。通过指定基本标准，编译器将接受遵循该标准和使用不与之矛盾的GNU扩展的所有程序。例如，‘-std=c90’关闭了GCC的某些与ISO C90不兼容的功能，例如asm和typeof关键字，但不关闭其他在ISO C90中没有意义的GNU扩展，例如省略?:表达式的中间项。”
我认为你问题的关键点是，为什么即使使用选项“-std=c89”，gcc也不符合C89。我不知道你的gcc版本，但我认为不会有太大的区别。gcc的开发人员告诉我们，“-std=c89”选项只是表示与C89相矛盾的扩展被关闭了。因此，它与某些在C89中没有意义的扩展无关。而不限制变量声明位置的扩展属于不与C89相矛盾的扩展。
说实话，每个人都会认为选项“-std=c89”应该完全符合C89标准。但事实并非如此。 至于在开头声明所有变量是更好还是更差的问题，只是一种习惯问题。malloc()的方法在堆上分配的。虽然我从未见过不能使用动态分配的设备，但最好在嵌入式系统中避免动态分配（请参见此处）。但这与在函数中声明变量的位置无关。 - QuinnFreedman