php isempty函数,[PHP源码阅读]empty和isset函数，emptyisset

南塘春半

于 2021-04-14 10:55:41 发布

阅读量115

点赞数

文章标签： php isempty函数

"empty"{returnT_EMPTY;

}

接下来就到了Parsing阶段，这个阶段，程序将T_ISSET和T_EMPTY等Tokens转换成有意义的表达式，此时会做语法分析，Tokens的yacc保存在zend_language_parser.y文件中，可以找到T_ISSET和T_EMPTY的定义：

internal_functions_in_yacc:

T_ISSET'(' isset_variables ')' { $$ = $3; }| T_EMPTY '(' variable ')' { zend_do_isset_or_isempty(ZEND_ISEMPTY, &$$, &$3TSRMLS_CC); }| T_INCLUDE expr { zend_do_include_or_eval(ZEND_INCLUDE, &$$, &$2TSRMLS_CC); }| T_INCLUDE_ONCE expr { zend_do_include_or_eval(ZEND_INCLUDE_ONCE, &$$, &$2TSRMLS_CC); }| T_EVAL '(' expr ')' { zend_do_include_or_eval(ZEND_EVAL, &$$, &$3TSRMLS_CC); }| T_REQUIRE expr { zend_do_include_or_eval(ZEND_REQUIRE, &$$, &$2TSRMLS_CC); }| T_REQUIRE_ONCE expr { zend_do_include_or_eval(ZEND_REQUIRE_ONCE, &$$, &$2TSRMLS_CC); }

;

isset和empty函数最终都执行了zend_do_isset_or_isempty函数，继续查找

grep -rn "zend_do_isset_or_isempty"

可以发现，此函数在zend_compile.c文件中定义。

函数执行步骤

1、解析参数

2、检查是否为可写变量

3、如果是变量的op_type是IS_CV(编译时期的变量)，则设置其opcode为ZEND_ISSET_ISEMPTY_VAR；否则从active_op_array中获取下一个op值，根据其op值设置last_op的opcode。

4、设置了opcode之后，之后会交给zend_excute执行。

源码解读

IS_CV是编译器使用的一种cache机制，这种变量保存着它被引用的变量的地址，当一个变量第一次被引用的时候，就会被CV起来，以后这个变量的引用就不需要再去查找active符号表了。

对于empty函数，到了opcode的步骤后，参阅opcode处理函数，可以知道，isset和empty在excute的时候执行的是ZEND_ISSET_ISEMPTY_VAR等一系列函数，以ZEND_ISSET_ISEMPTY_VAR_SPEC_CV_VAR_HANDLER为例，找到这个函数的定义在zend_vm_execute.h。查看函数可以知道，empty函数的最终执行函数是i_zend_is_true()，而i_zend_is_true函数定义在zend_execute.h。i_zend_is_true函数的核心代码如下：

switch(Z_TYPE_P(op)) {caseIS_NULL:

result= 0;break;caseIS_LONG:caseIS_BOOL:caseIS_RESOURCE://empty参数为整数时非0的话就为false

result = (Z_LVAL_P(op)?1:0);break;caseIS_DOUBLE:

result= (Z_DVAL_P(op) ? 1 : 0);break;caseIS_STRING:if (Z_STRLEN_P(op) == 0

|| (Z_STRLEN_P(op)==1 && Z_STRVAL_P(op)[0]=='0')) {//empty("0") == true

result = 0;

}else{

result= 1;

}break;caseIS_ARRAY://empty(array) 是根据数组的数量来判断

result = (zend_hash_num_elements(Z_ARRVAL_P(op))?1:0);break;caseIS_OBJECT:if(IS_ZEND_STD_OBJECT(*op)) {

TSRMLS_FETCH();if (Z_OBJ_HT_P(op)->cast_object) {

zval tmp;if (Z_OBJ_HT_P(op)->cast_object(op, &tmp, IS_BOOL TSRMLS_CC) ==SUCCESS) {

result=Z_LVAL(tmp);break;

}

}else if (Z_OBJ_HT_P(op)->get) {

zval*tmp = Z_OBJ_HT_P(op)->get(op TSRMLS_CC);if(Z_TYPE_P(tmp) !=IS_OBJECT) {/*for safety - avoid loop*/convert_to_boolean(tmp);

result=Z_LVAL_P(tmp);

zval_ptr_dtor(&tmp);break;

}

result= 1;break;default:

result= 0;break;

}

这段代码比较直观，函数没有对检测值做任何的转换，通过这段代码来进一步分析示例中的empty函数做分析：

empty(null)，到IS_NULL分支，result=0，i_zend_is_true() == 0，!i_zend_is_true() == 1，因此返回true。

empty(false)，到IS_BOOL分支，result = ZLVAL_P(false) = 0，i_zend_is_true() == 0，!i_zend_is_true() == 1，因此返回true。

empty(array())，到IS_ARRAY分支，result = zend_hash_num_elements(Z_ARRVAL_P(op)) ? 1 : 0)，zend_hash_num_elements返回数组元素的数量，array为空，因此result为0，i_zend_is_true() == 0，!i_zend_is_true() == 1，因此返回true。

empty('0')，到IS_STRING分支，因为Z_STRLENP(op) == 1 且 Z_STRVAL_P(op)[0] == '0'，因此result为0，i_zend_is_true() == 0，!i_zend_is_true() == 1，因此返回true。

empty(1)，到IS_LONG分支，result = Z_LVAL_P(op) = 1，i_zend_is_true == 1，!i_zend_is_true() == 0，因此返回false。

对于isset函数，最终实现判断的代码是：

if (isset && Z_TYPE_PP(value) !=IS_NULL) {

ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 1);

} else{

ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 0);

}

只要value被设置了且不为NULL，isset函数就返回true。

小结

这次阅读这两个函数的源码，学习到了：

1、PHP代码在编译期间的执行步骤