要编写PHP扩展,不可避免要了解PHP内核中变量的存储方式和使用方法
1 PHP变量在内核中的存储方式:
在zend/zend.h中我们可以看的下边的结构体:
typedef union _zvalue_value {
long lval; /* long value */
double dval; /* double value */
struct {
char *val;
int len;
} str;
HashTable *ht;/* hash table value */
zend_object_value obj;
zend_ast *ast;
} zvalue_value;
struct _zval_struct {
/* Variable information */
zvalue_value value;/* value */
zend_uint refcount__gc;
zend_uchar type;/* active type */
zend_uchar is_ref__gc;
};
在它include进去的zend_type.h中我们可以看到:
typedef struct _zval_struct zval;这个zval结构体的类型声明,zval结构体就是
zval结构体就是通常用到的php变量在内核中的表现形式,在zval中有四个成员变量:
zval_value value:变量的值,如$q = 4; 中的4就保存在这里
zend_uint refcount:变量引用计数,变量引用计数器
zend_unchar type:变量的类型
zend_uchar is_ref:变量是否被引用
其中的变量类型zvalue_value是一个联合体,php和C中的数据类型对应关系如下:
php语言层 保存在zvalue中的成员变量类型
long | bool | resource lval
double dval
string str(结构体,包含len保存长度和val保存字符串的值)
array ht(hashtable)
object obj(zend_object_value)
其中的zend变量类型和C的变量类型的关系可以在zend_type.h的宏定义中找到
## PHP内核变量访问宏
使用zval_type=IS_LONG可以设置一个变量的类型,但是这样很不合适,随php版本的更新可能会改掉type成员变量的类型名称,那我们的扩展就不能使用了,为了解决这个问题,php内核提供了一个访问和设置变量类型的方式:
Z_TYPE(zval) 对应zval结构体的实体
Z_TYPE_P(&zval) 对应zval结构体的指针
Z_TYPE_P(&&zval) 对应zval结构体的二级指针
可以使用 Z_TYPE(zval)=IS_LONG来设置变量的类型
if(Z_TYPE(zval) == IS_LONG)来判断访问变量的类型
## 引用计数和写时复制
PHP是不支持指针的,如果希望有两个变量同时执行同一块内存怎么办 ?PHP在内核里使用了引用计数器来解决:zval中的 is_ref (表示是否是引用集合) 和 ref_count (计算指向引用集合的变量的个数) 两个成员变量用于引用计数器,一个zval结构的实体称为zval容器
在PHP语言层创建一个变量就会响应在php内核创建一个zval容器,当使用$b = $a; 将已定义的变量a赋值给b的时候,a的refcount=2,is_ref=0,说明a和b其实是指向同一个地址单元的,但是a的值改变的时候,a的refcount变为1 说明,这种php内核又新申请了一块内存来保存变量a,这就是所谓的写时复制
当我们使用显示的引用 $b = &$a; 时,&$a的is_ref会变成1,php内核就是根据is_ref的值来判断是不是要复制变量的