详细解答 #

我来帮你理清这三个变量的细节，尤其是你疑惑的static局部变量c：

1. 全局变量a

• 生存期（Storage Duration）：static（静态生存期），从程序启动到终止的全程都存在，不会随任何代码块的结束而销毁。
• 标识符作用域（Scope of Identifier）：文件级作用域，在整个当前源文件内都可访问；如果没有被static修饰，还能通过extern关键字被其他源文件引用。
• 内存段：属于BSS段（未初始化数据段，是数据段的子分类）。全局变量未显式初始化时，会被编译器放在BSS段，这部分内存会在程序启动时被操作系统清零。
• 初始值：0，C标准强制规定，所有静态生存期的变量未显式初始化时，会被自动初始化为对应类型的零值，int类型的零值就是0。

2. 局部自动变量b

• 生存期：automatic（自动生存期），仅在函数f()的执行期间存在。当f()调用结束后，函数的栈帧被销毁，b占用的栈空间会被标记为可复用，变量本身不再存在。
• 标识符作用域：块级作用域，只能在f()函数的大括号内部访问，外部代码无法引用它。
• 内存段：栈（Stack Segment），函数调用时，系统会为局部自动变量分配栈空间。
• 初始值：未定义（Undefined）。自动变量如果未显式初始化，其值是随机的垃圾数据，访问这种变量会触发未定义行为，绝对不要这么做。

3. 局部静态变量c（重点解决你的疑惑）

你对c的生存期和作用域的理解完全正确，这里补充你疑惑的内存段和初始值：

• 生存期：static（静态生存期），和全局变量一样，从程序启动到终止始终存在。哪怕f()执行完毕，c的值也会被保留，下次调用f()时依然能访问到之前的状态。
• 标识符作用域：块级作用域，只能在f()函数的大括号内部访问，外部代码无法直接引用它。这也是static局部变量的核心特性：全局的生存期，局部的作用域。
• 内存段：属于BSS段（如果未显式初始化），也就是数据段的一部分。你猜的没错——static修饰的局部变量不会存在栈上！因为栈空间是随函数调用动态分配释放的，无法满足“全程存在”的静态生存期需求，所以编译器会把它和全局变量一起放到数据段（已初始化的放数据段，未初始化的放BSS段）。
• 初始值：0.0f（float类型的零值）。同样遵循C标准的规定：所有静态生存期的变量，不管是全局的还是局部static的，未显式初始化时都会被自动初始化为对应类型的零值。

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