|
1.1.1 zval結構
Zend使用zval結構來存儲php變量的值,該結構如下所示:
復制代碼 代碼如下:
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;
struct _zval_struct {
/* Variable information */
zvalue_value value; /* value */
zend_uint refcount;
zend_uchar type; /* active type */
zend_uchar is_ref;
};
typedef struct _zval_struct zval;
Zend根據(jù)type值來決定訪問value的哪個成員,可用值如下:
IS_NULL | N/A |
IS_LONG | 對應value.lval |
IS_DOUBLE | 對應value.dval |
IS_STRING | 對應value.str |
IS_ARRAY | 對應value.ht |
IS_OBJECT | 對應value.obj |
IS_BOOL | 對應value.lval. |
IS_RESOURCE | 對應value.lval |
根據(jù)這個表格可以發(fā)現(xiàn)兩個有意思的地方:首先是php的數(shù)組其實就是一個HashTable,這就解釋了為什么php能夠支持關聯(lián)數(shù)組了;其次,Resource就是一個long值,它里面存放的通常是個指針、一個內部數(shù)組的index或者其它什么只有創(chuàng)建者自己才知道的東西,可以將其視作一個handle。
1.1.2 引用計數(shù)
引用計數(shù)在垃圾收集、內存池以及字符串等地方應用廣泛,Zend就實現(xiàn)了典型的引用計數(shù)。多個php變量可以通過引用計數(shù)機制來共享同一份zval,zval中剩余的兩個成員is_ref和refcount就用來支持這種共享。
很明顯,refcount用于計數(shù),當增減引用時,這個值也相應的遞增和遞減,一旦減到零,Zend就會回收該zval。
那么is_ref呢?
1.1.3 zval狀態(tài)
在php中,變量有兩種――引用和非引用的,它們在Zend中都是采用引用計數(shù)的方式存儲的。對于非引用型變量,要求變量間互不相干,修改一個變量時,不能影響到其他變量,采用Copy-On-Write機制即可解決這種沖突――當試圖寫入一個變量時,Zend若發(fā)現(xiàn)該變量指向的zval被多個變量共享,則為其復制一份refcount為1的zval,并遞減原zval的refcount,這個過程稱為“zval分離”。然而,對于引用型變量,其要求和非引用型相反,引用賦值的變量間必須是捆綁的,修改一個變量就修改了所有捆綁變量。
可見,有必要指出當前zval的狀態(tài),以分別應對這兩種情況,is_ref就是這個目的,它指出了當前所有指向該zval的變量是否是采用引用賦值的――要么全是引用,要么全不是。此時再修改一個變量,只有當發(fā)現(xiàn)其zval的is_ref為0,即非引用時,Zend才會執(zhí)行Copy-On-Write。
1.1.4 zval狀態(tài)切換
當在一個zval上進行的所有賦值操作都是引用或者都是非引用時,一個is_ref就足夠應付了。然而,世界總不會那么美好,php無法對用戶進行這種限制,當我們混合使用引用和非引用賦值時,就必須要進行特別處理了。
情況I、看如下php代碼:
復制代碼 代碼如下:
<?php
$a = 1;
$b = $a;
$c = $b;
$d = &$c; // 在一堆非引用賦值中,插入一個引用
?>
這段代碼首先進行了一次初始化,這將創(chuàng)建一個新的zval,is_ref=0, refcount=1,并將a指向這個zval;之后是兩次非引用賦值,正如前面所說,只要把b和c都指向a的zval即可;最后一行是個引用賦值,需要is_ref為1,但是Zend發(fā)現(xiàn)c指向的zval并不是引用型的,于是為c創(chuàng)建單獨的zval,并同時將d指向該zval。
從本質上來說,這也可以看作是一種Copy-On-Write,不僅僅是value,is_ref也是受保護的對象。
整個過程圖示如下:
情況II,看如下php代碼:
復制代碼 代碼如下:
<?php
$a = 1;
$b = &$a;
$c = &$b;
$d = $c; // 在一堆引用賦值中,插入一個非引用
?>
這段代碼的前三句將把a、b和c指向一個zval,其is_ref=1, refcount=3;第四句是個非引用賦值,通常情況下只需要增加引用計數(shù)即可,然而目標zval屬于引用變量,單純的增加引用計數(shù)顯然是錯誤的, Zend的解決辦法是為d單獨生成一份zval副本。
全過程如下所示:
1.1.5 參數(shù)傳遞
php函數(shù)參數(shù)的傳遞和變量賦值是一樣的,非引用傳遞相當于非引用賦值,引用傳遞相當于引用賦值,并且也有可能會導致執(zhí)行zval狀態(tài)切換。這在后面還將提到。
php技術:深入PHP變量存儲的詳解,轉載需保留來源!
鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播更多信息之目的,如作者信息標記有誤,請第一時間聯(lián)系我們修改或刪除,多謝。