深入理解 PHP7 中全新的 zval 容器和引用計數(shù)機制

最近在查閱 PHP7 垃圾回收的資料的時候，網(wǎng)上的一些代碼示例在本地環(huán)境下運行時出現(xiàn)了不同的結(jié)果，使我一度非常迷惑。 仔細一想不難發(fā)現(xiàn)問題所在：這些文章大多是 PHP5.x 時代的，而 PHP7 發(fā)布后，采用了新的 zval 結(jié)構(gòu)，相關(guān)的資料也比較貧瘠，所以我結(jié)合一些資料做了一個總結(jié)， 主要側(cè)重于解釋新 zval 容器中的引用計數(shù)機制 ，如有謬誤，還望不吝指教。

PHP7 中新的 zval 結(jié)構(gòu)

明人不說暗話，先看代碼！

struct _zval_struct {
 union {
 zend_long     lval;       /* long value */
 double      dval;       /* double value */
 zend_refcounted *counted;
 zend_string   *str;
 zend_array    *arr;
 zend_object   *obj;
 zend_resource  *res;
 zend_reference  *ref;
 zend_ast_ref   *ast;
 zval       *zv;
 void       *ptr;
 zend_class_entry *ce;
 zend_function  *func;
 struct {
  uint32_t w1;
  uint32_t w2;
 } ww;
 } value;
  union {
    struct {
      ZEND_ENDIAN_LOHI_4(
        zend_uchar  type,     /* active type */
        zend_uchar  type_flags,
        zend_uchar  const_flags,
        zend_uchar  reserved)   /* call info for EX(This) */
    } v;
    uint32_t type_info;
  } u1;
  union {
    uint32_t   var_flags;
    uint32_t   next;         /* hash collision chain */
    uint32_t   cache_slot;      /* literal cache slot */
    uint32_t   lineno;        /* line number (for ast nodes) */
    uint32_t   num_args;       /* arguments number for EX(This) */
    uint32_t   fe_pos;        /* foreach position */
    uint32_t   fe_iter_idx;     /* foreach iterator index */
  } u2;
};

對于該結(jié)構(gòu)的詳細描述可以參考文末鳥哥的文章，寫的非常詳細，我就不關(guān)公面前耍大刀了，這里我只提出幾個比較關(guān)鍵的點：

1. PHP7 中的變量分為 變量名 和 變量值 兩部分，分別對應(yīng) zval_struct 和在其中聲明的 value
2. zval_struct.value 中的 zend_long 、 double 都是 簡單數(shù)據(jù)類型 ，能夠直接儲存具體的值，而其他復(fù)雜數(shù)據(jù)類型儲存一個指向其他數(shù)據(jù)結(jié)構(gòu)的 指針
3. PHP7 中，引用計數(shù)器儲存在 value 中而不是 zval_struct
4. NULL 、 布爾型 都屬于 沒有值 的數(shù)據(jù)類型（其中布爾型通過 IS_FALSE 和 IS_TRUE 兩個常量來標記），自然也就沒有引用計數(shù)
5. 引用 （REFERENCE）變?yōu)榱艘环N數(shù)據(jù)結(jié)構(gòu)而不再只是一個標記位了，它的結(jié)構(gòu)如下：
   

struct _zend_reference {
  zend_refcounted_h gc;
  zval       val;
}

6.zend_reference 作為 zval_struct 中包含的一種 value 類型，也擁有自己的 val 值，這個值是指向一個 zval_struct.value 的。他們都擁有自己的 引用計數(shù)器 。

引用計數(shù)器用來記錄當(dāng)前有多少 zval 指向同一個 zend_value 。

針對第六點，請看如下代碼：

$a = 'foo';
$b = $a;
$c = $a;

此時的數(shù)據(jù)結(jié)構(gòu)是這樣的：

$a 與 $b 各擁有一個 zval_struct 容器，并且其中的 value 都指向同一個 zend_reference 結(jié)構(gòu)， zend_reference 內(nèi)嵌一個 val 結(jié)構(gòu)， 指向同一個 zend_string ， 字符串的內(nèi)容 就儲存在其中。

而 $c 也擁有一個 zval_struct ，而它的 value 在初始化的時候可以直接指向上面提到的 zend_string ，這樣在拷貝時就不會產(chǎn)生復(fù)制。

下面我們就聊一聊在這種全新的 zval 結(jié)構(gòu)中，會出現(xiàn)的種種現(xiàn)象，和這些現(xiàn)象背后的原因。

問題

一. 為什么某些變量的引用計數(shù)器的初始值為 0

現(xiàn)象

$var_int = 233;
$var_float = 233.3;
$var_str = '233';
xdebug_debug_zval('var_int');
xdebug_debug_zval('var_float');
xdebug_debug_zval('var_str');
/** 輸出 **
var_int:
(refcount=0, is_ref=0)int 233
var_float:
(refcount=0, is_ref=0)float 233.3
var_str:
(refcount=0, is_ref=0)string '233' (length=3)
**********/

