深入理解php变量

Crazyshark 2014-07-24

     我们知道php是一个弱类型,动态的脚本语言。所谓弱类型,就是说php并不严格验证变量类型,在声明一个变量的时候,并不需要指明它保存的数据的类型。例如:

$var = 1; //int
$var = "laruence"; //string
$var = 1.0002; //float
$var = array(); // array
$var = new Exception('error'); //object;

     动态语言就是说,php的语言结构在运行期是可以改变的,比如我们在运行期require一个函数定义文件,从而导致语言的函数表动态的改变。

     所谓脚本语言就是说,php并不是独立运行的,如果运行php,就需要php解析器:php -f test.php。php的执行是通过Zend engine(ZE)。ZE是用C编写的,我们都知道C是一个强类型的语言,在C中所有的变量在被声明到最终销毁,都只能保存一种类型的数据。那么php是如何在ZE的基础上实现弱类型的呢?

     在php中,所有的变量都是用一个结构zval来保存的,在Zend/zend.h中我们可以看到zval定义:

typedef struct _zval_struct {
    zvalue_value value;//实际存储数据的联合体
    zend_uint refcount;//引用计数数量
    zend_uchar type;//变量类型
    zend_uchar is_ref;//是否是引用类型
} zval;

     其中:zvalue_value是真正保存数据的关键部分,其它部分在php垃圾回收中会发挥非常重要的作用。那么php是如果在ZE的基础上实现弱类型的呢?下面就是zvalue_value的结构,zvalue_value是一个联合体:

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

      在php中常见的变量类型有:

1. 整型/浮点/长整型/bool值 等等
2. 字符串
3. 数组/关联数组
4. 对象
5. 资源

     php根据zval中的type字段类存储一个变量的真正类型,然后根据type来选择如何获取zvalue_value的值,比如:

     ①对于整形(zval.type = IS_LONG;//整形)和Boolean值(zval.type = IS_BOOL;//布尔值),就去取【zval.value.lval】,且对于Boolean值来说lval∈(0,1);

     ②如果是双精度或者float则会去取【zval.value.dval】;

     ③而对于字符串(zval.type = IS_STRING),那么这个时候就会取【zval.value.str】,而这个也是个结构,存有c风格的字符串和字符串的长度;

     ④而对于数组和对象,则type分别对应IS_ARRAY, IS_OBJECT, 相对应的则分别取【zval.value.ht】和【zval.value.obj】;

     ⑤比较特别的是资源,在PHP中,资源是个很特别的变量,任何不属于PHP内建的变量类型的变量,都会被看作成资源来进行保存,比如,数据库句柄,打开的文件句柄等等。 对于资源(type = IS_RESOURCE),这个时候,会去取【zval.value.lval】, 此时的lval是个整型的指示器, 然后PHP会再根据这个指示器在PHP内建的一个资源列表中查询相对应的资源(这部分的内容,我以后会单独开一个篇文章来介绍),目前,你只要知道此时的lval就好像是对应于资源链表的偏移值。

ZEND_FETCH_RESOURCE(con, type, zval *, default, resource_name, resource_type);

     借用这样的机制,PHP就实现了弱类型,因为对于ZE的来说,它所面对的永远都是同一种类型,那就是zval。

相关推荐