首頁 後端開發 php教程 分析PHP内核中是如何实现 empty, isset 这些函数的

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

Jun 23, 2016 pm 01:23 PM

#### 叨叨几句本来这个问题是在oschina上提出的:  <http://www.oschina.net/question/1179015_2140695>但一直没收到合适的答案,所以还是自己下功夫梳理了一下,如果有错误的地方,欢迎交流。通常的函数是通过ZEND_FUNCTION(xxx) 这种宏定义来实现的,这个规范很好理解,也很容易读懂源码。但empty(), isset() 准确的说不是函数,但PHP的Manual还是称之函数,类似的还有echo, eval等。#### 准备工作用于查看PHP的扩展vld,下载:  <http://pecl.php.net/package/vld>PHP源码,分支 => remotes/origin/PHP-5.6.14	git clone http://git.php.net/repository/php-src.git -b PHP-5.6.14PHP opcode对应参考:  <http://php.net/manual/en/internals2.opcodes.php>> PHP执行程序版本为 5.6.14 ,其他版本opcode可能会有细微差别。PHP 内核源码分析:  <http://www.php-internals.com/book/>#### 开始分析示例代码 vld.php :	<?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:  -2opcode中都出现了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 执行的,最终会对应处理函数的查找,这个是核心,请参阅:  <http://www.php-internals.com/book/?p=chapt02/02-03-03-from-opcode-to-handler>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),<http://www.yinqisen.cn/blog-680.html>
登入後複製

本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn

熱AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智慧驅動的應用程序,用於創建逼真的裸體照片

AI Clothes Remover

AI Clothes Remover

用於從照片中去除衣服的線上人工智慧工具。

Undress AI Tool

Undress AI Tool

免費脫衣圖片

Clothoff.io

Clothoff.io

AI脫衣器

Video Face Swap

Video Face Swap

使用我們完全免費的人工智慧換臉工具,輕鬆在任何影片中換臉!

熱工具

記事本++7.3.1

記事本++7.3.1

好用且免費的程式碼編輯器

SublimeText3漢化版

SublimeText3漢化版

中文版,非常好用

禪工作室 13.0.1

禪工作室 13.0.1

強大的PHP整合開發環境

Dreamweaver CS6

Dreamweaver CS6

視覺化網頁開發工具

SublimeText3 Mac版

SublimeText3 Mac版

神級程式碼編輯軟體(SublimeText3)

在PHP API中說明JSON Web令牌(JWT)及其用例。 在PHP API中說明JSON Web令牌(JWT)及其用例。 Apr 05, 2025 am 12:04 AM

JWT是一種基於JSON的開放標準,用於在各方之間安全地傳輸信息,主要用於身份驗證和信息交換。 1.JWT由Header、Payload和Signature三部分組成。 2.JWT的工作原理包括生成JWT、驗證JWT和解析Payload三個步驟。 3.在PHP中使用JWT進行身份驗證時,可以生成和驗證JWT,並在高級用法中包含用戶角色和權限信息。 4.常見錯誤包括簽名驗證失敗、令牌過期和Payload過大,調試技巧包括使用調試工具和日誌記錄。 5.性能優化和最佳實踐包括使用合適的簽名算法、合理設置有效期、

會話如何劫持工作,如何在PHP中減輕它? 會話如何劫持工作,如何在PHP中減輕它? Apr 06, 2025 am 12:02 AM

會話劫持可以通過以下步驟實現:1.獲取會話ID,2.使用會話ID,3.保持會話活躍。在PHP中防範會話劫持的方法包括:1.使用session_regenerate_id()函數重新生成會話ID,2.通過數據庫存儲會話數據,3.確保所有會話數據通過HTTPS傳輸。

描述紮實的原則及其如何應用於PHP的開發。 描述紮實的原則及其如何應用於PHP的開發。 Apr 03, 2025 am 12:04 AM

SOLID原則在PHP開發中的應用包括:1.單一職責原則(SRP):每個類只負責一個功能。 2.開閉原則(OCP):通過擴展而非修改實現變化。 3.里氏替換原則(LSP):子類可替換基類而不影響程序正確性。 4.接口隔離原則(ISP):使用細粒度接口避免依賴不使用的方法。 5.依賴倒置原則(DIP):高低層次模塊都依賴於抽象,通過依賴注入實現。

在PHPStorm中如何進行CLI模式的調試? 在PHPStorm中如何進行CLI模式的調試? Apr 01, 2025 pm 02:57 PM

在PHPStorm中如何進行CLI模式的調試?在使用PHPStorm進行開發時,有時我們需要在命令行界面(CLI)模式下調試PHP�...

PHP 8.1中的枚舉(枚舉)是什麼? PHP 8.1中的枚舉(枚舉)是什麼? Apr 03, 2025 am 12:05 AM

PHP8.1中的枚舉功能通過定義命名常量增強了代碼的清晰度和類型安全性。 1)枚舉可以是整數、字符串或對象,提高了代碼可讀性和類型安全性。 2)枚舉基於類,支持面向對象特性,如遍歷和反射。 3)枚舉可用於比較和賦值,確保類型安全。 4)枚舉支持添加方法,實現複雜邏輯。 5)嚴格類型檢查和錯誤處理可避免常見錯誤。 6)枚舉減少魔法值,提升可維護性,但需注意性能優化。

如何在系統重啟後自動設置unixsocket的權限? 如何在系統重啟後自動設置unixsocket的權限? Mar 31, 2025 pm 11:54 PM

如何在系統重啟後自動設置unixsocket的權限每次系統重啟後,我們都需要執行以下命令來修改unixsocket的權限:sudo...

解釋PHP中的晚期靜態綁定(靜態::)。 解釋PHP中的晚期靜態綁定(靜態::)。 Apr 03, 2025 am 12:04 AM

靜態綁定(static::)在PHP中實現晚期靜態綁定(LSB),允許在靜態上下文中引用調用類而非定義類。 1)解析過程在運行時進行,2)在繼承關係中向上查找調用類,3)可能帶來性能開銷。

See all articles