C语言中未初始化的局部变量是否默认为static静态类型？

首先明确答案：C语言中未初始化的局部变量默认不属于static静态类型，你观测到两类程序输出一致只是未定义行为导致的巧合。

两类变量的核心差异 #

普通局部变量（不加static修饰时默认是auto类型，该关键字通常省略）和static局部变量的底层规则完全不同：

• static局部变量存储在静态存储区，生命周期和整个程序运行周期一致，仅在程序启动时默认初始化为0，且只会执行一次初始化逻辑，多次函数调用之间会保留上一次修改的值，这是C语言明确定义的语法特性。
• 普通auto类型局部变量存储在栈内存中，每次函数调用时临时分配栈空间，函数返回后对应栈空间就会被标记为可复用，变量本身的生命周期随函数调用结束而终止。未初始化的auto局部变量的值是栈内存上残留的不确定值，访问未初始化的局部变量属于C语言标准定义的未定义行为。

输出一致的巧合原因 #

你测试的场景刚好满足两个特殊条件：

1. 第一次调用up函数时，分配给stvar的栈空间位置的残留值恰好是0，自增后输出1；
2. 两次up调用之间没有其他操作修改对应栈内存的内容，第二次调用up时stvar刚好又分配到同一块栈空间，读取到的残留值是1，自增后输出2。

这种结果完全不可靠，只要在两次up调用之间插入任意其他函数调用修改栈内存，输出结果马上会发生不可预期的变化。

主动初始化的行为解释 #

你第三个测试中主动给普通局部变量加了int stvar = 0;的初始化操作，相当于每次调用up函数时，都会给新分配的栈内存写入0，之后自增输出1，这才是普通局部变量的确定行为。

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