PHP 소스 코드 — is_array 함수 소스 코드 분석

is_array in php

is_array in php, 서명은 is_array( $var 혼합 ): boolis_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

구현 소스 코드

은 extstandardtype.c 에서 찾을 수 있습니다. 아마도 라인 273에 있을 PHP_FUNCTION(is_array) 의 위치를 ​​찾으십시오. #🎜🎜##🎜🎜#PHP에는 이 일련의 함수가 그 자체 외에도 is_bool, is_countable, is_callback, is_int, is_object, is_string 등이 있습니다.#🎜🎜##🎜🎜 # 그 중 대부분의 소스 코드는 is_array와 유사합니다: #🎜🎜#rrreee#🎜🎜# 정의는 매우 간결하며 php_is_type , 매크로 INTERNAL_FUNCTION_PARAM_PASSTHRU 함수를 직접 호출합니다. > is_array를 호출할 때 해당 매개변수를 php_is_type에 그대로 전달하는 것입니다. 다음과 같이 정의됩니다: #🎜🎜#rrreee#🎜🎜#php_is_type 함수는 다음과 같이 정의됩니다: #🎜🎜#rrreee#🎜🎜#처음 몇 줄은 매개변수 구문 분석 부분입니다#🎜🎜#rrreee#🎜🎜# 그런 다음 Z_TYPE_P(arg) 를 전달하여 변수 유형을 가져온 다음 결과가 IS_ARRAY 와 같도록 합니다. true이면 변수가 배열임을 의미하고, 그렇지 않으면 배열이 아닙니다. Z_TYPE_P의 역할은 분명합니다. 이 매크로는 다음과 같이 확장됩니다. #🎜🎜#rrreee#🎜🎜# 여기서 pz는 zval 포인터이고 zval은 자주 언급되는 _zval_struct입니다. : #🎜🎜#rrreee#🎜🎜# 자세한 소개는 하지 않겠습니다. #🎜🎜##🎜🎜#계속해서 php_is_type을 보고 유형을 판단할 때 #🎜🎜##🎜🎜#이상한 곳이 있습니다: if (type == IS_RESOURCE) { code>#🎜🎜##🎜🎜#리소스 유형인지 여부를 확인해야 하는 이유는 무엇인가요? #🎜🎜##🎜🎜##🎜🎜#확장 리소스 유형#🎜🎜##🎜🎜##🎜🎜#여기에서 확장하세요. php_is_type을 사용하여 리소스 유형을 결정하는 경우#🎜🎜##🎜🎜#이것은 다음과 같습니다. Called <code> const char *type_name = zend_rsrc_list_get_rsrc_type(Z_RES_P(arg));#🎜🎜##🎜🎜#zend_rsrc_list_get_rsrc_type에 대한 호출이 있으며 그 구현은 다음과 같습니다: #🎜🎜#rrreee#🎜 🎜# list_destructors의 정적 변수라는 호출이 있는데, 그 기능은 다음과 같습니다#🎜🎜#

#🎜🎜#list_destructors는 리소스 유형이 등록되면 전역 정적 HashTable입니다. zval 구조 변수 zv는 list_destructors arData에 저장되지만 zv의 value.ptr은 zend_rsrc_list_dtors_entry *lde를 가리킵니다. lde에 포함된 리소스 해제 함수 포인터, 영구 리소스의 해제 함수 포인터, 리소스 유형 이름, 인덱스 기반 해시테이블의 리소스(resource_id) 등. --"PHP7에서 리소스 래핑을 사용하는 타사 확장 원칙 분석"에서 #🎜🎜#

#🎜🎜#즉, 리소스 유형 R1이 생성되면 list_destructors 리소스 R1#🎜🎜##🎜🎜#여기에서 zend_hash_index_find_ptr 에 대한 일부 정보가 포함된 zend_rsrc_list_dtors_entry 를 저장하면 리소스 에 해당하는 zend_rsrc_list_dtors_entry를 선택한 다음 lde->type_name#🎜🎜##🎜🎜#유형 멤버가 존재하면 리소스 유형임을 의미합니다. #🎜🎜##🎜🎜##🎜🎜#Summary#🎜🎜##🎜🎜##🎜🎜#PHP는 is_* 함수 시리즈를 사용하여 유형을 결정하며, 대부분은 zval의 변수 u1.v.type 의 하위 레이어는 type 값이 리소스 유형인지 확인하는 데 사용됩니다. 해당 리소스 유형이 존재하는 경우 list_destructors를 통해 쿼리해야 합니다. 이는 리소스 핸들을 정상적으로 사용할 수 있음을 의미합니다. #🎜🎜##🎜🎜#PHP 관련 기술 기사를 더 보려면 #🎜🎜#PHP 튜토리얼#🎜🎜# 컬럼을 방문하여 알아보세요! #🎜🎜#

위 내용은 PHP 소스 코드 — is_array 함수 소스 코드 분석의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!