PHP变量分离/引用(Variables Separation)

PHP——2（PHP变量作用域） PHP——3（PHP变量分离/引用(Variables Separation)） 为辅助阅读，可直接跳过

回顾一下zval的结构：

struct _zval_struct {
        /* Variable information */
        zvalue_value value;             /* value */
        zend_uint refcount;
        zend_uchar type;        /* active type */
        zend_uchar is_ref;
};

其中的refcount和is_ref字段我们一直都没有介绍过，我们知道PHP是一个长时间运行的服务器端的脚本解释器。那么对于它来说，效率和资源占用率是一个很重要的衡量标准，也就是说，PHP必须尽量介绍内存占用率，考虑下面这段代码：

<?php
   $var = "laruence";
   $var_dup = $var;
   unset($var);
?>

第一行代码创建了一个字符串变量，申请了一个大小为9字节的内存，保存了字符串”laruence”和一个NULL(\0)的结尾。 第二行定义了一个新的字符串变量，并将变量var的值”复制”给这个新的变量。 第三行unset了变量var

这样的代码在我们平时的脚本中是很常见的，如果PHP对于每一个变量赋值都重新分配内存，copy数据的话，那么上面的这段代码公要申请18个字节的内存空间，而我们也很容易的看出来，上面的代码其实根本没有必要申请俩份空间，呵呵，PHP的开发者也看出来了：

我们之前讲过，PHP中的变量是用一个存储在symbol_table中的符号名，对应一个zval来实现的，比如对于上面的第一行代码，会在symbol_table中存储一个值”var”, 对应的有一个指针指向一个zval结构，变量值”laruence”保存在这个zval中，所以不难想象，对于上面的代码来说，我们完全可以让”var”和”var_dup”对应的指针都指向同一个zval就可以了。

PHP也是这样做的，这个时候就需要介绍我们之前一直没有介绍过的zval结构中的refcount字段了。 refcount,顾名思义，记录了当前的zval被引用的计数。 比如对于代码:

<?php
   $var = 1;
   $var_dup = $var;
?>

第一行，创建了一个整形变量，变量值是1。 此时保存整形1的这个zval的refcount为1。 第二行，创建了一个新的整形变量，变量也指向刚才创建的zval，并将这个zval的refcount加1，此时这个zval的refcount为2。 PHP提供了一个函数可以帮助我们了解这个过程debug_zval_dump:

<?php
 $var = 1;
 debug_zval_dump($var);
 $var_dup = $var;
 debug_zval_dump($var);
?>

long(1) refcount(2)
long(1) refcount(3)

如果你奇怪 ，var的refcount应该是1啊？ 我们知道，对于简单变量，PHP是以传值的形式穿参数的。也就是说，当执行debug_zval_dump($var)的时候，$var会以传值的方式传递给debug_zval_dump，也就是会导致var的refcount加1，所以我们只要能看到，当变量赋值给一个变量以后，能导致zval的refcount加1这个事实即可。

现在我们回头看文章开头的代码， 当执行了最后一行unset($var)以后，会发生什么呢？ 对，既是refcount减1，上代码：

<?php
   $var = "laruence";
   $var_dup = $var;
   unset($var);
   debug_zval_dump($var_dup);
?>

string(8) "laruence" refcount(2)