[php源码阅读]empty和isset函数，emptyisset近日被问到php中empty和isset函数时怎么判断变量的，刚开始我是一脸懵逼的，因为我自己也只是一知半解，为了弄懂其真正的原理，赶紧翻开源码研究研究。经过分析可发现两个函数调用的都是同一个函数，因此本文将对两个函数一起分析。
我在github有对php源码更详细的注解。感兴趣的可以围观一下，给个star。php5.4源码注解。可以通过commit记录查看已添加的注解。
函数使用格式emptybool empty ( mixed $var )

判断变量是否为空。
issetbool isset ( mixed $var [ , mixed $... ] )

判断变量是否被设置且不为null。
参数说明对于empty，在php5.5版本以前，empty只支持变量参数，其他类型的参数会导致解析错误，比如函数调用的结果不能作为参数。
对于isset，如果变量被如unset的函数设为null，则函数会返回false。如果多个参数被传递到isset函数，那么只有所有参数都被设置isset函数才会返回true。从左到右计算，一旦遇到没被设置的变量就停止。
运行示例$result = empty(0); // true$result = empty(null); // true
$result = empty(false); // true$result = empty(array()); // true$result = empty('0'); // true$result = empty(1); // false$result = empty(callback function); // 报错
$a = null;
$result = isset($a); // false;
$a = 1;
$result = isset($a); // true;
$a = 1;$b = 2;$c = 3;
$result = isset($a, $b, $c); // true

$a = 1;$b = null;$c = 3;
$result = isset($a, $b, $c); // false
找到函数的定义位置实际上，empty不是一个函数，而是一个语言结构。语言结构是在php程序运行前编译好的，因此不能像之前那样简单地搜索php_function empty或zend_function empty查看其源码。要想看empty等语言结构的源码，先要理解php代码执行的机制。
php执行代码会经过4个步骤，其流程图如下所示：
isset {return t_isset;}empty {return t_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, &$$, &$3 tsrmls_cc); }| t_include expr { zend_do_include_or_eval(zend_include, &$$, &$2 tsrmls_cc); }| t_include_once expr { zend_do_include_or_eval(zend_include_once, &$$, &$2 tsrmls_cc); }| t_eval '(' expr ')' { zend_do_include_or_eval(zend_eval, &$$, &$3 tsrmls_cc); }| t_require expr { zend_do_include_or_eval(zend_require, &$$, &$2 tsrmls_cc); }| t_require_once expr { zend_do_include_or_eval(zend_require_once, &$$, &$2 tsrmls_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)) { case is_null: result = 0; break; case is_long: case is_bool: case is_resource: // empty参数为整数时非0的话就为false result = (z_lval_p(op)?1:0); break; case is_double: result = (z_dval_p(op) ? 1 : 0); break; case is_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; case is_array: // empty(array) 是根据数组的数量来判断 result = (zend_hash_num_elements(z_arrval_p(op))?1:0); break; case is_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代码在编译期间的执行步骤
2、如何查找php语言结构的源码位置
3、如何查找opcode处理函数的具体函数
学无止境，每个人都有自己的短板，只有通过不断学习才能将自己的短板补上。
原创文章，文笔有限，才疏学浅，文中若有不正之处，万望告知。
如果本文对你有帮助，请点下推荐吧，谢谢^_^
最后再安利一下，我在github有对php源码更详细的注解。感兴趣的可以围观一下，给个star。php5.4源码注解。可以通过commit记录查看已添加的注解。
参考文章
opcode处理函数查找：http://www.laruence.com/2008/06/18/221.html
phpopcode深入理解及php代码执行步骤：http://www.php-internals.com/book/?p=chapt02/02-03-03-from-opcode-to-handler
更多源码文章，欢迎访问个人主页继续查看：hoohack
http://www.bkjia.com/phpjc/1129313.htmlwww.bkjia.comtruehttp://www.bkjia.com/phpjc/1129313.htmltecharticle[php源码阅读]empty和isset函数，emptyisset 近日被问到php中empty和isset函数时怎么判断变量的，刚开始我是一脸懵逼的，因为我自己也只是一知半...