多个C文件中全局变量的存储位置、作用域及编译机制相关疑问

问题1解答 #

• main.c中定义的foo和process.c中定义的counter都存储在进程地址空间的已初始化数据段（.data段），属于C程序的静态存储区，完全不会存储在栈上。
• 栈仅用于存储函数内部的局部变量、函数调用返回地址等临时动态数据，函数执行结束后对应栈空间就会被回收。而这两个变量是定义在函数外部的静态存储周期变量，生命周期和整个程序运行周期一致，程序启动时就完成空间分配，程序退出才会释放。
• 补充规则：如果是未显式初始化的文件级变量，会被分配到.bss段，系统会自动将其初始化为0，同样属于静态存储区，不在栈上。

问题2解答 #

这个认知确实有误。
C语言中，默认定义在函数外部、没有加static修饰的变量都是全局变量，具备外部链接属性：只要在其他文件中通过extern声明对应变量，就可以跨文件访问。
只有给文件级变量加上static修饰时，它的作用域才会被限制在当前C文件内部，属于文件私有变量，其他文件无法访问，这种才不属于跨文件可用的全局变量。你示例中的counter没有加static，本质是整个程序范围内可用的全局变量。

问题3解答 #

你对#include的作用理解是完全正确的：它就是纯文本替换，预处理阶段会直接把process.h的全部内容插入到include语句的位置再参与编译。
你认知的偏差点在于：process.h中只有get_counter()的函数原型声明，完全没有涉及counter的任何声明，因此main.c在编译时根本不知道counter的存在，自然无法直接访问counter，但这并不影响counter本身的全局属性。如果你在process.h中添加一行extern int counter;，那么main.c引入头文件后就可以直接读写counter变量了。

核心规则梳理 #

C语言变量的作用域和链接属性逻辑非常清晰：

• 块作用域：函数内部、{}包裹的代码块内部定义的变量，仅在块内有效，默认存储在栈上；加static修饰后会存入静态存储区，生命周期和程序一致，但作用域还是限制在块内。
• 文件作用域：定义在函数外部的变量，作用域从定义位置到当前文件末尾，根据链接属性分为两类：
  • 无static修饰：外部链接属性，属于全局变量，整个程序所有文件都可以通过extern声明后访问
  • 加static修饰：内部链接属性，属于当前文件私有变量，其他文件无法访问

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