PHP 原始碼 — is_array 函數原始碼分析

php 中的 is_array

php 中的 is_array，它的簽名是 is_array ( mixed $var ) : bool

實現的原始碼

在 extstandardtype.c 中可以找到 PHP_FUNCTION(is_array) 所處的位置，大概位於 273 行。

在 PHP 中，這個系列的函數，是由很多個，除了它本身之外，還有 is_bool 、 is_countable 、 is_callback 、 is_int 、 is_object 、 is_string 等等

在它們之中，大部分的原始碼也都是和 is_array 的類似：

PHP_FUNCTION(is_array)
{
php_is_type(INTERNAL_FUNCTION_PARAM_PASSTHRU, IS_ARRAY);
}

它的定義很簡潔，直接呼叫了 php_is_type ，宏 INTERNAL_FUNCTION_PARAM_PASSTHRU 的作用是，將呼叫 is_array 時的引數，原樣傳遞給 php_is_type 。它的定義如下：

#define INTERNAL_FUNCTION_PARAM_PASSTHRU execute_data, return_value

函數 php_is_type 的定義如下：

static inline void php_is_type(INTERNAL_FUNCTION_PARAMETERS, int type)
{
zval *arg;
ZEND_PARSE_PARAMETERS_START(1, 1)
Z_PARAM_ZVAL(arg)
ZEND_PARSE_PARAMETERS_END_EX(RETURN_FALSE);
if (Z_TYPE_P(arg) == type) {
if (type == IS_RESOURCE) {
const char *type_name = zend_rsrc_list_get_rsrc_type(Z_RES_P(arg));
if (!type_name) {
RETURN_FALSE;
}
}
RETURN_TRUE;
} else {
RETURN_FALSE;
}
}

前面幾行是引數解析部分

ZEND_PARSE_PARAMETERS_START(1, 1)
    Z_PARAM_ZVAL(arg)
ZEND_PARSE_PARAMETERS_END_EX(RETURN_FALSE);

隨後通過 Z_TYPE_P(arg) 獲取變數的型別，再讓其結果和 IS_ARRAY 判等。如果為真，則表示變數是陣列，否則不是。Z_TYPE_P 的作用很明顯，就是獲取變數的型別，這個宏展開後如下：

static zend_always_inline zend_uchar zval_get_type(const zval* pz) {
return pz->u1.v.type;
}

其中的 pz ，就是 zval 指標， zval 就是經常提到的 _zval_struct:

struct _zval_struct {
zend_value        value;/* 值 */
union {
struct {
ZEND_ENDIAN_LOHI_3(
zend_uchar    type,/* 型別 */
zend_uchar    type_flags,
union {
uint16_t  call_info;    /* call info for EX(This) */
uint16_t  extra;        /* not further specified */
} u)
} v;
uint32_t type_info;
} u1;
union {
uint32_t     next;                 /* hash 碰撞時用到的連結串列 */
uint32_t     cache_slot;           /* cache slot (for RECV_INIT) */
uint32_t     opline_num;           /* opline number (for FAST_CALL) */
uint32_t     lineno;               /* 行號 (ast 節點中) */
uint32_t     num_args;             /* 引數數量 for EX(This) */
uint32_t     fe_pos;               /* foreach 時的所在位置 */
uint32_t     fe_iter_idx;          /* foreach iterator index */
uint32_t     access_flags;         /* 類時的存取許可權標誌位 */
uint32_t     property_guard;       /* single property guard */
uint32_t     constant_flags;       /* constant flags */
uint32_t     extra;                /* 保留欄位 */
} u2;
};

不做深入介紹了。

接續看 php_is_type在判斷型別時，

有個地方比較蹊蹺： if (type == IS_RESOURCE) {

為何這裡要判斷是否是資源型別？

延伸資源型別

這裡延伸一下，如果用 php_is_type 判斷的是資源型別

這裡會呼叫 const char *type_name = zend_rsrc_list_get_rsrc_type(Z_RES_P(arg));

其中有 zend_rsrc_list_get_rsrc_type 的呼叫，其實現如下：

const char *zend_rsrc_list_get_rsrc_type(zend_resource *res)
{
zend_rsrc_list_dtors_entry *lde;
lde = zend_hash_index_find_ptr(&list_destructors, res->type);
if (lde) {
return lde->type_name;
} else {
return NULL;
}
}

有一個叫做 list_destructors 的靜態變數，它的作用如下

list_destructors 是一個全域性靜態 HashTable，資源型別註冊時，將一個 zval 結構體變數 zv 存放入 list_destructors 的 arData 中，而 zv 的 value.ptr 卻指向了 zend_rsrc_list_dtors_entry *lde ，lde中包含的該種資源釋放函數指標、持久資源的釋放函數指標，資源型別名稱，該資源在 hashtable 中的索引依據（resource_id）等。 --來源於「PHP7 使用資源包裹第三方擴充套件原理分析」

也就是說，建立了一個資源型別R1時，就會向 list_destructors 中存入一份 zend_rsrc_list_dtors_entry ，其中包含了該資源R1的一些資訊

這裡的 zend_hash_index_find_ptr 就是找到資源對應的 zend_rsrc_list_dtors_entry ，從而取其中的 lde->type_name

如果 type 成員是存在的，則說明是資源型別。

總結

PHP 中使用 is_* 系列判斷型別的函數，大部分都是通過變數底層 zval 中的 u1.v.type 來判斷型別值如果是資源型別，需要通過 list_destructors 查詢對應的資源型別是否存在，如果存在，說明資源控制代碼是可以正常使用的。

更多PHP相關技術文章，請存取PHP教學欄目進行學習！

以上就是PHP 原始碼 — is_array 函數原始碼分析的詳細內容，更多請關注TW511.COM其它相關文章！