CodeIgniter-&引发关于变量引用的思考

CodeIgniter是一个单例模式框架，源代码中大量使用‘&’引用，有两种原因：一方面基于兼容PHP4版本；另一方面是为了防止变量发生”写时复制”（copy on write）。借此机会，简单地介绍“PHP变量引用”原理。

PHP源码使用zval结构定义变量：

typedef struct _zval_struct zval;
struct _zval_struct {
    zvalue_value value;     
    zend_uint refcount__gc; 
    zend_uchar type;
    zend_uchar is_ref__gc; 
}

value : 变量的值。
refcount__gc : 变量的引用计数； 当值为0时，变量可以进行回收。
type : 变量的类型。
is_ref__gc : 是否为传址引用。

值得一提的是 refcount__gc 并非变量传址引用的计数。
下面通过实例进行介绍。

$a = "aaaa";
$b = $a;
debug_zval_dump($a);

运行的结果：

string(4) "aaaa" refcount(3)

refcount对应ZVAL结构refcount__gc 属性。也就是说$a 变量被引用了3次。为什么呢？这与PHP变量引用的原理有关。

运行第一行代码，$a变量指向”aaaa”地址，此时refcount=1.

运行第二行代码，$b也指向了”aaaa”地址，此时，refcount=2.

为什么输出结果refcount=3呢？因为debug_zval_dump()函数调用时会引用一次。

上面介绍了PHP变量的传值引用，那么传址引用是怎样设计的呢？

再来看下面的代码

$a = "aaaa";
$b = &a;
debug_zval_dump($a);

输出的结果：

string(4) "aaaa" refcount(1)

第一行，定义变量a,并赋值“aaaa”，此时refcount=1。
第二行，将 a变量的地址赋给 b, 此时 refcount=2，is_ref=1。

那么为什么refcount输出结果是1呢？
当系统运行第三行代码时，此时，由于debug_zval_dump()函数参数非传址引用，此时变量会发生写时复制，也就是说debug_zval_dump()的参数相当于一个新的变量。

对第三行代码做下小调整，我们就能看到$a正确的引用计数：

debug_zval_dump(&$a);

运行结果：

&string(4) "aaaa" refcount(3)

好了，变量的引用就介绍到这儿了。如有想仔细研究的童鞋，可以参考鸟哥的一篇文章：http://www.laruence.com/2008/09/19/520.html.

总结
PHP变量引用设计得非常巧妙，有效地降低“多余”的内存分配与释放次数，从而达到提升PHP性能的目的。

生产环境下，使用变量引用时，应稍加注意。