PHP7内核学习笔记 - zval中的知识点

本文主要是介绍PHP7内核学习笔记 - zval中的知识点，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

PHP5中的zval结构

struct _zval_struct {union {long lval;double dval;struct {char *val;int len;} str;HashTable *ht;zend_object_value obj;zend_ast *ast;} value;zend_uint refcount__gc;zend_uchar type;zend_uchar is_ref__gc;
};

PHP7中的zval结构

struct _zval_struct {union {zend_long         lval;             /* long value */double            dval;             /* double value */zend_refcounted  *counted;zend_string      *str;zend_array       *arr;zend_object      *obj;zend_resource    *res;zend_reference   *ref;zend_ast_ref     *ast;zval             *zv;void             *ptr;zend_class_entry *ce;zend_function    *func;struct {uint32_t w1;uint32_t w2;} ww;} value;union {struct {ZEND_ENDIAN_LOHI_4(zend_uchar    type,         /* active type */zend_uchar    type_flags,zend_uchar    const_flags,zend_uchar    reserved)     /* call info for EX(This) */} v;uint32_t type_info;} u1;union {uint32_t     var_flags;uint32_t     next;                 /* hash collision chain */uint32_t     cache_slot;           /* literal cache slot */uint32_t     lineno;               /* line number (for ast nodes) */uint32_t     num_args;             /* arguments number for EX(This) */uint32_t     fe_pos;               /* foreach position */uint32_t     fe_iter_idx;          /* foreach iterator index */} u2;
};

GC机制：仅支持数组和对象(IS_TYPE_COLLECTABLE)

第一步将紫色标记为灰色，并将计数引用减1
第二步仅操作灰色。若计数引用大于0，则说明非垃圾，标为黑色，并将计数引用加1（第一步中做了减1操作）。若计数引用等于0，则说明是垃圾，标为白色。
移除黑色（非垃圾，不需要处理），保留白色（垃圾，需要回收）。将白色的计数引用加1，然后将处理后的roots链表移动到待释放列表（to_free）
释放to_free

计数引用和写时复制

计数引用说白了就是用来标记一个变量所指向的值被使用了多少次

简单类型的变量(true/false/double/long/null)不需要引用计数
临时字符串会用到引用计数。但如果变量是字符常量，则不会用到
对象、资源和引用在赋值时一定会用到引用计数
普通数组在赋值时也会用到引用计数，但是变量是IS_ARRAY_IMMUTABLE时，赋值不使用引用计数
一个zval是否支持引用计数是通过zval.u1.type_flag来标识的。当type_flag的第三位被标记为1(IS_TYPE_REFCOUNTED标识)，则代表可以引用计数。

写时复制这种机制是用于节省资源的。当变量只是复制后用来展示而不做改变，那么新老变量指向的都是同一个值。当新老变量有任何一方作出变动，都会触发写时复制的机制，使得两者脱离，分别指向自己私有的值了（这时候不再共用）。

变量的作用域

局部变量
全局变量

对于复制的支持(IS_TYPE_COPYABLE)

需要查找IS_TYPE_COPYABLE，除了对象和资源，其他都支持。意味着对象和资源在赋值操作之后，新的变量和老的变量指向的是同一个对象（资源）。而其他的变量类型则支持赋值（整型和浮点型会直接生成一份新的，不需要计数引用和写时复制）。
只有string和array支持复制