PHP源碼分析-變數的儲存方式

PHP中的變數類型和值是通過C語言實現的，核心具體是如何組織使用者在PHP中定義的變數呢？
HashTable在ZE核心中被廣泛使用，PHP變數也正是儲存在一個HashTable實現的符號表裡。

當在PHP中調用一個函數或者類時，核心會建立一個新的符號表，這也是為什麼在函數中無法使用函數外部定義的變數的原因。（因為他們分屬兩個符號表，一個當前範圍，一個全域範圍）

現在來看核心中是如何定義範圍的：

struct _zend_executor_globals {    //略    HashTable symbol_table;//全域變數的符號表    HashTable *active_symbol_table;//局部變數的符號表    //略};

可以通過EG宏來訪問變數符號表,EG(symbol_table)訪問全域範圍的變數符號表，EG(active_symbol_table)訪問當前範圍的變數符號表。

<?php$foo='bar';?>

上面這段代碼很簡單，建立變數foo，並賦值bar。之後的PHP代碼中就可以調用$foo變數了。
現在看看PHP中定義的變數，核心中是如何?的。虛擬碼：

zval* foo;MAKE_STD_ZVAL(foo);ZVAL_STRING(foo, "bar", 1);ZEND_SET_SYMBOL( EG(active_symbol_table), "foo", foo);

第一步、建立一個zval結構，並設定類型。
第二步、賦值為bar。
第三步、將其加入當前範圍符號表，只有這樣使用者才能在PHP裡使用這個變數。

通過簡單的這三步，即可實現定義PHP變數。簡單的原因，在於核心為我們提供了強大的宏。現在我們將宏分別展開。

MAKE_STD_ZVAL應用到的宏有：

#define MAKE_STD_ZVAL(zv)ALLOC_ZVAL(zv);INIT_PZVAL(zv)#define ALLOC_ZVAL(z)ZEND_FAST_ALLOC(z, zval, ZVAL_CACHE_LIST)#define ZEND_FAST_ALLOC(p, type, fc_type)(p) = (type *) emalloc(sizeof(type))#define INIT_PZVAL(z)(z)->refcount__gc = 1;(z)->is_ref__gc = 0;

MAKE_STD_ZVAL(foo)展開後得到：

(foo) = (zval *) emalloc(sizeof(zval));(foo)->refcount__gc = 1;(foo)->is_ref__gc = 0;

可以看出，MAKE_STD_ZVAL做了三件事：分配記憶體、初始化zval結構中的refcount、is_ref。

ZVAL_STRING應用到的宏有：

#define ZVAL_STRING(z, s, duplicate) {\const char *__s=(s);\Z_STRLEN_P(z) = strlen(__s);\Z_STRVAL_P(z) = (duplicate?estrndup(__s, Z_STRLEN_P(z)):(char*)__s);\Z_TYPE_P(z) = IS_STRING;\}#define Z_STRLEN_P(zval_p)Z_STRLEN(*zval_p)#define Z_STRLEN(zval)(zval).value.str.len#define Z_STRVAL_P(zval_p)Z_STRVAL(*zval_p)#define Z_STRVAL(zval)(zval).value.str.val#define Z_TYPE_P(zval_p)Z_TYPE(*zval_p)#define Z_TYPE(zval)(zval).type#define IS_STRING6

展開後得到：

const char *__s=("foo");(foo).value.str.len=strlen(__s);(foo).value.str.val=(duplicate?estrndup(__s, (zval).value.str.len):(char*)__s);(foo).type=6;

ZVAL_STRING做的工作是設定資料類型並賦值。

ZEND_SET_SYMBOL這裡只展開一部分宏，因為它展開後過於複雜。

# define EG(v) (executor_globals.v)

展開部分後得到：

ZEND_SET_SYMBOL(executor_globals.active_symbol_table, "foo", foo);

將變數名入當前範圍符號表。

註：之所以使用核心提供的宏來分配記憶體、註冊變數範圍，是因為這樣能提高相容性。