php底层变量的实现

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

其实在底层，php是经过一个结构体来存储全部的变量的。结构体以下:

typedef struct _zval_struct zval

typedef 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_STRINGIS_ARRAY,IS_OBJECTIS_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,就是直接返回了这个长度。