PHP中的變量類(lèi)型和值是通過(guò)C語(yǔ)言實(shí)現(xiàn)的，內(nèi)核具體是如何組織用戶(hù)在PHP中定義的變量呢？

HashTable在ZE內(nèi)核中被廣泛使用，PHP變量也正是存儲(chǔ)在一個(gè)HashTable實(shí)現(xiàn)的符號(hào)表里。當(dāng)在PHP中調(diào)用一個(gè)函數(shù)或者類(lèi)時(shí)，內(nèi)核會(huì)創(chuàng)建一個(gè)新的符號(hào)表，這也是為什么在函數(shù)中無(wú)法使用函數(shù)外部定義的變量的原因。因?yàn)樗麄兎謱賰蓚€(gè)符號(hào)表，一個(gè)當(dāng)前作用域，一個(gè)全局作用域。

現(xiàn)在來(lái)看內(nèi)核中是如何定義作用域的：

struct _zend_executor_globals { //略 HashTable symbol_table;//全局變量的符號(hào)表 HashTable *active_symbol_table;//局部變量的符號(hào)表 //略 };

可以通過(guò)EG宏來(lái)訪問(wèn)變量符號(hào)表，EG(symbol_table)訪問(wèn)全局作用域的變量符號(hào)表，EG(active_symbol_table)訪問(wèn)當(dāng)前作用域的變量符號(hào)表。

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

上面這段代碼很簡(jiǎn)單，創(chuàng)建變量foo，并賦值bar。之后的PHP代碼中就可以調(diào)用$foo變量了。現(xiàn)在看看PHP中定義的變量，內(nèi)核中是如何實(shí)現(xiàn)的。偽代碼：

zval* foo; MAKE_STD_ZVAL(foo); ZVAL_STRING(foo, 'bar', 1); ZEND_SET_SYMBOL( EG(active_symbol_table), 'foo', foo);第一步：創(chuàng)建一個(gè)zval結(jié)構(gòu)，并設(shè)置類(lèi)型。第二步：賦值為bar。第三步：將其加入當(dāng)前作用域符號(hào)表，只有這樣用戶(hù)才能在PHP里使用這個(gè)變量。

通過(guò)簡(jiǎn)單的這三步，即可實(shí)現(xiàn)定義PHP變量。簡(jiǎn)單的原因，在于內(nèi)核為我們提供了強(qiáng)大的宏。現(xiàn)在我們將宏分別展開(kāi)。

MAKE_STD_ZVAL應(yīng)用到的宏有：

#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)展開(kāi)后得到：

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

可以看出，MAKE_STD_ZVAL做了三件事：分配內(nèi)存、初始化zval結(jié)構(gòu)中的refcount、is_ref。

ZVAL_STRING應(yīng)用到的宏有：

#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_STRING 6

展開(kāi)后得到：

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做的工作是設(shè)置數(shù)據(jù)類(lèi)型并賦值。

ZEND_SET_SYMBOL這里只展開(kāi)一部分宏，因?yàn)樗归_(kāi)后過(guò)于復(fù)雜。

# define EG(v) (executor_globals.v)

展開(kāi)部分后得到：

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

將變量名入當(dāng)前作用域符號(hào)表。之所以使用內(nèi)核提供的宏來(lái)分配內(nèi)存、注冊(cè)變量作用域，是因?yàn)檫@樣能提高兼容性。