C/C++ 全局变量跨文件真相：实验验证与底层原理

而在 b.cpp 中尝试 extern 访问：

// b.cpp
extern int s;
int main() {
    return s;
}

编译时会直接报错：

g++ a.cpp b.cpp -o fail # ❌ undefined reference to `s'

s 的符号不会被导出，其他文件永远找不到它。这就是 static 的全局作用域限制。

实验三：把 .cpp 当 .h 用——'伪跨文件'

有人可能会想，既然头文件能共享，那直接把 .cpp 包含进来行不行？

// a.cpp
static int trick = 30;

// b.cpp
#include "a.cpp"
int main() {
    return trick;
}

看似跨文件了，其实只是预处理器把代码拷进了当前文件，变量作用域依旧没离开当前翻译单元。本质上只有一个目标文件生成，不存在真正的跨文件共享。

底层原理：链接属性决定生死

理解这一点，关键在于区分两种链接属性：

无论哪种属性，变量都存储在静态存储区（.data 或 .bss），生命周期贯穿整个程序。但链接器只认符号表，static 相当于把符号藏起来，等同于'私有全局变量'。

常见误区：#include 到底算不算跨文件？

不算！

#include 只是预处理阶段的文本替换，最终仍被编译进同一个翻译单元。即使写成这样：

// all_in_one.cpp
#include "a.cpp"
#include "b.cpp"

也只有一个目标文件，不存在跨文件共享的问题。真正的跨文件依赖发生在链接阶段，而不是编译阶段。

类静态成员变量：披着'类作用域'外衣的全局变量

虽然类静态成员看起来属于类，但在链接层面它们和普通全局变量一样：

// header.h
class Foo {
public:
    static int value; // 声明
};

// source.cpp
int Foo::value = 0; // 定义且仅一次

• 作用域：Foo::value，看起来属于类，其实是全局唯一变量。
• 链接属性：外部链接，所以必须且只能定义一次。
• 生命周期：程序启动即存在，程序结束才销毁。

因此，类静态成员变量遵循与普通全局变量完全相同的链接规则。

小结速查表

记住一点：跨不跨文件，不看作用域，只看链接属性；static 就是'把变量藏起来'的魔法关键字。