PHP弱型別變數是如何實現的

pythontab發表於2015-05-13
PHP型別變數

PHP是弱型別，動態的語言指令碼。在申明一個變數的時候，並不需要指明它儲存的資料型別。例如：

<?php  
$var = 1;  
$var = "variable";  
$var = 1.00;  
$var = array();  
$var = new Object();

動態變數，在執行期間是可以改變的，並且在使用前無需宣告變數型別。


問題一、Zend引擎是如何用C實現這種弱型別的呢？


實際上，在PHP中宣告的變數，在ZE中都是用結構體zval來儲存的。

首先我們開啟Zend/zend.h來看zval的定義：

typedef struct _zval_struct zval;  
  
struct _zval_struct {  
    /* Variable information */  
    zvalue_value value;     /* value */  
    zend_uint refcount__gc;  
    zend_uchar type;    /* active type */  
    zend_uchar is_ref__gc;  
};  
  
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;

Zend/zend_types.h：

typedef unsigned char zend_bool;  
typedef unsigned char zend_uchar;  
typedef unsigned int zend_uint;  
typedef unsigned long zend_ulong;  
typedef unsigned short zend_ushort;

從上述程式碼中，可以看到_zvalue_value是真正儲存資料的關鍵部分。透過共用體實現的弱型別變數宣告


問題二、Zend引擎是如何判別、儲存PHP中的多種資料型別的呢？


_zval_struct.type中儲存著一個變數的真正型別，根據type來選擇如何獲取zvalue_value的值。


type值列表(Zend/zend.h)：

#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

來看一個簡單的例子：

<?php  
$a = 1;  
//此時zval.type = IS_LONG,那麼zval.value就去取lval.  
$a = array();  
//此時zval.type = IS_ARRAY,那麼zval.value就去取ht.

這其中最複雜的，並且在開發第三方擴充套件中經常需要用到的是”資源型別”.

在PHP中，任何不屬於PHP的內建的變數型別的變數，都會被看作資源來進行儲存。

比如：資料庫控制程式碼、開啟的檔案控制程式碼、開啟的socket控制程式碼。


資源型別，會用lval，此時它是一個整型指示器， 然後PHP會再根據這個指示器在PHP內建的一個資源列表中查詢相對應的資源。


正是因為ZE這樣的處理方式，使PHP就實現了弱型別，而對於ZE的來說，它所面對的永遠都是同一種型別zval。


相關文章