为何变量非static时，程序执行结果仍与static时一致？

先看你给出的代码：

char next_char(void){

   char letter='a';

    while(letter!='z'){
            letter=letter+1;
    char next_char(void);
    }
    printf("%c",letter);

}

核心误解点 #

你可能误以为循环里的char next_char(void);是递归调用，但实际上这只是函数声明，不是函数调用。它的作用仅为告诉编译器“存在一个名为next_char、无参数且返回char类型的函数”，不会触发任何函数执行逻辑。

非static局部变量的执行流程 #

每次调用next_char时：

1. 局部变量letter被初始化为'a'（非static局部变量每次进入函数都会重新初始化）；
2. 进入while(letter != 'z')循环：
   • 初始letter为'a'，满足循环条件，执行letter = letter + 1，letter变为'b'；
   • 执行函数声明语句，无实际操作；
   • 回到循环条件判断，letter为'b'，继续循环，重复letter++操作；
3. 当letter自增到'z'时，while条件不成立，退出循环；
4. 执行printf("%c", letter)，输出z。

整个循环的迭代次数固定（从'a'到'z'共25次），因此不会无限循环。且每次调用函数都会重新初始化letter为'a'，重复上述流程，所以每次输出都是z。

对比static变量的情况 #

如果letter是static类型：

• 第一次调用函数时，letter被初始化为'a'，循环自增到'z'后输出z；
• 后续调用函数时，static变量不会重新初始化，letter保持上一次的'z'，直接跳过循环输出z。
  两者最终输出结果一致，但执行流程有差异：非static每次都要走完整循环，static仅第一次走循环。

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