变量的内部存储：值和类型

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

 

四种标量类型：

• boolean（布尔型）

• integer（整型）

• float（浮点型）

• string（字符串）

两种复合类型：

• array（数组）

• object（对象）

两种特殊类型：

• resource（资源）

• NULL

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

 

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

 

struct _zval_struct { /* Variable information */ zvalue_value value; /* value */ zend_uint refcount__gc; zend_uchar type; /* active type */ zend_uchar is_ref__gc; };

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

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

#define IS_NULL 0 #define IS_LONG 1 #define IS_DOUBLE 2 #define IS_BOOL 3 #define IS_ARRAY 4 #define IS_OBJECT 5 #define IS_STRING 6 #define IS_RESOURCE 7 #define IS_CONSTANT 8 #define IS_CONSTANT_ARRAY 9

 

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

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; } 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。