PHP内核中是如何实现 empty, isset 这些函数的

$toc$ 

#### 叨叨几句 

本来这个问题是在oschina上提出的：  
 

但一直没收到合适的答案，所以还是自己下功夫梳理了一下，如果有错误的地方，欢迎交流。 

通常的函数是通过zend_function(xxx) 这种宏定义来实现的，这个规范很好理解，也很容易读懂源码。 

但empty(), isset()的处理比较特殊，类似的还有echo, eval等。 

#### 准备工作 

用于查看php opcode的扩展vld，下载：  
 

php源码，分支 => remotes/origin/php-5.6.14 

git clone http://git.php.net/repository/php-src.git -b php-5.6.14 

php opcode对应参考：  
 

> php执行程序版本为 5.6.14 ，其他版本opcode可能会有细微差别。 

php 内核源码分析：  
 

#### 开始分析 

示例代码 vld.php : 

$a = 0; 
empty($a); 
isset($a); 

通过vld 查看opcode ，`php -d vld.active=1 vld.php` 

number of ops:  10 
compiled vars:  !0 = $a 
line     #* e i o op                           fetch          ext  return  operands 
------------------------------------------------------------------------------------- 
   2     0  e >   ext_stmt 
1        assign                                                   !0, 0 
   3     2        ext_stmt 
3        isset_isempty_var                           293601280  ~1      !0 
4        free                                                     ~1 
   4     5        ext_stmt 
6        isset_isempty_var                           310378496  ~2      !0 
7        free                                                     ~2 
   6     8        ext_stmt 
9      > return                                                   1 

branch: #  0; line:     2-    6; sop:     0; eop:     9; out1:  -2 

opcode中都出现了zend_isset_isempty_var，我们一步步分析。 

当执行php源码，会先进行语法分析，empty, isset的yacc如下： 

vim zend/zend_language_parser.y +1265 

1265 internal_functions_in_yacc: 
1266 ›   ›   t_isset '(' isset_variables ')' { $$ = $3; } 
1267 ›   |›  t_empty '(' variable ')'›   { zend_do_isset_or_isempty(zend_isempty, &$$, &$3 tsrmls_cc); } 
1275 
1276 isset_variables: 
1277 ›   ›   isset_variable› ›   ›   { $$ = $1; } 
1280 
1281 isset_variable: 
1282 ›   ›   variable›   ›   ›   ›   { zend_do_isset_or_isempty(zend_isset, &$$, &$1 tsrmls_cc); } 

最终都执行了zend_do_isset_or_isempty，继续查找： 

git grep -in "zend_do_isset_or_isempty" 
zend/zend_compile.c:6287:void zend_do_isset_or_isempty(int type, znode *result, znode *variable tsrmls_dc) /* {:{:{ */ 

vi zend/zend_compile.c +6287 

6287 void zend_do_isset_or_isempty(int type, znode *result, znode *variable tsrmls_dc) /* {{{ */ 
6288 { 
6289 ›   zend_op *last_op; 
6290 
6291 ›   zend_do_end_variable_parse(variable, bp_var_is, 0 tsrmls_cc); 
6292 
6293 ›   if (zend_is_function_or_method_call(variable)) { 
6294 ›   ›   if (type == zend_isempty) { 
6295 ›   ›   ›   /* empty(func()) can be transformed to !func() */ 
6296 ›   ›   ›   zend_do_unary_op(zend_bool_not, result, variable tsrmls_cc); 
6297 ›   ›   } else { 
6298 ›   ›   ›   zend_error_noreturn(e_compile_error, "cannot use isset() on the result of a function call (you can use \"null !== func()\" instead)"); 
6299 ›   ›   } 
6300 
6301 ›   ›   return; 
6302 ›   } 
6303 
6304 ›   if (variable->op_type == is_cv) { 
6305 ›   ›   last_op = get_next_op(cg(active_op_array) tsrmls_cc); 
6306 ›   ›   last_op->opcode = zend_isset_isempty_var; 

最后一行 6306，zend_isset_isempty_var 这个opcode 出来了，is_cv 判断参数是否为变量。 
注意zend_is_function_or_method_call(variable)，当isset(fun($a))，函数参数写法会报错，empty在5.5版本开始支持函数参数，低版本不支持。 

opcode 是由 zend_execute 执行的，最终会对应处理函数的查找，这个是核心，请参阅：  
 

opcode 对应处理函数的命名规律： 

zend_[opcode]_spec_(变量类型1)_(变量类型2)_handler 

变量类型1和变量类型2是可选的，如果同时存在，那就是左值和右值，归纳有下几类： var tmp cv unused const 这样可以根据相关的执行场景来判定。 

所以 zend_isset_isempty_var 对应的handler如下： 

zend/zend_vm_execute.h:44233:   zend_isset_isempty_var_spec_const_const_handler, 
zend/zend_vm_execute.h:44235:   zend_isset_isempty_var_spec_const_var_handler, 
zend/zend_vm_execute.h:44236:   zend_isset_isempty_var_spec_const_unused_handler, 
zend/zend_vm_execute.h:44238:   zend_isset_isempty_var_spec_tmp_const_handler, 
zend/zend_vm_execute.h:44240:   zend_isset_isempty_var_spec_tmp_var_handler, 
zend/zend_vm_execute.h:44241:   zend_isset_isempty_var_spec_tmp_unused_handler, 
zend/zend_vm_execute.h:44243:   zend_isset_isempty_var_spec_var_const_handler, 
zend/zend_vm_execute.h:44245:   zend_isset_isempty_var_spec_var_var_handler, 
zend/zend_vm_execute.h:44246:   zend_isset_isempty_var_spec_var_unused_handler, 
zend/zend_vm_execute.h:44253:   zend_isset_isempty_var_spec_cv_const_handler, 
zend/zend_vm_execute.h:44255:   zend_isset_isempty_var_spec_cv_var_handler, 
zend/zend_vm_execute.h:44256:   zend_isset_isempty_var_spec_cv_unused_handler, 

我们看下 zend_isset_isempty_var_spec_cv_var_handler 这个处理函数： 
vim zend/zend_vm_execute.h +37946 

38013 ›   if (opline->extended_value & zend_isset) { 
38014 ›   ›   if (isset && z_type_pp(value) != is_null) { 
38015 ›   ›   ›   zval_bool(&ex_t(opline->result.var).tmp_var, 1); 
38016 ›   ›   } else { 
38017 ›   ›   ›   zval_bool(&ex_t(opline->result.var).tmp_var, 0); 
38018 ›   ›   } 
38019 ›   } else /* if (opline->extended_value & zend_isempty) */ { 
38020 ›   ›   if (!isset || !i_zend_is_true(*value)) { 
38021 ›   ›   ›   zval_bool(&ex_t(opline->result.var).tmp_var, 1); 
38022 ›   ›   } else { 
38023 ›   ›   ›   zval_bool(&ex_t(opline->result.var).tmp_var, 0); 
38024 ›   ›   } 

上面的 if ... else 就是判断是isset，还是empty，然后做不同处理，z_type_pp, i_zend_is_true 不同判断。 
echo 等处理类似，自己按照流程具体去分析。关键是根据映射表找到对应的handler处理函数。 

了解这些处理流程后，相信会对php语句的性能分析更熟悉。