2. 錯誤處理 · PHP擴展開發及內核應用

# 錯誤處理當發生錯誤時, 比如腳本解析錯誤, php將會進入到bailout模式. 在你已經看到的簡單的嵌入式例子中, 這表示它將直接跳到PHP_EMBED_END_BLOCK()宏, 并且繞過所有這個塊中的剩余代碼. 由于多數潛入php解釋器的應用, 目的并不只是為了執行php代碼, 因此避免由于php腳本的故障導致整個應用崩潰是有意義的. 有?種方式可以將所有的執行限制到一個非常小的START/END塊中, 這樣發生崩潰就只影響當前塊. 這種方式的缺點是每個START/END塊函數都是獨立的PHP請求. 因此比如下面START/END塊, 雖然從語法邏輯上來看兩個塊是協同工作的, 但實際上它們之間是不共享公共作用域的. ````c int main(int argc, char *argv[]) { PHP_EMBED_START_BLOCK(argc, argv) zend_eval_string("$a = 1;", NULL, "Script Block 1"); PHP_EMBED_END_BLOCK() PHP_EMBED_START_BLOCK(argc, argv) /* 將打印出"NULL", 因為變量$a在這個請求中并沒有定義. */ zend_eval_string("var_dump($a);", NULL, "Script Block 2"); PHP_EMBED_END_BLOCK() return 0; } ```` 還有一種解決方法是將兩個zend_eval_string()調用使用Zend特有的偽語言結構 zend_try, zend_catch, zend_end_try進行隔離. 使用這些結構, 你的應用就可以按照想要的方式處理錯誤. 考慮下面的代碼: ````c int main(int argc, char *argv[]) { PHP_EMBED_START_BLOCK(argc, argv) zend_try { /* 嘗試執行?一些可能失敗的代碼 */ zend_eval_string("$1a = 1;", NULL, "Script Block 1a"); } zend_catch { /* 發生錯誤, 則嘗試執行另外?一部分代碼(?一般錯誤的補救或報告等行為) */ zend_eval_string("$a = 1;", NULL, "Script Block 1"); } zend_end_try(); /* 這里將顯示"NULL", 因為變量$a在這個請求中沒有定義. */ zend_eval_string("var_dump($a);", NULL, "Script Block 2"); PHP_EMBED_END_BLOCK() return 0; } ```` 在這個示例的第二個版本中, zend_try塊中將發生解析錯誤, 但它只影響自己的代碼塊, 同時在zend_catch塊中使用了?段好的代碼對錯誤進行了處理. 同樣你也可以嘗試自己給var_dump()部分也加上這些塊. ````c 譯注: 這里對zend_try/zend_catch/zend_end_try解釋的不是很清楚, 因此做以下補充說明. 讀者閱讀這一部分內容需要首先了解sigsetjmp()/siglongjmp()的機制(可以參考<Unix環境高級編程> 第10章第15節). 相關的定義如下: #ifdef HAVE_SIGSETJMP# define SETJMP(a) sigsetjmp(a, 0) # define LONGJMP(a,b) siglongjmp(a, b) # define JMP_BUF sigjmp_buf #else # define SETJMP(a) setjmp(a) # define LONGJMP(a,b) longjmp(a, b) # define JMP_BUF jmp_buf #endif #define zend_try \ { \ JMP_BUF *__orig_bailout = EG(bailout); \ JMP_BUF __bailout; \ \ EG(bailout) = &__bailout; \ if (SETJMP(__bailout)==0) { #define zend_catch \ } else { \ EG(bailout) = __orig_bailout; #define zend_end_try() \ }\ EG(bailout) = __orig_bailout; \ } ```` zend_try{}代碼塊中的代碼是在一個if語句中的, 這個if的條件是SETJMP(__bailout) == 0, SETJMP()是在當前程序執行的點設置一個可回溯的點(保存了當前執行上下文和環境), SETJMP() 的返回比較特殊, 它有兩種返回: 1) 直接返回, 此時返回值為0; 2) 調用LONGJMP()返回到對應 __bailout當時調用SETJMP()的位置, 此時返回值非0. 基于上面的論述, 可以看出, 當zend_try的代碼塊中調用了LONGJMP()的時候, 程序將回到if ( SETJMP(__bailout) == 0 )的位置開始執行, 并且它的返回值為-1, 因此, 進入到對應的else語句塊, 也就是zend_catch語句塊的代碼. zend_end_try()則只是?個結尾的花括號. php中的這個偽語言結構正式這種方式實現的異常處理機制, 在系統的關鍵點調用 zend_bailout()(在Zend/zend.h中定義)即可. 本例中, 譯者增加了zend_bailout()調用, 演示了這個偽語言結構的使用. ## links * [目錄](<preface.md>) * 20.1 [回調到php中](<20.1.md>) * 20.3 [初始化php](<20.3.md>)