在同一函数中定义变量及其静态等价物

Question

我不明白以下代码是如何工作的:

#include "stdio.h"

int main(void) {
  int i = 3;
  while(i--) {
    static int i = 100;
    i--,
    printf("%d\n", i);
  }
  return 0;
}

使用Clang或GCC编译的代码打印以下输出:

99
98
97

有人能解释一下这里发生了什么吗？看起来在一条指令中实现了两次操作并且不止一次.是不确定的行为？我在C++中观察到相同的行为.

Answer 1

这不是未定义的行为.

#include "stdio.h"

int main(void) {
  int i = 3; //first i
  while(i--) {
    static int i = 100; //second i
    i--,
    printf("%d\n", i);
  }
  return 0;
}

在while循环体中,大多数局部i(第二i)是优选的.在while循环中检查条件时,它不知道身体中有什么.所以先选择没问题i.

Answer 2

维基百科对此非常突出:

在计算机编程中,当在特定范围内声明的变量(决策块,方法或内部类)与在外部范围中声明的变量具有相同的名称时,会发生变量阴影.在标识符(名称而不是变量)的级别上,这称为名称屏蔽.该外部变量被称为由内部变量遮蔽,而内部标识符被称为掩盖外部标识符.

现在在块内部,它找到静态变量并对其进行处理,但while条件递减,i这是在块外声明的那个.范围不同 - 使用正确的值是没有问题的i.这是合法的C代码,但不一定是写东西的好方法.

其实这样做gcc -Wshadow progname.c给

progname.c: In function 'main':
progname.c:7:20: warning: declaration of 'i' shadows a previous local [-Wshadow]
         static int i=2;
                    ^
progname.c:5:9: warning: shadowed declaration is here [-Wshadow]
     int i=2;
         ^

从标准§6.2.1p4开始

...如果标识符指定同一名称空间中的两个不同实体,则范围可能会重叠.如果是这样,一个实体(内部范围)的范围将严格地在另一个实体(外部范围)的范围之前结束.在内部范围内,标识符指定在内部范围内声明的实体; 在外部作用域中声明的实体在内部作用域内是隐藏的(并且不可见).