C语言中for循环参数内变量的作用域：未定义还是实现定义？

已知的循环作用域特性 #

在C语言中，带大括号的for/while循环体拥有独立作用域。例如在GCC编译器中，以下代码可正常编译：

for(unsigned char i=0;...;...){
   unsigned char j=0;
}
//Outside of the for scope:
unsigned char j=0;

循环体内定义的j与外部的j分属不同作用域，不会产生命名冲突。

不同编译器下的表现差异 #

在线GDB C编译器的兼容表现 #

在在线GDB C编译器中，以下代码无编译错误：

switch(Maneral){
      case 1:
         for(unsigned char i=0x0A;i<=0x64;i=i+0x0A){
            indice++;
         }
      break;
      
      case 2:
         for(unsigned char i=0x0A;i<=0x64;i=i+0x0A){
            indice++;
         }
      break;
   }

两个case分支内的for循环参数中定义的同名变量i未引发重定义报错。

CCS C编译器的严格报错 #

在声称兼容97%ANSI C的CCS C编译器中，以下代码会在标注为LINE 'X'的行报错，提示“Identifier is already used in this scope”：

switch(Maneral){
      case M_CONICO:
         for(unsigned char i=0x0A;i<=0x64;i=i+0x0A){ unsigned char too=0;
            ActualizaValor(i,DataConico[index]);
            index++;
         }
      break;
      
      case M_CHICO:
         for(unsigned char i=0x0A;i<=0x64;i=i+0x0A){ //LINE 'X'
            ActualizaValor(i,DataChico[index]);
            index++;
         }
      break;
   }

将第二个for循环的变量改为j后报错消失，且循环体内部定义的变量（如too）不存在此类问题。

核心原理：C标准版本的定义差异 #

这个问题的本质是不同C标准版本对for循环参数变量作用域的规定不同：

• C89（ANSI C）标准：for循环参数内初始化的变量，作用域从定义点延伸至包含该for循环的整个封闭代码块（此处即switch块）。因此在同一个switch块内的两个case里定义同名变量i，属于同一作用域内的重定义，不符合C89标准。
• C99及之后的标准：for循环参数中定义的变量，作用域被限定为for循环的整个范围（包括循环头和循环体）。每个for循环的参数变量都是独立的，因此同名变量不会产生冲突。

你遇到的差异是不同编译器对C标准版本的支持不同导致的：

• GCC、在线GDB编译器默认支持C99及以上标准，因此允许代码编译；
• CCS C编译器遵循更早的C89标准，严格执行了该版本的作用域规则，所以触发重定义错误。

这属于基于不同标准版本的实现定义行为，既不是未定义行为，也不是单纯的编译器兼容漏洞——只是不同编译器选择遵循的C标准版本有区别。

内容的提问来源于stack exchange，提问作者Cblue X