快捷導(dǎo)航

淺析PHP原理之變量(Variables inside PHP)

更新時(shí)間：2013年08月09日 10:05:28 作者：

我前面的文章中已經(jīng)講過(guò)，PHP的執(zhí)行是通過(guò)Zend engine(ZE, Zend引擎), ZE是用C編寫(xiě)的，大家都知道C是一個(gè)強(qiáng)類(lèi)型語(yǔ)言，也就是說(shuō)，在C中所有的變量在它被聲明到最終銷(xiāo)毀，都只能保存一種類(lèi)型的數(shù)據(jù)。那么PHP是如何在ZE的基礎(chǔ)上實(shí)現(xiàn)弱類(lèi)型的呢

或許你知道，或許你不知道，PHP是一個(gè)弱類(lèi)型，動(dòng)態(tài)的腳本語(yǔ)言。所謂弱類(lèi)型，就是說(shuō)PHP并不嚴(yán)格驗(yàn)證變量類(lèi)型(嚴(yán)格來(lái)講，PHP是一個(gè)中強(qiáng)類(lèi)型語(yǔ)言,這部分內(nèi)容會(huì)在以后的文章中敘述)，在申明一個(gè)變量的時(shí)候，并不需要顯示指明它保存的數(shù)據(jù)的類(lèi)型：

復(fù)制代碼代碼如下:

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

動(dòng)態(tài)語(yǔ)言，就是說(shuō)，PHP的語(yǔ)言結(jié)構(gòu)在運(yùn)行期是可以改變的，比如我們?cè)谶\(yùn)行期require一個(gè)函數(shù)定義文件，從而導(dǎo)致語(yǔ)言的函數(shù)表動(dòng)態(tài)的改變。

所謂腳本語(yǔ)言，就是說(shuō)，PHP并不是獨(dú)立運(yùn)行的，要運(yùn)行PHP我們需要PHP解析器：

復(fù)制代碼代碼如下:

/usr/bin/php -f example.ph

我前面的文章中已經(jīng)講過(guò)，PHP的執(zhí)行是通過(guò)Zend engine(ZE, Zend引擎), ZE是用C編寫(xiě)的，大家都知道C是一個(gè)強(qiáng)類(lèi)型語(yǔ)言，也就是說(shuō)，在C中所有的變量在它被聲明到最終銷(xiāo)毀，都只能保存一種類(lèi)型的數(shù)據(jù)。那么PHP是如何在ZE的基礎(chǔ)上實(shí)現(xiàn)弱類(lèi)型的呢？

在PHP中，所有的變量都是用一個(gè)結(jié)構(gòu)-zval來(lái)保存的，在Zend/zend.h中我們可以看到zval的定義：

復(fù)制代碼代碼如下:

  typedef struct _zval_struct {
    zvalue_value value;
    zend_uint refcount;
    zend_uchar type;
    zend_uchar is_ref;
  } zval;

其中zvalue_value是真正保存數(shù)據(jù)的關(guān)鍵部分，現(xiàn)在到了揭曉謎底的時(shí)候了，PHP是如何在ZE的基礎(chǔ)上實(shí)現(xiàn)弱類(lèi)型的呢？因?yàn)閦value_value是個(gè)聯(lián)合體(union),

復(fù)制代碼代碼如下:

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

那么這個(gè)結(jié)構(gòu)是如何儲(chǔ)存PHP中的多種類(lèi)型的呢？

PHP中常見(jiàn)的變量類(lèi)型有：
1. 整型/浮點(diǎn)/長(zhǎng)整型/bool值等等
2. 字符串
3. 數(shù)組/關(guān)聯(lián)數(shù)組
4. 對(duì)象
5. 資源

PHP根據(jù)zval中的type字段來(lái)儲(chǔ)存一個(gè)變量的真正類(lèi)型，然后根據(jù)type來(lái)選擇如何獲取zvalue_value的值，比如對(duì)于整型和bool值:

復(fù)制代碼代碼如下:

   zval.type = IS_LONG;//整形
   zval.type = IS_BOOL;//布爾

就去取zval.value.lval,對(duì)于bool值來(lái)說(shuō)lval∈(0|1);
如果是雙精度，或者float則會(huì)去取zval.value的dval。
而如果是字符串，那么:

復(fù)制代碼代碼如下:

zval.type = IS_STRIN

這個(gè)時(shí)候，就會(huì)取:
zval.value.str
而這個(gè)也是個(gè)結(jié)構(gòu)，存有C分格的字符串和字符串的長(zhǎng)度。
而對(duì)于數(shù)組和對(duì)象，則type分別對(duì)應(yīng)IS_ARRAY, IS_OBJECT, 相對(duì)應(yīng)的則分別取zval.value.ht和obj
比較特別的是資源，在PHP中，資源是個(gè)很特別的變量，任何不屬于PHP內(nèi)建的變量類(lèi)型的變量，都會(huì)被看作成資源來(lái)進(jìn)行保存，比如，數(shù)據(jù)庫(kù)句柄，打開(kāi)的文件句柄等等。對(duì)于資源:

復(fù)制代碼代碼如下:

type = IS_RESOURC

這個(gè)時(shí)候，會(huì)去取zval.value.lval，此時(shí)的lval是個(gè)整型的指示器，然后PHP會(huì)再根據(jù)這個(gè)指示器在PHP內(nèi)建的一個(gè)資源列表中查詢(xún)相對(duì)應(yīng)的資源(這部分的內(nèi)容，我以后會(huì)單獨(dú)開(kāi)一個(gè)篇文章來(lái)介紹)，目前，你只要知道此時(shí)的lval就好像是對(duì)應(yīng)于資源鏈表的偏移值。

復(fù)制代碼代碼如下:

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

借用這樣的機(jī)制，PHP就實(shí)現(xiàn)了弱類(lèi)型，因?yàn)閷?duì)于ZE的來(lái)說(shuō)，它所面對(duì)的永遠(yuǎn)都是同一種類(lèi)型，那就是zval。

您可能感興趣的文章: