php底层变量的实现

大家都知道php是一个弱类型的语言，变量的类型是随着赋值的类型变化的，php的底层是用C写的，C本身是一个强类型的语言，那php在底层是怎么实现类型的呢？

其实在底层，php是通过一个结构体来存储所有的变量的。结构体如下:

typedef struct _zval_struct zvaltypedef struct _zval_struct {    /* Variable information */    zvalue_value value;    zend_uint refcount_gc;    zend_uchar type;    zend_uint is_ref_gc;}

解释一下几个变量的意义:
zend_value value 储存的值，此处是一个指针，指到一个union的指针。php本身的值就是存储在这个联合体中。
zend_uint is_refcount 存储的是引用计数
zend_uchar type 存储变量的类型。
zend_uint is_ref_gc 是否是引用传值。

php中所有的结构都是从用这个结构实现的。其中最关键的字段就是里面的type字段了。
type字段总共有7个值，分别是IS_NULL,IS_BOOL,IS_LONG,IS_DOUBLE,IS_STRING,ISARRAY,IS_OBJECT,IS_RESOURCE。
这个里面包含了所有的php基本类型：

    标量类型:IS_BOOL,IS_lONG,IS_DOUBLE,IS_STRING    复合类型:IS_ARRAY,IS_OBJECT    特殊类型:IS_RESOURCE,IS_NULL

zval结构根据不同的类型，其zval结构中的zval字段指向的联合体中存储不同的值.这个联合体就是php中同一个变量可以存储不同的值的关键.结构如下:

typedef union _zval_value{    long *lval;    double *dval;    struct {        char *val;        int len;    }str;    HashTable *ht;    zend_object_value obj;}

从这个结构里可以看出php中所有变量的痕迹：
????IS_BOOL(boolen),是存储在lval里面，和整数存储师一样的。这里大家应该想到==和===对于false和0处理的不同之处了。
????IS_LONG(整型)，存储在lval
????IS_DOUBLE(浮点型),存储在dval
????IS_STRING(字符串),存储在str
????IS_ARRAY(数组)，存储在*ht哈希table中
????IS_OBJECT(对象)，存储在zend_object_value
????IS_NULL,NULL值在这个结构中不用存储，直接在zval结构中的type字段进行判断。

简单的介绍一下字符串的存储:
字符串的在联合体中使用结构体的形式出现，代码如下：

struct {    char *val;    int len;}str;

可以看到，php在存储字符串时，将字符串的内容和长度都存了起来，这是为了避免重复计算字符串的长度。php中的函数strlen,就是直接返回了这个长度。