深度解析 PHP 7 內核：變量底層實現原理（上）

PHP 7 變量內部實現核心變革：從 zval 到 zend_value 的演進

PHP 7 帶來了革命性的性能提升，其核心在於變量存儲機制的徹底重寫。本文將深入剖析 PHP 5 與 PHP 7 在 zval 結構、引用計數、內存管理、類型系統及引用實現上的本質區別，助你理解底層原理，寫出更高效的代碼。

PHP 5 時代的 zval：沉重的「萬能盒子」

在 PHP 5 中，每個變量都是一個獨立堆分配的 zval 結構體：

typedef struct _zval_struct {
    zvalue_value value;        // 聯合體：存儲實際數據
    zend_uint refcount__gc;    // 引用計數
    zend_uchar type;           // 類型標識
    zend_uchar is_ref__gc;     // 是否為 PHP 引用（&）
} zval;

zvalue_value 聯合體包含 lval（長整型/布爾/資源）、dval（雙精度）、str（字符串）、ht（數組）、obj（對象）等。由於聯合體特性，zval 體積固定為「最大成員大小 + 對齊」，在 64 位系統上佔用 24 字節，加上 zval_gc_info（循環 GC 信息）共 32 字節，再加上堆分配元數據 16 字節，每個 zval 實際佔用 48 字節。

PHP 5 的三大痛點

1. 簡單類型也要堆分配：一個 int 只需 8 字節，卻強制分配 48 字節。
2. 雙重引用計數：對象/資源同時擁有 zval 層和對象層計數，增加開銷。
3. 間接訪問層級深：訪問對象需經過 zval* -> zvalue_value.obj -> zend_object* -> 實際數據 四層指針跳轉。

PHP 7 的突破：zval 不再獨立分配，計數下沉到數據實體

PHP 7 採用「值語義 + 共享實體」設計：

• zval 直接內嵌在符號表、數組桶、對象屬性等容器中，不再單獨 emalloc。
• 引用計數下沉：僅復雜類型（字符串、數組、對象、資源、引用、AST）擁有 zend_refcounted 頭部，簡單類型（整型、浮點、布爾、null）完全無計數開銷。
• 指針鏈縮短：zval -> zend_string/array/object* 直接指向帶計數的實體，減少一次間接。

新 zval 結構（zend_types.h）

struct _zval_struct {
    zend_value value;          // 8 字節聯合體：lval/dval/指針
    union {
        struct {
            zend_uchar type;         // 活躍類型
            zend_uchar type_flags;   // 标志：可計數、可回收、可複製、不可變等
            zend_uchar const_flags;
            zend_uchar reserved;
        } v;
        uint32_t type_info;          // 合併存儲，便於原子操作
    } u1;
    union {                          // 輔助字段（緩存槽、行號、foreach 位置等）
        uint32_t var_flags;
        uint32_t next;
        uint32_t cache_slot;
        uint32_t lineno;
        uint32_t num_args;
        uint32_t fe_pos;
        uint32_t fe_iter_idx;
    } u2;
};

關鍵點：zend_value 僅 8 字節（64 位指針大小），type_info 32 位足夠存放類型與標誌，整個 zval 僅 16 字節（對齊後），比 PHP 5 縮小 2/3。

zend_refcounted：統一的引用計數頭部

typedef struct _zend_refcounted_h {
    uint32_t refcount;           // 32 位引用計數
    union {
        struct {
            zend_uchar type;       // 類型（與 zval.type 一致）
            zend_uchar flags;      // 類型專用標誌（字符串：是否持久/可變；對象：是否實例化等）
            uint16_t gc_info;      // GC 根緩衝區索引 + 顏色標記（取代 64 位指針）
        } v;
        uint32_t type_info;
    } u;
} zend_refcounted_h;

所有復雜類型（zend_string、zend_array、zend_object 等）的內存佈局均以此結構開頭，實現「計數隨數據走」。

類型標誌位（type_flags）詳解

PHP 7 通過位掩碼精細控制行為：

類型與標誌對應表：

內存管理實戰：整數 vs 數組

整數：真正的值語義，無共享，無分離

$a = 42;        // zval_1(type=IS_LONG, value=42)
$b = $a;        // zval_2(type=IS_LONG, value=42)  直接複製 16 字節
$a += 1;        // zval_1(value=43)                原地修改，無分離
unset($a);      // zval_1 標記 IS_UNDEF

不再有「寫時複製」開銷，整數賦值僅是 16 字節內存拷貝，極快。

