Heim >php教程 >php手册 >PHP 引用计数器 通俗版解释

PHP 引用计数器 通俗版解释

WBOY
WBOYOriginal
2016-06-13 09:25:45997Durchsuche

PHP 引用计数器 通俗版解释

概述

最近看PHP中的引用计数器部分,首先被各种绕晕,然后通过看博客和分析后,总结了一个比较通俗的解释,能帮助自己很好地记忆,也希望能帮助到各位读者。这里分享一遍博文,是比较正统的解释:PHP变量之引用(http://hilojack.sinaapp.com/?p=1392)。

建议

研究PHP引用计数器的变化可以通过安装Xdebug扩展来学习,安装后直接调用 xdebug_debug_zval('var') 来看变量 $var的引用计数器情况。

基础知识

谈引用计数器需要对PHP中变量的存储、引用计数的机制有所了解,引用计数当然是节约内存,在不影响语义正确性的前提下,让多个变量符号共享一个内存值空间(又称为变量容器)。引用计数什么时候发生变化:赋值。 赋值又有两种: 值传递赋值和引用赋值。比较难以理解的是引用赋值。引用计数的另一个作用就是指示什么时候可以共用同一空间,什么时候必须进行变量分离(另开辟空间)。

通俗解释

为了便于理解和记忆,本人对赋值中的各种情景给以通俗的解释,不要与现实情况对号入座,。

& 号是结合,可以相当于结婚,但是PHP中允许多个人一起结婚(即一夫多妻制或一妻多夫制),这个比较变态。 注意结婚必须同居,分居是不行的。除了结婚外还有一种形态叫 合租。合租也是同居,但是没有任何关系,允许多人合租,这个是合情合理的。当然还有一种情况是独居,这个比较容易理解。以下面的例子说明赋值语句与这三种状态对应关系:

情景一:

$a = "a";  // $a 独居, is_ref = 0, refcount = 1;
$b = $a;   // $a 与 $b 合租, is_ref = 0, refcount = 2;
情景二:

$a = "a"; // $a 独居, is_ref = 0, refcount = 1;
$b = &$a; // $a 与 $b 结婚, is_ref = 1, refcount = 2;
上面可以看出, is_ref可以理解为结婚证,=1 表示两个和多个变量是结婚关系, =0没有结婚(可以合租或同居),refcount表示了多少个变量住在一起了,=1表示独居,>1表示多人同居(记住,结婚必须同居,但同居未必是结婚关系)。

下面开始分析赋值时的变量变化关系:

情景一:

$a = "a";  // $a 独居, is_ref = 0, refcount = 1;
$b = $a;   // $a 与 $b 合租, is_ref = 0, refcount = 2;


$va = "b"; // $va 独居, is_ref = 0, refcount = 1;
$vb = $va; // $va 和 $vb 合租, is_ref = 0, refcount = 2;


$a = $va;  // $a是单身,$va也是单身,因此 $a 搬去与 $va 同居,现在$a,$va,$vb三人同居
赋值后: 
$a: is_ref = 0, refcount = 3, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 0, refcount = 3, string "xyz"
$vb: is_ref = 0, refcount = 3, string "xyz"

情景二:

$a = "a";  // $a 独居, is_ref = 0, refcount = 1;
$b = &$a;   // $a 与 $b 结婚, is_ref = 1, refcount = 2;


$va = "b"; // $va 独居, is_ref = 0, refcount = 1;
$vb = $va; // $va 和 $vb 合租, is_ref = 0, refcount = 2;


$a = $va; &#160;// $a是已婚, $a 不能随便单独搬出去,赋值会使$va的值拷贝给$a,其他<strong>关系</strong>不变
$a: is_ref = 1, refcount = 2, string = "xyz"
$b: is_ref = 1, refcount = 2, string = "xyz"
$va: is_ref = 0, refcount = 2, string "xyz"
$vb: is_ref = 0, refcount = 2, string "xyz"

情景三:

$a = "a"; &#160;// $a 独居, is_ref = 0, refcount = 1;
$b = &$a; &#160; // $a 与 $b 结婚, is_ref = 1, refcount = 2;


$va = "b"; // $va 独居, is_ref = 0, refcount = 1;
$vb = &$va; // $va 和 $vb 结婚, is_ref = 1, refcount = 2;


$a = $va; &#160;// $a是已婚, 与情景二相同,值拷贝,关系不变
赋值后:
$a: is_ref = 1, refcount = 2, string = "xyz"
$b: is_ref = 1, refcount = 2, string = "xyz"
$va: is_ref = 1, refcount = 2, string "xyz"
$vb: is_ref = 1, refcount = 2, string "xyz"

情景四:

$a = "qwe";  // $a 独居, is_ref = 0, refcount = 1;
$b = $a;   // $a 与 $b 同居, is_ref = 0, refcount = 2;

$va = "xyz"; // $va 独居, is_ref = 0, refcount = 1;
$vb = &$va; // $va 和 $vb 结婚, is_ref = 1, refcount = 2;

$a = $va;  // $a 想与 $va同居(而非结婚),但是$va已婚的,因此 $a只能从$b那里搬出来,重新分配个房子,值与$va一样(术语叫:变量分离);$va和$vb关系不变

赋值后: 
$a: is_ref = 0, refcount = 1, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 1, refcount = 2, string "xyz"
$vb: is_ref = 1, refcount = 2, string "xyz"

情景五:

$a = "qwe";  // $a 独居, is_ref = 0, refcount = 1;
$b = $a;   // $a 与 $b 同居, is_ref = 0, refcount = 2;

$va = "xyz"; // $va 独居, is_ref = 0, refcount = 1;
$vb = $va; // $va 和 $vb 同居, is_ref = 0, refcount = 2;

$a = &$va;  // $a 想与 $va结婚,现在$a 和 $va 都是单身但是都有室友了,因此他们各自从原来的地方搬出来,然后分个新房子,值与$va原来的一样

赋值后: 
$a: is_ref = 1, refcount = 2, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 1, refcount = 2, string "xyz"
$vb: is_ref = 0, refcount = 1, string "xyz"

情景六:

$a = "qwe";  // $a 独居, is_ref = 0, refcount = 1;
$b = $a;   // $a 与 $b 同居, is_ref = 0, refcount = 2;

$va = "xyz"; // $va 独居, is_ref = 0, refcount = 1;
$vb = &$va; // $va 和 $vb 结婚, is_ref = 1, refcount = 2;

$a = &$va;  // $a 想与 $va 结婚,但是 $va 是已婚的,而 $a 是单身,因此 $a 搬过去和 $va 住,$va 现在有两个配偶:$vb 和 $a

赋值后: 
$a: is_ref = 1, refcount = 3, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 1, refcount = 3, string "xyz"
$vb: is_ref = 1, refcount = 3, string "xyz"

情景七:

$a = "qwe";  // $a 独居, is_ref = 0, refcount = 1;
$b = &$a;   // $a 与 $b 结婚, is_ref = 1, refcount = 2;

$va = "xyz"; // $va 独居, is_ref = 0, refcount = 1;
$vb = $va; // $va 和 $vb 同居, is_ref = 0, refcount = 2;

$a = &$va;  // $a 想与 $va 结婚,但是 $a 是已婚的,$va 是单身, 解决办法是 $a 离婚后和 $va 结婚,同时 $va 从与 $vb合租的地方搬出来

赋值后: 
$a: is_ref = 1, refcount = 2, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 1, refcount = 2, string "xyz"
$vb: is_ref = 0, refcount = 1, string "xyz"


情景八:

$a = "qwe";  // $a 独居, is_ref = 0, refcount = 1;
$b = &$a;   // $a 与 $b 结婚, is_ref = 1, refcount = 2;

$va = "xyz"; // $va 独居, is_ref = 0, refcount = 1;
$vb = &$va; // $va 和 $vb 结婚, is_ref = 1, refcount = 2;

$a = &$va;  // $a 想与 $va 结婚,但是 $a和$va都是已婚的,谁离婚?$a!,因为是$a主动想和$va结婚,
// $a 离婚后$va住一起,$va 现在有两个配偶:$vb 和 $a

赋值后: 
$a: is_ref = 1, refcount = 3, string = "xyz"
$b: is_ref = 0, refcount = 1, string = "qwe"
$va: is_ref = 1, refcount = 3, string "xyz"
$vb: is_ref = 1, refcount = 3, string "xyz"

以上分析了简单变量赋值的各种情形,不包括自引用的情况。概况来讲:

简单赋值 就是同居,需考察等号左侧变量的is_ref(即是否已婚),若 is_ref = 1,则值拷贝,否则考虑左侧便令,能否在不另外分配内存的情形下,与右侧变量共用同一存储空间(同居),此时要考察右侧是否是已婚,若是,则不能同居,变量分离,若右侧变量也是单身,则直接共用同一内存,所有同居者都遵循 COW(写时拷贝)的原则。

引用赋值 就是结合, 需先考察右侧变量的引用情况, 若 is_ref = 1,则直接 refcount ++, 出现多人结合的情况, 若右侧是非引用的(is_ref = 0),那还需考察右侧是否是独居,若是独居,则 左右两个变量共用右侧变量空间,否则右侧变量从原来的地方分离出来和左侧开辟新空间。 只要是引用赋值,那么左侧变量总是要与之前结合的或共用的变量进行分离。







Stellungnahme:
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn