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。