數組：共享實體，寫時分離（COW）

$a = [];              // zval_1 -> zend_array_1(refcount=1)
$b = $a;              // zval_2 -> zend_array_1(refcount=2)  僅增加計數
$a[] = 1;             // 分離：zval_1 -> zend_array_2(refcount=1, [1])
                      //        zval_2 -> zend_array_1(refcount=1, [])
unset($a);            // zend_array_2 計數歸零銷毀，zval_1 標 IS_UNDEF

行為與 PHP 5 類似，但分離操作僅針對 zend_array，zval 本身無需分配/釋放。

類型系統升級：更細緻、更高效

/* 常規類型 */
#define IS_UNDEF   0   // 取代 NULL 指針，配合 unset
#define IS_NULL    1
#define IS_FALSE   2   // 拆分 IS_BOOL，優化類型檢查
#define IS_TRUE    3
#define IS_LONG    4   // zend_long，64 位有符號（Windows 也支援 64 位整數）
#define IS_DOUBLE  5
#define IS_STRING  6
#define IS_ARRAY   7
#define IS_OBJECT  8
#define IS_RESOURCE 9
#define IS_REFERENCE 10 // 新增：PHP 引用作為獨立類型
/* 常量表達式 */
#define IS_CONSTANT 11
#define IS_CONSTANT_AST 12
/* 內部類型 */
#define IS_INDIRECT 15 // 間接引用（如符號表佔位）
#define IS_PTR      17 // 任意指針包裝

• IS_FALSE/IS_TRUE：布爾值直接編碼在 type 中，Z_TYPE_P(zv) == IS_TRUE 比 PHP 5 的 Z_TYPE_P(zv) == IS_BOOL && Z_LVAL_P(zv) 快一倍。
• IS_LONG 使用 zend_long：解決 Windows LLP64 模型下 long 只有 32 位的問題，PHP 7 在 64 位 Windows 也能用 64 位整數。
• IS_REFERENCE：徹底重設計 PHP 引用機制，詳見下節。

PHP 引用（&）的徹底重寫：從 is_ref 標誌到 IS_REFERENCE 類型

PHP 5 的缺陷：引用與非引用無法共享同一數據

$a = [];        // zval_1(refcount=1, is_ref=0) -> HT_1
$b = $a;        // zval_1(refcount=2, is_ref=0) -> HT_1
$c =& $b;       // 必須複製：zval_1(refcount=2, is_ref=0) -> HT_1
                //               zval_2(refcount=2, is_ref=1) -> HT_2 (copy of HT_1)
$c[] = 1;       // 只修改 HT_2，$a/$b 不受影響

更糟的是 count($ref) 會觸發整個大數組的深度複製，性能災難。

PHP 7 的解決方案：zend_reference 封裝器

struct _zend_reference {
    zend_refcounted gc;  // 計數頭
    zval val;            // 內嵌真實值（可以是數組指針）
};

所有引用變量指向同一個 zend_reference（類型 IS_REFERENCE），其內部 val 指向共享的復雜數據（如數組）。

混合場景：引用與非引用完美共享

$a = [];              // zval_a -> zend_array_1(rc=1)
$b = $a;              // zval_b -> zend_array_1(rc=2)
$c = $b;              // zval_c -> zend_array_1(rc=3)
$d =& $c;             // zval_d, zval_c -> zend_reference_1(rc=2) -> zend_array_1(rc=3)
$d[] = 1;             // 分離數組：zend_reference_1 -> zend_array_2(rc=1, [1])
                      //            zval_a, zval_b -> zend_array_1(rc=2, [])

關鍵優勢：

1. 修改前所有變量（引用/非引用）共享同一數組，count($ref) 不再複製。
2. 僅在寫入時對底層數組分離，語義完全符合「引用即別名」。
3. 雖仍有 zend_reference 分配開銷，但比 PHP 5 全量複製快數量級。

總結：PHP 7 變量機制的三大核心收益

1. 內存佔用暴降：簡單類型零分配，復雜類型共享計數頭，整體內存減少 30%~50%。
2. 分配/釋放極速：zval 內嵌容器，無需頻繁 emalloc/efree，CPU 緩存友好。
3. 引用語義修正：消除 PHP 5 引用導致的強制複製與性能陷阱。

下篇將深入剖析字符串（zend_string）、數組（zend_array）、對象（zend_object）等具體類型的內存佈局與優化細節，敬請期待。