快捷導(dǎo)航

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

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

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

PHP的變量聲明并賦值后，變量名存在符號(hào)表中，而值和類信息存在zval中,zval中包含四個(gè)變量，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共有多少個(gè),refcount=0時(shí)，zval被銷毀
is_ref表示一個(gè)zval是否被引用，有“0”和“1”兩種狀態(tài)

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

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

3.當(dāng)is_ref=1,且refcount>1時(shí)，如果將zval復(fù)制給某個(gè)非引用變量，該非引用變量會(huì)使用一個(gè)新復(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的值，他也是個(gè)共同體，代碼如下

復(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是如何類型變換的了，因?yàn)樗闹荡娴钠鋵?shí)是個(gè)可以代表任何類型的結(jié)構(gòu)體，而具體的取值則根據(jù)type來決定是用共同體里的哪個(gè)變量來存值的

見下面的例子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使用同一個(gè)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
注意此時(shí)a，d在一起了，他們使用同一個(gè)zval，而bc使用一個(gè)新生成的zval，同時(shí)重新計(jì)算兩個(gè)zval的refcount和is_ref