在 PHP 的日常开发中，static 和 global 是两个高频出现的关键字。多数开发者对它们的使用停留在“函数内保持变量不丢失”和“在函数内访问外部变量”的层面，但若要真正理解 PHP 的底层运行机制，就必须深入 Zend 引擎，从作用域、生命周期和存储结构三个维度重新审视这两个概念。本文将从内核实现出发，逐层剖析静态变量与全局变量的本质差异。
一、变量存储的基本单元：zval 与符号表
PHP 中所有变量最终都以 zval 结构体形式存在。zval 包含值、类型信息以及引用计数等元数据。而变量的“名字”与 zval 之间的映射关系，则由符号表来维护。符号表本质上是一个 HashTable，键为变量名，值为指向 zval 的指针。
不同的作用域对应不同的符号表：
- 全局符号表：
EG(symbol_table)，存储全局作用域中的所有变量。 - 局部符号表：每个函数调用时在栈上创建的
symbol_table，存储该次调用中的局部变量。 - 静态变量表：每个函数拥有一个持久的静态变量 HashTable，在编译阶段就已确定。
理解这三张表的关系，是理解 static 与 global 行为的钥匙。
二、全局变量：跨作用域的符号表引用
当我们在函数外部定义 $a = 1 时，Zend 引擎将 $a 写入全局符号表 EG(symbol_table)。而在函数内部直接写 $a 时，引擎操作的是当前函数的局部符号表，因此无法访问到全局的 $a。
global $a; 的作用并不是“把全局变量复制进来”，而是在当前局部符号表中创建一个引用，指向全局符号表中同名的 zval。其内核实现大致为：
ZEND_FETCH_GLOBAL_REF // 在全局符号表查找，若不存在则创建
执行 global $a 后，局部符号表中的 $a 与全局符号表中的 $a 共享同一个 zval，且 refcount 增加。这意味着：
- 修改局部
$a会同步反映到全局。 - 若全局
$a原本不存在，global会隐式创建一个NULL值的全局变量。 - 每次调用函数执行
global，都会重新建立引用，存在一定的性能开销。
此外，$GLOBALS 超全局数组本质上是全局符号表本身的一个包装。在 PHP 7 之后，$GLOBALS 的写入行为受到更严格的约束，直接整体赋值 $GLOBALS = [] 已被禁止，但单个元素的读写仍然直接操作全局符号表。
三、静态变量：编译期绑定与持久化存储
静态变量的核心特征是生命周期贯穿整个请求，但作用域仍局限于声明它的函数或类。这与全局变量“作用域全局、生命周期全局”形成鲜明对比。
3.1 函数静态变量
当 PHP 编译一个函数时，若发现 static $count = 0;，会在 opcode 中生成一条 ZEND_BIND_STATIC 指令，并将该静态变量注册到函数的静态变量表中。这个表在请求开始时初始化，请求结束时销毁。
关键点在于：
- 静态变量的初始化表达式只会在第一次执行到该语句时求值。之后的调用直接跳过初始化，复用已存在的
zval。 - 静态变量存储在函数结构体
zend_op_array的静态变量表中，而非局部符号表。因此函数返回后，局部符号表被销毁，但静态变量依然存活。 - 在 PHP 8.1 之前，静态变量初始化表达式不能包含动态内容（如函数调用）；PHP 8.1 起支持了更复杂的初始化，但依然遵循“仅首次求值”的语义。
一个常见误区是认为静态变量存储在“堆”上。准确地说，它存储在与 op_array 关联的持久化 HashTable 中，该表在请求生命周期内有效，属于请求级内存管理范畴。
3.2 静态方法与属性
类中的 static 关键字含义有所不同：
- 静态属性：存储在类的
static_members_table中，所有实例共享，生命周期与类定义（请求级）一致。 - 静态方法：本质上是没有
$this绑定的普通方法，调用时不会创建对象上下文，但会创建独立的局部符号表。
静态属性的存储与函数静态变量类似，都是请求级持久化，但前者以类为维度组织，后者以函数为维度组织。
四、生命周期与内存管理的对比
| 维度 | 全局变量 | 函数静态变量 | 类静态属性 |
|---|---|---|---|
| 作用域 | 全局 | 函数内 | 类内（含子类） |
| 存储位置 | EG(symbol_table) |
op_array->static_variables |
class_entry->static_members_table |
| 生命周期 | 请求级 | 请求级 | 请求级 |
| 初始化时机 | 执行赋值语句 | 首次执行绑定指令 | 类首次加载时 |
| 是否跨请求 | 否 | 否 | 否 |
需要特别强调的是：PHP 的“持久化”仅限单次请求。无论是全局变量还是静态变量，都不会跨请求保留。若需跨请求共享，必须借助 APCu、Redis、Swoole 常驻内存等外部机制。
五、引用计数与写时复制的影响
由于 global 建立的是引用关系，而静态变量在多次调用间共享同一个 zval，两者都涉及引用计数的变化。
对于静态变量，若将其赋值给其他变量，默认是写时复制（Copy-On-Write）。但若显式使用引用（如 $ref = &$staticVar），则会改变其 is_ref 标志，后续写入将直接修改静态变量本身。这在递归或回调场景中容易引发难以排查的副作用。
对于 global，由于本身就是引用，任何修改都会直接影响全局符号表。因此在内核层面，global 比静态变量具有更强的“穿透性”。
六、性能与最佳实践
从内核角度看：
global每次调用都需查找全局符号表并建立引用，开销高于直接使用$GLOBALS数组或依赖注入。- 静态变量在首次绑定后，后续访问仅需从静态变量表读取，性能接近普通局部变量。
- 类静态属性通过类入口访问，涉及一次间接寻址，但通常可被 OPcache 优化。
因此，在现代 PHP 工程中，建议：
- 优先使用依赖注入替代
global。 - 静态变量适用于缓存计算结果、实现单例模式等场景，但需警惕测试隔离问题。
- 避免在静态变量中存储可变对象引用，以防意外共享。
结语
static 与 global 看似简单，实则牵涉 Zend 引擎的符号表管理、opcode 绑定、引用计数与请求级内存生命周期。全局变量通过引用打通作用域边界，静态变量通过编译期绑定实现跨调用持久化。理解它们在符号表中的位置与 zval 的引用关系，不仅能帮助开发者写出更可预测的代码，也为深入 PHP 扩展开发与性能调优打下坚实基础。
未经允许不得转载：任鹏个人博客 » PHP 静态变量与全局变量内核剖析：作用域、生命周期与存储机制
