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语句的性能分析更熟悉。

转自：http://www.yinqisen.cn/blog-680.html