分析PHP核心中是如何? empty, isset 這些函數的

#### 叨叨幾句本來這個問題是在oschina上提出的：  但一直沒收到合適的答案，所以還是自己下功夫梳理了一下，如果有錯誤的地方，歡迎交流。通常的函數是通過ZEND_FUNCTION(xxx) 這種宏定義來實現的，這個規範很好理解，也很容易讀懂源碼。但empty(), isset() 準確的說不是函數，但PHP的Manual還是稱之函數，類似的還有echo, eval等。#### 準備工作用於查看PHP的擴充vld，下載：  PHP源碼，分支 => remotes/origin/PHP-5.6.14git clone http://git.php.net/repository/php-src.git -b PHP-5.6.14PHP opcode對應參考：  > PHP執行程式版本為 5.6.14 ，其他版本opcode可能會有細微差別。PHP 核心源碼分析：  #### 開始分析範例程式碼 vld.php :   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                                                   1branch: #  0; line:     2-    6; sop:     0; eop:     9; out1:  -2opcode中都出現了ZEND_ISSET_ISEMPTY_VAR，我們一步步分析。當執行PHP源碼，會先進行文法分析，empty, isset的yacc如下：vim Zend/zend_language_parser.y +12651265 internal_functions_in_yacc:1266 ›   ›   T_ISSET '(' isset_variables ')' { $$ = $3; }1267 ›   |›  T_EMPTY '(' variable ')'›   { zend_do_isset_or_isempty(ZEND_ISEMPTY, &$$, &$3 TSRMLS_CC); }12751276 isset_variables:1277 ›   ›   isset_variable› ›   ›   { $$ = $1; }12801281 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 +62876287 void zend_do_isset_or_isempty(int type, znode *result, znode *variable TSRMLS_DC) /* {{{ */6288 {6289 ›   zend_op *last_op;62906291 ›   zend_do_end_variable_parse(variable, BP_VAR_IS, 0 TSRMLS_CC);62926293 ›   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 ›   ›   }63006301 ›   ›   return;6302 ›   }63036304 ›   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 +3794638013 ›   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)，

