PHP内核探索：变量的生命周期

通过前面章节的描述，我们已经知道了PHP中变量的存储方式－－所有的变量都保存在zval结构中。 下面介绍一下PHP内核如何实现变量的定义方式以及作用域。

在ZE进行词法和语法的分析之后，生成具体的opcode，这些opcode最终被execute函数(Zend/zend_vm_execute.h:46)解释执行。 在excute函数中，有以下代码：

while (1) {
...
if ((ret = EX(opline)->handler(execute_data TSRMLS_CC)) > 0) {
switch (ret) {
case 1:
EG(in_execution) = original_in_execution;
return;
case 2:
op_array = EG(active_op_array);
goto zend_vm_enter;
case 3:
execute_data = EG(current_execute_data);
default:
break;
}
}
...
}

这里的EX(opline)->handler(...)将op_array中的操作顺序执行， 其中变量赋值操作在ZEND_ASSIGN_SPEC_CV_CONST_HANDLER()函数中进行。 ZEND_ASSIGN_SPEC_CV_CONST_HANDLER中进行一些变量类型的判断并在内存中分配一个zval，然后将变量的值存储其中。 变量名和指向这个zval的指针，则会存储于符号表内。 ZEND_ASSIGN_SPEC_CV_CONST_HANDLER的最后会调用ZEND_VM_NEXT_OPCODE()将op_array的指针移到下一条opline， 这样就会形成循环执行的效果。

在ZE执行的过程中，有四个全局的变量，这些变量都是用于ZE运行时所需信息的存储：

//_zend_compiler_globals 编译时信息，包括函数表等
zend_compiler_globals    *compiler_globals;
//_zend_executor_globals 执行时信息
zend_executor_globals    *executor_globals;
//_php_core_globals 主要存储php.ini内的信息
php_core_globals         *core_globals;
//_sapi_globals_struct SAPI的信息
sapi_globals_struct      *sapi_globals;

在执行的过程中，变量名及指针主要存储于_zend_executor_globals的符号表中，_zend_executor_globals的结构这样的：

struct _zend_executor_globals {
...
/* symbol table cache */
HashTable *symtable_cache[SYMTABLE_CACHE_SIZE];
HashTable **symtable_cache_limit;
HashTable **symtable_cache_ptr;
zend_op **opline_ptr;
HashTable *active_symbol_table;  /* active symbol table */
HashTable symbol_table;     /* main symbol table */
HashTable included_files;   /* files already included */
...
}

在执行的过程中，active_symbol_table会根据执行的具体语句不断发生变化，针对线程安全的EG宏就是用来取此变量中的值。 ZE将op_array执行完毕以后，HashTable会被FREE_HASHTABLE()释放掉。 如果程序使用了unset语句来主动消毁变量，则会调用ZEND_UNSET_VAR_SPEC_CV_HANDLER来将变量销毁， 回收内存，

延伸阅读

此文章所在专题列表如下：

PHP内核探索：从SAPI接口开始

PHP内核探索：一次请求的开始与结束

PHP内核探索：一次请求生命周期

PHP内核探索：单进程SAPI生命周期

PHP内核探索：多进程/线程的SAPI生命周期

PHP内核探索：Zend引擎

PHP内核探索：再次探讨SAPI

PHP内核探索：Apache模块介绍

PHP内核探索：通过mod_php5支持PHP

PHP内核探索：Apache运行与钩子函数

PHP内核探索：嵌入式PHP

PHP内核探索：PHP的FastCGI

PHP内核探索：如何执行PHP脚本

PHP内核探索：PHP脚本的执行细节

PHP内核探索：操作码OpCode

PHP内核探索：PHP里的opcode

PHP内核探索：解释器的执行过程

PHP内核探索：变量概述

PHP内核探索：变量存储与类型

PHP内核探索：PHP中的哈希表

PHP内核探索：理解Zend里的哈希表

PHP内核探索：PHP哈希算法设计

PHP内核探索：翻译一篇HashTables文章

PHP内核探索：哈希碰撞攻击是什么？

PHP内核探索：常量的实现

PHP内核探索：变量的存储

PHP内核探索：变量的类型

PHP内核探索：变量的值操作

PHP内核探索：变量的创建

PHP内核探索：预定义变量

PHP内核探索：变量的检索

PHP内核探索：变量的类型转换

PHP内核探索：弱类型变量的实现

PHP内核探索：静态变量的实现

PHP内核探索：变量类型提示

PHP内核探索：变量的生命周期

PHP内核探索：变量赋值与销毁

PHP内核探索：变量作用域

PHP内核探索：诡异的变量名

PHP内核探索：变量的value和type存储

PHP内核探索：全局变量Global

PHP内核探索：变量类型的转换

PHP内核探索：内存管理开篇

PHP内核探索：Zend内存管理器

PHP内核探索：PHP的内存管理

PHP内核探索：内存的申请与销毁

PHP内核探索：引用计数与写时复制

PHP内核探索：PHP5.3的垃圾回收机制

PHP内核探索：内存管理中的cache

PHP内核探索：写时复制COW机制

PHP内核探索：数组与链表

PHP内核探索：使用哈希表API

PHP内核探索：数组操作

PHP内核探索：数组源码分析

PHP内核探索：函数的分类

PHP内核探索：函数的内部结构

PHP内核探索：函数结构转换

PHP内核探索：定义函数的过程

PHP内核探索：函数的参数

PHP内核探索：zend_parse_parameters函数

PHP内核探索：函数返回值

PHP内核探索：形参return value

PHP内核探索：函数调用与执行

PHP内核探索：引用与函数执行

PHP内核探索：匿名函数及闭包

PHP内核探索：面向对象开篇

PHP内核探索：类的结构和实现

PHP内核探索：类的成员变量

PHP内核探索：类的成员方法

PHP内核探索：类的原型zend_class_entry

PHP内核探索：类的定义

PHP内核探索：访问控制

PHP内核探索：继承，多态与抽象类

PHP内核探索：魔术函数与延迟绑定

PHP内核探索：保留类与特殊类

PHP内核探索：对象

PHP内核探索：创建对象实例

PHP内核探索：对象属性读写

PHP内核探索：命名空间

PHP内核探索：定义接口

PHP内核探索：继承与实现接口

PHP内核探索：资源resource类型

PHP内核探索：Zend虚拟机

PHP内核探索：虚拟机的词法解析

PHP内核探索：虚拟机的语法分析

PHP内核探索：中间代码opcode的执行

PHP内核探索：代码的加密与解密

PHP内核探索：zend_execute的具体执行过程

PHP内核探索：变量的引用与计数规则

PHP内核探索：新垃圾回收机制说明