PHP 的引用计数基础知识

欢迎您访问我爱IT技术网，今天小编为你分享的编程技术是：【PHP 的引用计数基础知识】，下面是详细的分享！

PHP 的引用计数基础知识

一个php变量存储在一个叫做“zval” 的地方，一个zval 结构包含了什么呢，包含了变量的类型和值，和两个附加信位元信息，第一个位叫做“is_ref”, 它是个布尔值，它标识了这个变量是不是个引用类型，通过这个位元，PHP引擎了解了这个变量是普通类型的变量还是引用类型的变量。因为php允许通过 &操作符让用户获得一个引用。一个zval容器则通过一个叫做引用技术的机制来优化内存的占用。附加的两个位第二个位叫做”refcount”,包含了有多少变量名（这里叫做symbols）指向了这 “一个”zval容器。 Php的所有变量符号保存在一个叫做符号表的地方，并且保存每一个变量的周期和范围。范围包括完整的周期，或者每一个函数或方法内部。

当一个变量通过一个常量值建立的时候，一个zval 容器被建立。例如：

<?php     $a='new string'; ?>

在上例中， 一个新的符号名“a” 被建立在当前范围内（作用域），并且建立了一个类型为“string”,值为”new string” 的新的变量容器， 这时因为目前还没有个用户建立的引用指向它，所以 “is_ref”默认为false, “refcount” 被设置为1，表示只有一个符号被用于这个变量容器。注意，如果”refcount” 为1，则”is_ref”永远为”false”. 如果你使用 xdebug ,可以通过它开查看响应信息：

<?php   Xdebug_debug_zval(‘a’); ?>

将会显示：

a: (refcount=1, is_ref=0)=‘new string’

下面，赋值给其他变量名，将增加引用计数

<?php $a='new string'; $b=$a; xdebug_debug_zval(‘a’); ?>

将会显示：

a:(refcount=2,is_ref=0)='new string'

这里 refcount 为 2，因为同一个变量容器连接到了符号“a” 和”b”, php 有足够的聪明判断是否在不需要一个实际的变量容器的时候而复制一个，当”refcount”变为0的时候，变量容器将被摧毁， 当连接到变量容器的变量符号离开作用域（比如，函数结束）或者在符号表上调用unset()的时候,”refcount” 将会被减少1， 下面的例子说明了这个：

<?php $a='new string'; $c=$b=$a; xdebug_debug_zval('a'); unset($b,$c); xdebug_debug_zval('a'); ?>

将会显示：

a :(refcount=3,is_ref=0)=’new sring’ a: (refcount=1,is_ref=0)=‘new string’

如果我们现在调用”unset(a);”则变量容器，包括内部的值和类型，将会从内存移出.

复合类型

在数组和对象 等复合类型上，事情变得有点复杂，和标量类型不同的是，数组和对象分别保存它们的属性在它们自己的一个符号表内。 下面的例子将会建立三个zval容器：

<?php $a=array('meaning'=>'life','number'=>42); xdebug_debug_zval('a'); ?>

将会显示：

a: (refcount=1,is_ref=0)=array( 'meaning'=>(refcount=2,is_ref=0)='life', 'number'=>(refcount=1,is_ref=0)=42, )

或者用图表示：

 

这三个zval 容器分别为 “a”,”meaning” 和”number”,简单的规则同样适用于它们对”refcount” 的增减：

我们添加一个其他的元素到一个存在的数组：

<?php $a=array('meaning'=>'life','number'=>42); $a['life']=$a['meaning']; xdebug_debug_zval('a'); ?>

将会显示:

a: (refcount=1,is_ref=0)=array( 'meaning'=>(refcount=2,is_ref=0)='life', 'number'=>(refcount=1,is_ref=0)=42, 'life'=>(refcount=2,is-ref=0)='life' )

用图来显示:

 

