在zval中存储了两个重要字段，is_ref和refcount。
is_ref为true时，表示变量是引用变量，否则为普通变量。
refcount表示，变量的引用次数。
通过xdebug_debug_zval可以查看“refcount”和“is_ref”的值。
一般数据类型
一般数据类型的行为较为简单，单独一个变量的is_ref为false，refcount为1。
如：
$a = "new string";
xdebug_debug_zval('a');
会输出：
a: (refcount=1, is_ref=0)='new string'
当赋值给新的变量时，如果是普通赋值，则refcount++
如：
$a = "new string";
$b = $a;
xdebug_debug_zval( 'a' );
会输出：
a: (refcount=2, is_ref=0)='new string'
如果是引用赋值，则refcount++，且is_ref会变为true
如：
$a = "new string";
$b = &$a;
xdebug_debug_zval( 'a' );
会输出：
a: (refcount=2, is_ref=1)='new string'
通过unset()可以减少引用计数
如：
$a = "new string";
$c = $b = $a;
xdebug_debug_zval( 'a' );
unset( $b, $c );
xdebug_debug_zval( 'a' );
会输出：
a: (refcount=3, is_ref=0)='new string'
a: (refcount=1, is_ref=0)='new string'
如果经过unset()后，refcount的值变为1，则is_ref会变为false
如：
$a = "new string";
$b = &$a;
xdebug_debug_zval( 'a' );
unset($b);
xdebug_debug_zval( 'a' );
会输出：
a: (refcount=2, is_ref=1)='new string'
a: (refcount=1, is_ref=0)='new string'
普通变量按照copy on write执行，某个变量修改后，会与其他变量分离：
$a = "new string";
$b = $a;
$c = $b;
xdebug_debug_zval( 'a' );
xdebug_debug_zval( 'c' );
$c = "another string";
xdebug_debug_zval( 'a' );
xdebug_debug_zval( 'c' );
会输出：
a: (refcount=3, is_ref=0)='new string'
c: (refcount=3, is_ref=0)='new string'
a: (refcount=2, is_ref=0)='new string'
c: (refcount=1, is_ref=0)='another string'
引用变量按照change on write执行，某个变量改变后，其余变量也会相应改变
如：
$a = "new string";
$b = &$a;
$c = &$b;
xdebug_debug_zval( 'a' );
xdebug_debug_zval( 'c' );
$c = "another string";
xdebug_debug_zval( 'a' );
xdebug_debug_zval( 'c' );
会输出：
a: (refcount=3, is_ref=1)='new string'
c: (refcount=3, is_ref=1)='new string'
a: (refcount=3, is_ref=1)='another string'
c: (refcount=3, is_ref=1)='another string'
普通变量变为引用变量也会被当作值的变化，会引发copy on write。
如：
$a = 1;
$b = $a;
$c = &$b;
xdebug_debug_zval('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
会输出：
a: (refcount=1, is_ref=0)=1
b: (refcount=2, is_ref=1)=1
c: (refcount=2, is_ref=1)=1
如：
$a = 1;
$b = &$a;
$c = $b;
xdebug_debug_zval('a');
xdebug_debug_zval('b');
xdebug_debug_zval('c');
会输出：
a: (refcount=2, is_ref=1)=1
b: (refcount=2, is_ref=1)=1
c: (refcount=1, is_ref=0)=1
数组引用
如：
$a = array( 'meaning' => 'life', 'number' => 42 );
xdebug_debug_zval( 'a' );
会输出：
a: (refcount=1, is_ref=0)=array (
'meaning' => (refcount=1, is_ref=0)='life',
'number' => (refcount=1, is_ref=0)=42
)
如：
$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'
)
对于循环引用：
$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=1)=...
)
对象
// $a 是指向 Foo object 0 的一个指针p0
$a = new Foo;
// $b 是指向 Foo object 0 的另一个指针p1
$b = $a;
// $c 和 $a 是p0的引用
$c = &$a;
// $a 和 $c 是p0的引用，但是p0改为指向Foo object 1, $b 不变
$a = new Foo;
// $c 是指向 Foo object 1的指针p0
unset($a);
// $a 和 $b 是p1的引用
$a = &$b;
// p1 变为 NULL，$a 和 $b 都是引用. Foo object 0 可以被GC
$a = NULL;
// $b 不存在了， $a 是p1，值为 NULL
unset($b);
// $a 是指向 Foo object 2的指针p1 , $c是指向 Foo object 1的指针p0
$a = clone $c;
// Foo object 1可以被gc.
unset($c);
// $c 是指向Foo object 2的指针p2，$a 是指向 Foo object 2的指针p1
$c = $a;
// $c 是p2， 仍然指向Foo object 2
unset($a);
// $a 和 $c 都是p2的引用
$a = &$c;
const ABC = TRUE;
if(ABC) {
// Foo object 2 可以被gc
$a = NULL;
} else {
// $c 仍然指向Foo object 2
unset($a);
}
总结
1. is_ref表示变量是否为引用变量，refcount表示变量引用次数
2. 普通变量被其他变量引用时，变成is_ref变为true
3. 经过unset()后，refcount变成1时，is_ref会被置为false
4. 普通变量按照copy on write执行，某个变量的值改变时，会单独复制一份，再改变值
5. 引用变量按照change on write执行，某个变量的值改变时，其余相关的值也会改变
6. 数组里的每一个元素都按照上述原则执行
7. 对象可以看作一个指针，指向具体对象，同样按照上述原则执行