php 變量分離和引用

QiuyueZhong 發(fā)布于2019-06-27 11:43 / 3408人閱讀

摘要：變量的分離和引用今天看了一下鳥哥博客變量的分離和引用的內(nèi)容就做了一個(gè)筆記如果我們我們創(chuàng)建一個(gè)變量就分配一次內(nèi)存那么像上邊的代碼那么就會(huì)造成內(nèi)存的極大浪費(fèi)中的變量是一個(gè)指向的符號(hào)那么我們就可以在中來優(yōu)化上邊的代碼的中有一個(gè)字段用來記錄當(dāng)前被引

PHP 變量的分離和引用

今天看了一下鳥哥博客變量的分離和引用的內(nèi)容, 就做了一個(gè)筆記!

$var = "I have a dream";
$var2 = $var;
$var3 = $var;

如果我們我們創(chuàng)建一個(gè)變量就分配一次內(nèi)存, 那么像上邊的代碼,那么就會(huì)造成內(nèi)存的極大浪費(fèi). php中的變量是一個(gè)指向zval的符號(hào), 那么我們就可以在zval中來優(yōu)化上邊的代碼!
php的zval中有一個(gè)recount字段, 用來記錄當(dāng)前zval被引用的次數(shù)

$var = "abc";           //refcount = 1
$varCopy = $var;        //refcount = 2

創(chuàng)建第一個(gè)變量$var時(shí)refcount的值為1, 當(dāng)創(chuàng)建第二個(gè)變量$varCopy時(shí), refcount的值為2.我們?cè)趺茨懿榭吹竭@個(gè)值呢, 可以通過php提供的debug_zval_dump輸出變量的內(nèi)容和refcount

$var = "abc";               //refcount = 1
debug_zval_dump($var);      //string(3) "abc" refcount(2)
$varCopy = $var;            //refcount = 2
debug_zval_dump($var);      //string(3) "abc" refcount(3)

為什么打印的結(jié)果和我們預(yù)想的結(jié)果不一致呢, 函數(shù)debug_zval_dump有一個(gè)值傳遞的形參, 就相當(dāng)于又執(zhí)行了一次$arg = $var, 執(zhí)行這段代碼的時(shí)候$var的refcount又增加了1,所以在debug_zval_dump內(nèi)部打印的結(jié)果就比實(shí)際的要大1.如果我們對(duì)一個(gè)變量進(jìn)行unset那么會(huì)是一種什么樣的效果呢

$var = "abc";
$varCopy = $var;
unset($var);
debug_zval_dump($varCopy);      //string(3) "abc" refcount(2)

如果像下邊這段代碼會(huì)發(fā)生什么呢:

    $var = "abc";
    $varCopy = $var;
    $var = 1;

如果一個(gè)變量被重新賦值, 在賦值的過程中會(huì)首先檢測(cè)refcount的值, 如果refcount大于1, php就會(huì)執(zhí)行一個(gè)分離過程.上邊的代碼在執(zhí)行到第三行的時(shí)候, php發(fā)現(xiàn)$var指向的zval的refcount大于1, 那么php就會(huì)復(fù)制一個(gè)新的zval出來, 將原來的zval的refcount減1,并修改變量符號(hào)表, 是$var指向新的zval結(jié)構(gòu) ¹.這樣原來的$var和$varCopy就各自指向了不同的結(jié)構(gòu). 這個(gè)就是

copy one write 也叫寫時(shí)復(fù)制

如果我們?cè)偌由弦玫那闆r, 那么整個(gè)過程就會(huì)更加復(fù)雜!

$var = "abc";
$varRef = &$var;
$varRef = 1;

最終$var的結(jié)果是1, 這個(gè)過程被稱為

change on write 寫時(shí)改變

這次的復(fù)制是不需要進(jìn)行變量分離的,需要用到zval的is_ref字段, 對(duì)于上邊的代碼, 當(dāng)?shù)诙袌?zhí)行以后, $var所代表的zval的refcount變?yōu)?, 同時(shí)設(shè)置is_ref為1.
第三行的時(shí)候, php會(huì)首先檢查$varRef的zval的is_ref字段,如果為1, 則不分離.

$var = "abc";
$varCopy = $var;
$varRef = &$var;

上邊的情況, 存在copy on write 同時(shí)也有change on write, 是怎么運(yùn)作的呢.
當(dāng)執(zhí)行第二行的時(shí)候和前邊的copy on write一樣, $var和$varCopy指向相同的zval,refcount為2
當(dāng)執(zhí)行第三行的時(shí)候, php發(fā)現(xiàn)要操作的zval($var所指向的zval)的refcount大于1, php就會(huì)執(zhí)行分離操作, 把$varCopy分離出去, 并將$var和$varRef做change on write關(guān)聯(lián), 也就是refcount=2, is_ref=1
如果整個(gè)過程反過來²

$var = "abc";       //refcount=1, is_ref=0
$varRef = &$var;    //refcount=2, is_ref=1
$varCopy = $var;    //refcont=1, is_ref=0

第三行代碼, 因?yàn)樯线叺淖兞?b>$var對(duì)應(yīng)的zval有is_ref的存在, 那么當(dāng)前的變量就會(huì)直接復(fù)制一份出來, 而不會(huì)觸發(fā)copy on write機(jī)制.

我們?cè)诳匆欢未a

$var = "abc";
$varRef = &$var;
debug_zval_dump($var);  //string(3) "abc" refcount(1)

這個(gè)結(jié)果和預(yù)想的又有所差別, 是什么原因的? debug_zval_dump() 需要一個(gè)值傳遞的形參, 那么執(zhí)行debug_zval_dump($var)的時(shí)候就相當(dāng)于debug_zval_dump($arg = $var) 這樣就會(huì)造成變量的分離,在debug_zval_dump($arg)就相當(dāng)于對(duì)一個(gè)全新的變量執(zhí)行!

這個(gè)地方按我的理解應(yīng)該是要全新生成一個(gè)zval, 然后修改原來的zval的refcount ?

這個(gè)是我自己猜想的, 不知道是否正確.請(qǐng)輸入代碼 ?