PHP内核探索:变量的value和type存储
PHP内核    2019-04-25 15:50:20    2    0    0
admin   PHP内核

PHP是一种弱类型的脚本语言,弱类型不表示PHP的变量没有类型区分,PHP变量有8种原始类型:

四种标量类型:

  • boolean(布尔型)
  • integer(整型)
  • float(浮点型)
  • string(字符串)

两种复合类型:

  • array(数组)
  • object(对象)

两种特殊类型:

  • resource(资源)
  • NULL

一个变量能在运行期间从一种类型转换为另一种类型,那么PHP是如何实现这种变量的类型戏法的呢?

在引擎内部,变量都是用一个结构体来表示,这个结构体可以在{PHPSRC}/Zend/zend.h中找到:

1struct _zval_struct { 
2    /* Variable information */ 
3    zvalue_value value;     /* value */ 
4    zend_uint refcount__gc; 
5    zend_uchar type;    /* active type */ 
6    zend_uchar is_ref__gc; 
7};

这里我们暂时只关心 value和type两个成员,其中value是一个联合, 也就是变量的实际值,type是变量的动态类型,根据类型的不同,value使用不同的成员。

type的各种类型都被定义成了宏,同样在此文件中定义了这些宏:

01#define IS_NULL     0 
02#define IS_LONG     1 
03#define IS_DOUBLE   2 
04#define IS_BOOL     3 
05#define IS_ARRAY    4 
06#define IS_OBJECT   5 
07#define IS_STRING   6 
08#define IS_RESOURCE 7 
09#define IS_CONSTANT 8 
10#define IS_CONSTANT_ARRAY   9

value的类型zvalue_value同样定义在此文件中:

01typedef union _zvalue_value { 
02    long lval;                  /* long value */ 
03    double dval;                /* double value */ 
04    struct 
05        char *val; 
06        int len; 
07    } str; 
08    HashTable *ht;              /* hash table value */ 
09    zend_object_value obj; 
10} zvalue_value; 

1. 布尔类型变量。type=IS_BOOL,value中的lval字段为值,lval取值为(0,1)。在{PHPSRC}/Zend/zend_operators.h中定义了取一个zval的布尔值的宏:#define Z_BVAL(zval)   ((zend_bool)(zval).value.lval)

2. 整形变量。type=IS_LONG, value中的lval字段为值。#define Z_LVAL(zval)   (zval).value.lval

3. 浮点型变量。type=IS_DOUBLE, value中的dval字段为值。#define Z_DVAL(zval)   (zval).value.dval

4. 字符串变量。type=IS_STRING,   value中的str结构有效,该结构中var为字符串的指针,len为字符串的长度。#define Z_STRVAL(zval)   (zval).value.str.val    //取字符串指针,#define Z_STRLEN(zval)   (zval).value.str.len    //取字符串长度

另外的复杂类型这里暂不详细介绍,对于数组类型,ht字段生效,ht是一个哈希表的指针,数组都是哈希表的形式存在,对于对象类型变量,obj保存这对象的信息,对于资源类型变量,用lval间接保存这资源得一个标识符。

这样引擎就用一个zval类型来实现了所有的PHP变量类型,知道以上原理之后,变量的类型转换就容易实现了,在{PHPSRC}/Zend/zend_operators.c中定义了各种类型转换的宏,比如转换成布尔类型的宏zendi_convert_to_boolean,主要的思路就是先把type变成IS_BOOL,然后根据原变量的不同类型的值按照一定规则转换成lval的0或则1。

上一篇: PHP内核探索:全局变量Global

下一篇: PHP内核探索:诡异的变量名

2
登录 后评论.
没有帐号? 现在注册.
0 评论
Table of content