PHP核心中是如何實作 empty, isset 這些函數的

$TOC$ 

#### 叨叨幾句 

本來這個問題是在oschina上提出的：  
 

但一直沒收到合適的答案，所以還是自己下功夫地方，歡迎交流。 

通常的函數是透過ZEND_FUNCTION(xxx) 這個巨集定義來實現的，這個規範很好理解，也很容易讀懂原始碼。 

但empty(), isset()的處理較為特殊，類似的還有echo, eval等。

#### 準備工作 

用於查看PHP opcode的擴展vld，下載：  
 

PHP源碼，分支=> remotes/origin/PHgit-5.6.14 php.net/repository/php-src.git -b PHP-5.6.14 

PHP opcode對應參考：  

 
> PHP執行程式版本為5.6.14 ，而其他版本可能會有細微差別版本。

PHP 核心原始碼分析：  

 
#### 開始分析 

範例程式碼vld.php : 


透過vld 查看opcode ，`php -d vld.active=1 vld.php` 
number of ops:  10 
compiled vars:  !0 = $              fetch          ext  return  operands 
--- -------------------------------------------------- -------------------------------- 
   2     0  E >   EXT_STMT 
1        ASSIGN                            !0, 0 
   3     2    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_y 

1265 internal_functions_in_y et_variables ')' { $$ = $3; } 
1267 ›   |›  T_EMPTY '(' variable ')'›   { zend_do_isset_or_isempty(ZEND_ISEMPTY, &第1276章1277 } 
1280 
1281 isset_variable: 
1282 ›   ›   變數›   {   ›_含





了了了了:{ */ 

vi Zend/zend_compile.c +6287 

6287 void zend_do_isset_or_isempty(int type, znode *結果, znode *變數TSRMLS_DC) /* {{{1/ op. 290 
6291 ›   zend_do_end_variable_parse (變數, BP_VAR_IS, 0 TSRMLS_CC); 
6292 
6293 ›   if (zend_is_function_or_method_call(variable)) { 
6294 16294 195% (ISE   ›   ›   /* empty(func()) 可轉換為!func() */ 
6296 ›   ›   ›   zend_do_unary_op(ZEND_BOOL_NOT, 結果, 變數TSRMLS_CC); 
. _error_noreturn(E_COMPILE_ERROR, "不能對函數呼叫的結果使用isset() （您可使用"null !== func()" 代替）"); 
6299 ›   ›   } 
6300 
6301 ›   ›  (variable->op_type == IS_CV) { 
6305 ›   ›   last_op = get_next_op(CG(active_op_array) TSRMLS_CC); 
6306 ›   ›   last_op->操作碼= ZVAISISEISEISEfR30ISISEISE出來了，IS_CV 判斷參數是否為變數。
注意zend_is_function_or_method_call(variable)，當isset(fun($a))，函數寫參數法會報錯，empty在5.5版本開始支援函數參數，低版本不支援。

opcode 是由zend_execute 執行的，最終會對應處理函數的查找，這是核心，請參閱：  

 

opcode 處理函數的命名法則： 類型2)_HANDLER

變數類型1和變數類型2是可選的，如果同時存在，那就是左值和右值，歸納有下幾類： VAR TMP CV UNUSED CONST 這樣可以根據相關的執行場景來判定。

所以ZEND_ISSET_ISEMPTY_VAR 對應的處理程序如下： 
所以ZEND_ISSET_ISEMPTY_VAR 對應的處理程序如下： 

Zend/zend_vm_execute.h:44233:   ZEND_ISSET_MPTY_VAR_SPEC_CONST_CONST_HANffER, SET_ ISEMPTY_VAR_SPEC_CONST_VAR_HANDLER，Zend/zend_vm_execute.h:44236：   ZEND_ISSET_ISEMPTY_VAR_SPEC_CONST_UNUSED_HANDLER , 
Z_vmz. h:44238:   ZEND_ISSET_ISEMPTY_VAR_SPEC_TMP_CONST_HANDLER, 
Zend/zend_vm_execute.h:44240:   ZEND_ISSET_ISEMPTY_VAR_SPEC_TMP_R_SPEC_T8:4147  ZEND_ISSET_ISEMPTY_VAR_SPEC_TMP_UNUSED_HANDLER，
Zend/zend_vm_execute.h:44243：   ZEND_ISSET_ISEMPTY_VAR_SPEC_VAR_CONST_HANDLER，Zend/ISEMPTY_vmdZ/dzend。 h:44245:   ZEND_ISSET_ISEMPTY_VAR_SPEC_VAR_VAR_HANDLER,
Zend/zend_vm_execute.h:44246:   ZEND_ISSET_ISEMPTY_VAR_SPEC_VARHAN,3000 N7_F85:4005_FF:30007_S. ZEND_ISSET_ISEMPTY_VAR_SP EC_CV_CONST_HANDLER，
Zend/zend_vm_execute.h:44255：   ZEND_ISSET_ISEMPTY_VAR_SPEC_CV_VAR_HANDLER，_ZISE UNUSED_HANDLER ，

我們看下ZEND_ISSET_ISEMPTY_VAR_SPEC_CV_VAR_HANDLER 這個處理函數： 
vim Zend/zend_vm_execute.h +37946 

__L3 138013 138013 ›   ›   if (isset && Z_TYPE _PP(值) != IS_NULL ) {
38015 ›   ›   ›   ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 1); 
38016 › › › (&EX_T(opline->result.var).tmp_var, 0); 
38018 ›   ›   } 
38019 ›   } else /* if (opline->extended_value & ZEND_›MPTY) */ { 
38020 ) { 
38021 ›   ›   ›   ZVAL_BOOL(&EX_T(opline->result.var).tmp_var, 1); 
38022 ›   ›   } else {
38022 ›   ›   } else { line->result.var).tmp_var, 0);
38024 ›   ›   } 

上面的if ... else 是判斷是isset，還是empty，然後做不同處理，Z_TYPE_PP, i_zend_is_true 不同判斷。 
echo 等處理類似，自己依照流程具體去分析。關鍵是根據映射表找到對應的handler處理函數。 

了解這些處理流程後，相信會對PHP語句的效能分析更為熟悉。