同一函数中普通与static同名变量代码的运行机制及是否为未定义行为

让我一步步给你拆解这段代码的运行逻辑，顺便解答你关于未定义行为的疑问：

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

首先要搞清楚这段代码里两个同名变量i的作用域差异——这是理解整个运行过程的核心：

变量作用域的关键：同名变量的屏蔽 #

• 外部的int i = 3是定义在main函数、while循环外的局部变量，作用域覆盖整个main函数，除了被内部同名变量屏蔽的区域。
• 循环体里的static int i = 100是块级静态变量，作用域仅限循环体内部，会屏蔽外部的i。而且static变量的初始化只会执行一次（第一次进入循环体时），后续进入循环不会再重新赋值。

循环的逐次执行过程 #

我们一步步走三遍有效循环（因为外部i初始是3，while(i--)会触发3次循环）：

1. 第一次循环：
   • 外部i的值是3，while(i--)先判断i的当前值（3≠0，条件为真），然后外部i自减为2。
   • 进入循环体，第一次初始化静态变量i为100，接着执行i--（内部i变为99），最后printf输出99。
2. 第二次循环：
   • 外部i的值是2，while(i--)判断条件为真，外部i自减为1。
   • 进入循环体，静态变量i已经存在（当前值为99），跳过初始化步骤，执行i--变为98，printf输出98。
3. 第三次循环：
   • 外部i的值是1，while(i--)判断条件为真，外部i自减为0。
   • 进入循环体，静态变量i的值是98，执行i--变为97，printf输出97。
4. 循环终止：
   • 外部i的值是0，while(i--)判断条件为假（0视为逻辑假），循环结束。

这就是输出结果为99 98 97的完整过程。

完全不属于。这段代码的行为是严格符合C标准的：

• 两个i属于不同作用域，编译器能清晰区分：循环条件使用外部i，循环体内使用内部静态i，没有歧义。
• 静态变量的初始化规则、逗号表达式的执行顺序（先执行i--再执行printf）、while(i--)的判断逻辑，都是C标准明确规定的，不存在模糊地带。

C++继承了C的核心规则：

• 块级静态变量同样只初始化一次，作用域仅限定义它的代码块内部，会屏蔽外部同名变量。
• 逗号表达式、while(i--)的执行逻辑也和C完全一致，因此你会观察到相同的输出结果。

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