PHP源码分析之变量的存储过程分解

php代码如下：

$php_var = 1; 

对应c的代码是：

zval* c_var;    //定义php变量指针 
make_std_zval(c_var);  //初始化php变量 
zval_long(c_var,1) ;//赋值 
zend_set_symbl( eg(active_symbol_table), " php_var ", c_var);//注册到全局变量符号表

一．首先看第一行： zval* c_var;//申明一个zval指针c_var； zval的结构如下：

struct _zval_struct { 
    /* variable information */ 
    zvalue_value value;     /* 变量的值 */ 
    zend_uint refcount;     /* 引用计数,垃圾回收的时候用到 */ 
    zend_uchar type;        /* 变量类型 */ 
    zend_uchar is_ref;      /* 是否为引用变量 */ 
}; 
typedef struct _zval_struct zval; 

其中值zvalue_value的结构如下：

typedef union _zvalue_value { 
    long lval;              /* 长整形*/ 
    double dval;            /* 双精度类型 */ 
    struct {                  /* 字符串类型的值 */ 
        char *val;             
        int len; 
    } str; 
    hashtable *ht;              /* 数组类型的值 */ 
    zend_object_value obj;     /*对象类型的值*/ 
} zvalue_value; 

二．接下来看第二行: make_std_zval(new_val);//变量初始化 相关宏如下： //初始化

#define make_std_zval(zv)                \ 
    alloc_zval(zv); \ 
    init_pzval(zv); 
 
#define alloc_zval(z)   \ 
    zend_fast_alloc(z, zval, zval_cache_list) 
 
#define zend_fast_alloc(p, type, fc_type)   \ 
    (p) = (type *) emalloc(sizeof(type)) 
 
#define init_pzval(z)       \ 
    (z)->refcount = 1;      \ 
    (z)->is_ref = 0; 

展开后为：

(c_var) = (zval *) emalloc(sizeof(zval));  //分配内存 
(c_var)-> refcount = 1;  //引用计数初始化 
(c_var)-> is_ref = 0; //是否引用 

可以看到其作用就是分配内存，初始化refcount，is_ref

三．下面看第三行 zval_long(c_var,1) 相关宏为：

//定义值 
#define zval_long(z, l) {           \ 
     z_type_p(z) = is_long;      \ 
     z_lval_p(z) = l;            \ 
} 
#define z_type_p(zval_p)    z_type(*zval_p) 
#define z_type(zval)        (zval).type 
#define z_lval_p(zval_p)    z_lval(*zval_p) 
#define z_lval(zval)            (zval).value.lval 

展开后为：

(* c_var).type = is_long; 
(* c_var).value = 1; 

四：接下来看第四行： zend_set_symbol( eg(active_symbol_table), “php_var”, c_var); 首先说明下php的变量是存在一个hashtable里的

struct _zend_executor_globals {   
        …. 
        hashtable symbol_table;//全局变量的符号表   
        hashtable *active_symbol_table;//局部变量的符号表   
        ….. 
    };   

hashtable的key为变量的名称，即php_var，值为指向php变量的指针，即c_var指针； 相关宏为：

#define zend_set_symbol(symtable, name, var)          \   {                                                     \ 
        char *_name = (name);                         \ 
        zend_set_symbol_with_length(symtable, _name, strlen(_name)+1, var, 1, 0);   \ 
} 
//主要的实现为下面这个函数： 
#define zend_set_symbol_with_length(symtable, name, name_length, var, _refcount, _is_ref)                                                       \ 
    {                                                                        
        zval **orig_var;                                        \  
        if (zend_hash_find(symtable, (name), (name_length), (void **) &orig_var)==success                                                         \ 
            && pzval_is_ref(*orig_var)) {                     \ 
            (var)->refcount = (*orig_var)->refcount;                  \ 
            (var)->is_ref = 1;                                \ 
            if (_refcount) {                                      \ 
                (var)->refcount += _refcount-1;               \ 
            }                                             \ 
            zval_dtor(*orig_var);                             \ 
            **orig_var = *(var);                                  \ 
            free_zval(var);                               \ 
        } else {                                              \ 
            (var)->is_ref = _is_ref;                              \ 
            if (_refcount) {                                      \ 
                (var)->refcount = _refcount;                      \ 
            }                                             \ 
            zend_hash_update(symtable, (name), (name_length), &(var), sizeof(zval *), null);                                                           \ 
        }                                                  \ 
    }            

该函数的功能是：
1. 如果全局符号表已经存在该变量且是引用类型，则

a. 将原来变量的引用计数refcount，is_ref信息赋给c_var;
b. 释放掉原来变量zvalue的值，比如原来其值指向的是一个mysql连接资源，则释放该资源。
c. 将c_var指向的变量赋值给原来的变量 d. 释放c_var的内存空间 这样保证了，如果变量被应用，值一起改变。比如如果前面有$b=&a;

2. 如果全局符号表不存在该变量或者存在该变量但不是引用变量，则直接改变其值。