通过上面的xdebug输出， 我们看到新的数组元素和旧的元素现在指向了一个zval容器，并且zval容器的”refcount” 为2，当然，它们表示了两个zval容器，但是它们是同一个，。xdebug_debug_zval(0 函数并不能很好的表现出这一点，但是通过内存指针的显示看出，从数组中移出一个元素行为类似离开符号的作用域，数组元素指向的变量容器的”refcount”将会减1，同样当”refcount” 到0的时候，这个变量容器将会从内存中删除。 下面例子表示了这个：

<?php $a=array('meaning'=>'life','number'=>42); $a['life']=$a['meaning']; unset($a['meaning'],$a['number']); xdebug_debug_zval('a'); ?>

将会如下显示：

a: (refount=1,is_ref=0)=array( 'life'=>(refcount=1,is_ref=0)='life' )

接下来，事情变得越来越有趣了，下面的例子中， 我们将要添加数组本身给数组的一个元素，我们在这里讲使用一个引用操作，要不php将会使用一个copy 操作来执行：

<?php $a=array('one'); $a[]=& $a; xdebug_debug_zval('a'); ?>

将会显示:

a: (refcount=2,is_ref=1)=array( 0=>(refcount=1,is_ref=0)='one', 1=>(refcount=2,is_ref)=........ )

用图来显示：

 

就想你所看到的那样， 数组变量(“a”) 和它的第二个元素(“1”) 现在指向了一个函数容器，这个函数容器的”refcount”为2, 下面的”...” 显示出这里是个递归的调用，当然，这里的情况是这个。。。 表示它指向了原数组。

就像之前介绍的那样，unset 一个变量将会删除一个符号，并且zval函数容器的引用计数将会被减1，所以在上面的代码之后，如果我们unset 变量$a,， $a 和元素 “1” 指向的变量容器引用计数将会减1，从2变为1

将会表示如下:

(refcount=1,is_ref=1)=array( 0=>(refcount=1,is_ref=0)='one', 1=>(refcount=1,is_ref=1)=.... )

图表示为:

 

解决这个问题

尽管现在已经没有一个任意作用域的符号指向这个结构，但是它的内存还是不能释放，因为数组元素”1” 一直指向同一数组， 因为已经没有任何外部符号指向它，所以用户没有任何方法来清除这个结构（memoryleak!!）这样你将得到一个内存泄露。 幸运的是，在页面请求结束时，PHP将会清除这个数据结构。但是之前，它讲一直在内存中占用空间，这种情况会在你实现了一个分析算法或者其他的子元素包含“父级“元素的时候常常发生，当然同样的情况也会在对象上发生那个，实际上大部分会在对象上发生。因为一个对象尝尝隐含的通过引用来使用。

当然，如果这个问题仅仅发生一次或者两次也不算什么， 但是如果发生上千次，上万次，将会造成打量的内存损失，尤其是在长期运行的脚本中，例如守护进程，或者很大型的单元测试环境中。

以上所分享的是关于PHP 的引用计数基础知识，下面是编辑为你推荐的有价值的用户互动：

　　相关问题：在OC中，怎样理解"引用计数"的实质

　　答：1、OC是面向对象语言，引用计数是用来释放已经创建的对象才引入的。 2、新建一个对象时，这个对象的计数器会加一，或者有其他的对象类型指针指向这个对象时，计数器也会加一，也可以通过release方法来使计数器减一，来达到释放对象的目的，只要... >>详细

　　相关问题：Objective-C 中的引用计数问题

　　答：是指针指向的对象有引用计数 只要指针指向的地址相同，那么引用计数相同 你的例子中，第二句话执行完之后，obj2和obj1的引用计数一样，为1 执行完第三句以后，obj1自然变成了2，obj2也同时变成了2 可以通过调用对象的retainCount查看引用计数，e... >>详细

　　相关问题：objective-c引用计数的问题

　　答：myStr1 myStr2是常量字符串直接指向静态区 myStr3是自动释放 这两种形式的retainCount都是不可信的，也不是你该关注的 这种生成字符串的方式无需你管理内存 只有alloc出来的initWithString才需要你手动release 你以上代码做的事情是没有实际意义... >>详细