php+Zval

Zval 是 PHP 中最重要的数据结构之一（另一个比较重要的数据结构是 hash table），它包含了 PHP 中的变量值和类型的相关信息。 1，它是一个 struct，基本结构为 struct _zval_struct { // 存储变量的值 zvalue_value value; // 表示引用计数 zend_uint refcount__gc; // 变量具体的类型 zend_uchar type; // 表示是否为引用 zend_uchar is_ref__gc; }; typedef struct _zval_struct zval; 2，Zval 在内核中的工作 $a = ['string' => 'life', 'object' => new stdClass()]; xdebug_debug_zval('a'); // a:(refcount = 1, is_ref = 0) = array('string' => (refcount = 1, is_ref = 0) = 'life', 'object' => (refcount = 1, is_ref = 0) = new stdClass()); /** * zval.value = array('string' => 'life', 'object' => new stdClass()); * zval.is_ref__gc = 0; * zval.type = 'array'; * zval.refcount__gc = 1; */ 创建数组时，会创建一个 zval（与普通变量生成的 zval 非常类似，但也有很大不同，数组和对象这类复合型的变量在生成 zval 时，会为每个 key 项生成一个 zval 容器） $c = &$a['string']; xdebug_debug_zval('a'); // a:(refcount = 1, is_ref = 0) = array('string' => (refcount = 2, is_ref = 1) = 'life', 'object' => (refcount = 1, is_ref = 0) = new stdClass()); xdebug_debug_zval('c'); // c:(refcount = 2, is_ref = 1) = 'life'; 数组引用给另一个变量时，会增加 zval 中 refcount 和 is_ref 值 $b = $a['object']; xdebug_debug_zval('a'); // a:(refcount = 1, is_ref = 0) = array('string' => (refcount = 2, is_ref = 1) = 'life', 'object' => (refcount = 2, is_ref = 0) = new stdClass()); xdebug_debug_zval('b'); // b:(refcount = 2, is_ref = 0) = new stdClass(); 数组赋值给另一个变量时，会增加 zval 中 refcount 值 $d = $b; xdebug_debug_zval('b'); // b:(refcount = 3, is_ref = 0) = new stdClass(); xdebug_debug_zval('d'); // d:(refcount = 3, is_ref = 0) = new stdClass(); $c = 'new lift'; xdebug_debug_zval('a'); // a:(refcount = 1, is_ref = 0) = array('string' => (refcount = 2, is_ref = 1) = 'new lift', 'object' => (refcount = 2, is_ref = 0) = new stdClass()); xdebug_debug_zval('c'); // c:(refcount = 2, is_ref = 1) = 'new lift'; 以上 c 引用 a['string'] 的值属于使用共享 zval 的形式，当 c 改变时 refcount 和 is_ref 值不变唯有 a 和 c 的 value 值改变 unset($c); xdebug_debug_zval('a'); // a:(refcount = 1, is_ref = 0) = array('string' => (refcount = 1, is_ref = 0) = 'new lift', 'object' => (refcount = 2, is_ref = 0) = new stdClass()); unset 时，对应减少 zval 中 refcount 和 is_ref 值