快捷導(dǎo)航

PHP7內(nèi)核之Reference詳解

更新時(shí)間：2019年03月14日 08:45:31 作者：風(fēng)雪之隅

這篇文章主要介紹了PHP7內(nèi)核之Reference，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家的學(xué)習(xí)或者工作具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面隨著小編來一起學(xué)習(xí)學(xué)習(xí)吧

問題

上一章說過引用(REFERENCE)在PHP5的時(shí)候是一個(gè)標(biāo)志位, 而在PHP7以后我們把它變成了一種新的類型:IS_REFERNCE. 然而引用是一種很常見的應(yīng)用, 所以這個(gè)變化帶來了很多的變化, 也給我們?cè)谧鯬HP7開發(fā)的時(shí)候, 因?yàn)橛械臅r(shí)候疏忽忘了處理這個(gè)類型, 而帶來不少的bug.

最簡(jiǎn)單的情況, 就是在處理各種類型的時(shí)候, 從此以后我們要多考慮這種新的類型, 比如在PHP7中, 這樣的代碼形式就變得很常見了:

try_again:
swtich (Z_TYPE_P(zv)) {
   case IS_TRING:
   break;
   case IS_ARRAY:
   break;
  ...
   case IS_REFERENCE:
   zv = Z_REFVAL_P(zv); //解引用
   goto try_again;
   break;
}

如果大家自己寫的擴(kuò)展, 如果忘了考慮這種新的類型, 那么就會(huì)導(dǎo)致問題.

為什么?
那么既然這種新類型會(huì)帶來這么多問題, 那么當(dāng)時(shí)為什么要用把引用變成一種類型呢? 為什么不還是使用一個(gè)標(biāo)志位呢?

一句話來說, 就是我們不得不這么做. -_#

前面說到, Hashtable直接存儲(chǔ)的是zval, 這樣在符號(hào)表中, 倆個(gè)zval如何共用一個(gè)數(shù)值呢? 對(duì)于字符串等復(fù)雜類型來說還好, 我們貌似可以在zend_refcounted結(jié)構(gòu)中加入一個(gè)標(biāo)志位來表明是引用來解決, 然而這個(gè)也會(huì)遇到Change On Write帶來的復(fù)制, 但是我們知道在PHP7中, 一些類型是直接存儲(chǔ)在zval中的, 比如IS_LONG, 但是引用類型是需要引用計(jì)數(shù)的, 那么對(duì)于一個(gè)是IS_LONG并且又是IS_REFERNCE的zval該如何表示呢?

為此, 我們創(chuàng)造了這個(gè)新的類型:

如圖所示, 引用是一種新的類型:zend_reference, 對(duì)于IS_REFERNCE類型的zval, zval.value.ref是一個(gè)指向zend_reference的指針, 它包含了引用計(jì)數(shù)和一個(gè)zval, 具體的zval的值是存在zval.value.ref->val中的.

所以對(duì)于IS_LONG的引用來說, 就用一個(gè)類型是IS_REFERNCE的zval, 它指向一個(gè)zend_reference, 而這個(gè)zend_reference->val中是一個(gè)類型為IS_LONG的zval.

Change On Write
PHP采用引用計(jì)數(shù)來做簡(jiǎn)單的垃圾回收, 考慮如下的代碼:

<?php
1. $val = "laruence";
2. $ref = &$val;
3. $copy = $val;
?>

$ref和$val是指向同一個(gè)zval的引用, 在PHP5的時(shí)候, 我們是通過一個(gè)引用計(jì)數(shù)為2, 并且引用標(biāo)志位為1來表示這種情況, 當(dāng)把$val復(fù)制給$copy(line 3)的時(shí)候, 我們發(fā)現(xiàn)$val是一個(gè)計(jì)數(shù)大于1的引用, 所以要產(chǎn)生Change on write, 也就是分離. 所以我們需要復(fù)制這個(gè)zval.

而在PHP7中, 情況就變得簡(jiǎn)單了很多, 首先在引用賦值給$ref(line 2)的時(shí)候, 生成一個(gè)IS_REFERNCE類型, 然后因?yàn)榇藭r(shí)有倆個(gè)變量引用它所以zend_reference這個(gè)結(jié)構(gòu)的引用計(jì)數(shù)zval.value.ref->gc.refcount為2.

再隨后的賦值給$copy(line 3)的時(shí)候, 發(fā)現(xiàn)$val是一個(gè)引用, 于是讓$copy指向的是zval.value.ref->val, 也就是字符串值為laruence的zval, 然后把zval的引用計(jì)數(shù)+1, 也就是zval.value.ref->val.value.str.gc.refcount為2. 并沒有產(chǎn)生復(fù)制.

從而這就很好的解決了上一章所說的PHP5的那個(gè)經(jīng)典的問題, 比如我們?cè)赑HP7下運(yùn)行上一章的那個(gè)問題, 我們得到的結(jié)果是: