快捷導(dǎo)航

深入解析PHP的引用計數(shù)機(jī)制

更新時間：2013年06月14日 15:25:37 投稿：jingxian

本篇文章是對PHP中的引用計數(shù)機(jī)制進(jìn)行了詳細(xì)的分析介紹，需要的朋友參考下

PHP的變量聲明并賦值后，變量名存在符號表中，而值和類信息存在zval中,zval中包含四個變量，is_ref,refcount,value,type，zval源碼如下

struct _zval_struct { 
    /* Variable information */ 
    zvalue_value value;     /* value */ 
    zend_uint refcount__gc; 
    zend_uchar type;    /* active type */ 
    zend_uchar is_ref__gc; 
};

refcount表示value地址與其相同的zval共有多少個,refcount=0時，zval被銷毀
is_ref表示一個zval是否被引用，有“0”和“1”兩種狀態(tài)

此處分析一下什么時候zval會被復(fù)制或者開辟新的內(nèi)存空間呢
1.當(dāng)is_ref=0,且refcount>1時，如果改變某個指向該zval的變量的值，會生成新zval，原zval的refcount--，例如:$a=1;$b=$a;$b=2;,zval將被復(fù)制，也就是說原先ab指向同一個zval，后來b會使用新開辟的zval

2.當(dāng)is_ref=0,且refcount>1時，如果將zval賦值給某個引用變量，那么用來賦值和變量和被賦值的變量會使用同一個原zval，而其他指向原zval的變量將會指向一個新復(fù)制的zval，且refcount會被重新計算，例如:$a=1;$b=$a;$c=$a;$d=&$a;,此時ad使用原zval，bc使用新復(fù)制出來的zval

3.當(dāng)is_ref=1,且refcount>1時，如果將zval復(fù)制給某個非引用變量，該非引用變量會使用一個新復(fù)制的zval，元zval的refcount不變，例如:$a=1;$b=&$a;$c=$a,那么ab使用原zval，而c使用新復(fù)制的zval
type表示該zval的值類型，宏定義如下

復(fù)制代碼代碼如下:

#define IS_NULL     0 
#define IS_LONG     1 
#define IS_DOUBLE   2 
#define IS_BOOL     3 
#define IS_ARRAY    4 
#define IS_OBJECT   5 
#define IS_STRING   6 
#define IS_RESOURCE 7 
#define IS_CONSTANT 8 
#define IS_CONSTANT_ARRAY   9

value表示該zval的值，他也是個共同體，代碼如下

復(fù)制代碼代碼如下:

typedef union _zvalue_value { 
    long lval;                  /* long value */ 
    double dval;                /* double value */ 
    struct { 
        char *val; 
        int len; 
    } str; 
    HashTable *ht;              /* hash table value */ 
    zend_object_value obj; 
} zvalue_value;

現(xiàn)在你知道php是如何類型變換的了，因為他的值存的其實(shí)是個可以代表任何類型的結(jié)構(gòu)體，而具體的取值則根據(jù)type來決定是用共同體里的哪個變量來存值的

見下面的例子1

復(fù)制代碼代碼如下:

.-----------
$a = 1;
$b = $a;
$c = $a;
.-----------
$d = &$a;
.-----------
$a = 2;
.-----------
$b = null;

查看refcount,is_ref,zval的變化
執(zhí)行完第一部分后來看看輸出
1-----------------------------
a:(refcount=3, is_ref=0),int 1
b:(refcount=3, is_ref=0),int 1
c:(refcount=3, is_ref=0),int 1
可以看出來a，b，c使用同一個zval
再看執(zhí)行完第二部分的
2----------------------------
a:(refcount=2, is_ref=1),int 1
b:(refcount=2, is_ref=0),int 1
c:(refcount=2, is_ref=0),int 1
d:(refcount=2, is_ref=1),int 1
注意此時a，d在一起了，他們使用同一個zval，而bc使用一個新生成的zval，同時重新計算兩個zval的refcount和is_ref