回忆一下我们开头讲的 zval_struct 中 value 的数据结构，当为一个变量赋 整形 、 浮点型 或 静态字符串 类型的值时，value 的数据类型为 zend_long 、 double 或 zend_string ，这时值是可以直接储存在 value 中的。而按值拷贝时，会开辟一个新的 zval_struct 以同样的方式将值储存到相同数据类型的 value 中，所以 refcount 的值一直都会为 0。
但是当使用 & 操作符进行引用拷贝时，情况就不一样了：
PHP 为 & 操作符操作的变量申请一个 zend_reference 结构
将 zend_reference.value 指向原来的 zval_struct.value
zval_struct.value 的数据类型会被修改为 zend_refrence
将 zval_struct.value 指向刚刚申请并初始化后的 zend_reference
为新变量申请 zval_struct 结构，将他的 value 指向刚刚创建的 zend_reference
此时： var_int_2 都拥有一个 zval_struct 结构体，并且他们的 zval_struct.value 都指向了同一个 zend_reference 结构，所以该结构的引用计数器的值为 2。
题外话：zend_reference 又指向了一个整形或浮点型的 value，如果指向的 value 类型是 zend_string，那么该 value 引用计数器的值为 1。而 xdebug 出来的 refcount 显示的是 zend_reference 的计数器值（即 2）
三. 为什么初始数组的引用计数器的值为 2
现象
$var_empty_arr = [1, 2, '3']; xdebug_debug_zval('var_empty_arr'); /** 输出 ** var_arr: (refcount=3, is_ref=0) array (size=3) 0 => (refcount=0, is_ref=0)int 1 1 => (refcount=0, is_ref=0)int 2 2 => (refcount=1, is_ref=0)string '3' (length=1) **********/
原因
这牵扯到 PHP7 中的另一个概念，叫做 immutable array （不可变数组）。 关于 immutable array 的详细介绍我放到下篇文章中讲，这里我们只需要知道，这样定义的数组，叫做 不可变数组 。
For arrays the not-refcounted variant is called an "immutable array". If you use opcache, then constant array literals in your code will be converted into immutable arrays. Once again, these live in shared memory and as such must not use refcounting. Immutable arrays have a dummy refcount of 2, as it allows us to optimize certain separation paths.
不可变数组和我们上面讲到的 内部字符串 一样，都是 不使用引用计数 的，但是不同点是，内部字符串的计数值恒为 0，而不可变数组会使用一个 伪计数值 2。
总结
以上所述是小编给大家介绍的 PHP7 中全新的 zval 容器和引用计数机制，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对脚本之家网站的支持！
您可能感兴趣的文章: