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。