原因

在 PHP7 中，為一個變量賦值的時候，包含了兩部分操作：

1. 為符號量（即變量名）申請一個 zval_struct 結(jié)構(gòu)
2. 將變量的值儲存到 zval_struct.value 中 對于 zval 在 value 字段中能保存下的值，就不會在對他們進行引用計數(shù)， 而是在拷貝的時候直接賦值 ，這部分類型有：
   

• IS_LONG
• IS_DOUBLE
  

即我們在 PHP 中的 整形 與 浮點型 。

那么 var_str 的 refcount 為什么也是 0 呢？

這就牽扯到 PHP 中字符串的兩種類型：

1.interned string 內(nèi)部字符串（函數(shù)名、類名、變量名、靜態(tài)字符串）：

$str = '233';    // 靜態(tài)字符串

2.普通字符串：

$str = '233' . time();

對于 內(nèi)部字符串 而言，字符串的內(nèi)容是唯一不變的，相當(dāng)于 C 語言中定義在靜態(tài)變量區(qū)的字符串， 他們的生存周期存在于整個請求期間，request 完成后會統(tǒng)一銷毀釋放 ，自然也就無需通過引用計數(shù)進行內(nèi)存管理。

二. 為什么在對整形、浮點型和靜態(tài)字符串型變量進行引用賦值時，計數(shù)器的值會直接變?yōu)?

現(xiàn)象

$var_int_1 = 233;
$var_int_2 = var_int;
xdebug_debug_zval('var_int_1');
/** 輸出 **
var_int:
(refcount=2, is_ref=1)int 233
**********/

原因

回憶一下我們開頭講的 zval_struct 中 value 的數(shù)據(jù)結(jié)構(gòu)，當(dāng)為一個變量賦 整形 、 浮點型 或 靜態(tài)字符串 類型的值時，value 的數(shù)據(jù)類型為 zend_long 、 double 或 zend_string ，這時值是可以直接儲存在 value 中的。而按值拷貝時，會開辟一個新的 zval_struct 以同樣的方式將值儲存到相同數(shù)據(jù)類型的 value 中，所以 refcount 的值一直都會為 0。

但是當(dāng)使用 操作符進行引用拷貝時，情況就不一樣了：

1. PHP 為 操作符操作的變量申請一個 zend_reference 結(jié)構(gòu)
2. 將 zend_reference.value 指向原來的 zval_struct.value
3. zval_struct.value 的數(shù)據(jù)類型會被修改為 zend_refrence
4. 將 zval_struct.value 指向剛剛申請并初始化后的 zend_reference
5. 為新變量申請 zval_struct 結(jié)構(gòu)，將他的 value 指向剛剛創(chuàng)建的 zend_reference
   

此時： var_int_2 都擁有一個 zval_struct 結(jié)構(gòu)體，并且他們的 zval_struct.value 都指向了同一個 zend_reference 結(jié)構(gòu)，所以該結(jié)構(gòu)的引用計數(shù)器的值為 2。

題外話：zend_reference 又指向了一個整形或浮點型的 value，如果指向的 value 類型是 zend_string，那么該 value 引用計數(shù)器的值為 1。而 xdebug 出來的 refcount 顯示的是 zend_reference 的計數(shù)器值（即 2）

三. 為什么初始數(shù)組的引用計數(shù)器的值為 2

現(xiàn)象

$var_empty_arr = [1, 2, '3'];
xdebug_debug_zval('var_empty_arr');
/** 輸出 **
var_arr:
(refcount=3, is_ref=0)
array (size=3)
 0 => (refcount=0, is_ref=0)int 1
 1 => (refcount=0, is_ref=0)int 2
 2 => (refcount=1, is_ref=0)string '3' (length=1)
**********/

原因

這牽扯到 PHP7 中的另一個概念，叫做 immutable array （不可變數(shù)組）。 關(guān)于 immutable array 的詳細介紹我放到下篇文章中講，這里我們只需要知道，這樣定義的數(shù)組，叫做 不可變數(shù)組 。

For arrays the not-refcounted variant is called an "immutable array". If you use opcache, then constant array literals in your code will be converted into immutable arrays. Once again, these live in shared memory and as such must not use refcounting. Immutable arrays have a dummy refcount of 2, as it allows us to optimize certain separation paths.

不可變數(shù)組和我們上面講到的 內(nèi)部字符串 一樣，都是 不使用引用計數(shù) 的，但是不同點是，內(nèi)部字符串的計數(shù)值恒為 0，而不可變數(shù)組會使用一個 偽計數(shù)值 2。

總結(jié)

以上所述是小編給大家介紹的 PHP7 中全新的 zval 容器和引用計數(shù)機制，希望對大家有所幫助，如果大家有任何疑問請給我留言，小編會及時回復(fù)大家的。在此也非常感謝大家對腳本之家網(wǎng)站的支持！