社区编辑申请
注册/登录
解读PHP异常机制的流程及原理
开发 后端
PHP中大多数函数或内置类库如果产生错误,不会抛出异常。异常机制是在PHP 5之后添加的,本文将结合实例,向您介绍PHP异常机制的流程及原理。

PHP的异常机制的原理是什么?在PHP每一个可独立执行的op array***的ZEND_HANDLE_EXCEPTION是用来干什么呢?让我们从一个问题说起。

对于一下代码,onError明明执行了, 但是onException却没有执行, 为什么呢?

  1. <?php 
  2. function onError($errCode, $errMesg, $errFile, $errLine) {      
  3. echo "Error Occurred\n";      
  4. throw new Exception($errMesg);  
  5. }   
  6. function onException($e) {      
  7. echo $e->getMessage();  
  8. }   
  9. set_error_handler("onError");   
  10. set_exception_handler("onException");   
  11. /* 我从不会以我的名字命名文件, 所以这个文件不存在 */  
  12. require("laruence.php"); 

运行结果:

  1. Error Occurred  
  2. PHP Fatal error: main(): Failed opening required 'laruence.php 

首先, 我们要知道, Require在包含一个找不到的问题的时候, 会前后抛出俩个错误:

1. WARNING : 在PHP试图打开这个文件的时候抛出。

2. E_COMPILE_ERROR : 从PHP打开文件的函数返回失败以后抛出。

而我们知道, set_error_handler是不能捕获E_COMPILE_ERROR错误的。所以, 在onError中, 只能捕获到***个WARNING错误, 而在onError中抛出的异常, 为什么没有被默认exception_handler捕获呢?这就要说说PHP的异常机制了.

了解opcode的同学都知道, 在PHP5.3以前, 每一个可独立运行的op array(文件, 函数, 方法)的***一条opcode都是ZEND_HANDLE_EXCEPTION, 而这个opcode是做什么用的呢?

原来在PHP中, 当有异常被throw的时候, 会跳到每一个op array的***一行, 来执行这条ZEND_HANDLE_EXCEPTION, 伪码如下:

  1. void on_throw_exception(zval *exception TSRMLS_DC) {  
  2. 1. 判断是否已经有异常抛出  
  3. 2. 记录exception  
  4. 3. 记录下一条要执行的op line的序号  
  5. 4. 下一条要执行的op line序号 = 当前op array的***一条  

就和改写ip寄存器一样, 改写下一条要执行的op line的序号, 就改变了程序的流向, 这样, 就会进入到了ZEND_HANDLE_EXCEPTION的处理逻辑中.而在ZEND_HANDLE_EXCEPTION中, 会判断这个异常是否在try catch中。

◆如果是,则把下一条要执行的op line, 置为***个catch的op line, 并继续执行。

◆如果不是,则销毁一些不需要的变量, 和opline, 然后直接结束执行过程。

这里有的同学要问了:”那set_exception_handler设置的异常默认处理函数(user_exception_handler)什么时候起作用呢?” 是在执行完成退出执行LOOP以后才判断是否有默认异常处理函数, 如果有才调用:

  1. //执行  
  2. zend_execute(EG(active_op_array) TSRMLS_CC);  
  3. if (EG(exception)) {       
  4.    if (EG(user_exception_handler)) {            
  5.        调用用户定义的默认异常处理函数       
  6.     }   
  7.     else {            
  8.        未捕获的异常       
  9.     }  
  10. }   
  11. else {       
  12. 没有异常  
  13.       }  
  14. destroy_op_array(EG(active_op_array) TSRMLS_CC);  
  15. efree(EG(active_op_array)); 

PHP异常流程

PHP异常流程

注: 图中有一处不严谨, 即在确定是否***一个catch块的时候, 会同时判断(is_a), 如果是才进入***一个catch块执行。

而PHP在遇到Fatal Error的时候, 会直接zend_bailout, 而zend_bailout会导致程序流程直接跳过上面代码段, 也可以理解为直接exit了(longjmp), 这就导致了user_exception_handler没有机会发生作用。了解到这些, 我想文章开头的问题的为什么? 也就很清晰了吧?

***, 关于ZEND_HANDLE_EXCEPTION, 也许有同学会有疑问: 如果是这样, 那为什么每一个可独立执行的op array***都有这个ZEND_HANDLE_EXCEPTION呢? 最简单的, 如果一个函数中不会throw, 那么这个opcode是明显不需要的? 你很聪明, PHP 5.3开始, 已经按照你的想法调整了。只有在throw时刻, 才会动态的生成ZEND_HANDLE_EXCEPTION opline.

原文链接:http://www.laruence.com/2010/08/03/1697.html

【编辑推荐】

  1. 探秘PHP 5的对象重载技术
  2. 深入理解PHP中的匿名函数
  3. 大型Web应用运行时 PHP负载均衡指南
  4. 不常见却非常有用的PHP函数
  5. PHP开发不能违背的安全规则
责任编辑:王晓东 来源: laruence.com
相关推荐

2009-12-11 10:29:03

PHP插件机制

2015-11-16 11:17:30

PHP底层运行机制原理

2011-03-17 09:20:05

异常处理机制

2011-07-21 15:20:41

2017-04-26 15:30:31

PHP错误机制

2018-08-16 15:00:38

编程语言PHP错误机制

2009-11-23 17:56:44

PHP缓存机制

2009-03-16 16:08:09

PHP异常

2017-03-03 09:26:48

PHP垃圾回收机制

2009-12-03 10:49:32

PHP自定义异常处理器

2009-02-03 14:00:20

PHP运行PHP调用PHP原理

2009-06-16 15:02:18

面向对象编程PHP异常PHP代理

2014-12-23 14:36:32

2017-08-10 15:50:44

PHP协程阻塞

2011-07-12 17:33:09

PHP

2010-06-22 09:40:38

PHP方法重载

2009-02-10 10:57:09

2009-12-09 13:11:03

PHP框架常见错误

同话题下的热门内容

太强了!Python 开发桌面小工具,让代码替我们干重复的工作!Python轻量级Web框架:Bottle库!Python居然被用来开发游戏了?盘点你想不到的Python开发场景用了那么久的Lombok,你知道它的原理么?实战 | 如何用 Python 自动化监控文件夹完成服务部署!Fury:一个基于JIT动态编译的高性能多语言原生序列化框架细思恐极,插上U盘就开始执行Python代码为什么 Python、Ruby 等语言弃用了自增运算符?

编辑推荐

使用Kotlin做开发一个月后的感想面试官问你什么是消息队列?把这篇甩给他!五大自动化测试的Python框架图文详解两种算法:深度优先遍历(DFS)和广度优先遍历(BFS)2018年最流行的十大编程语言,其中包括你用的语言吗?
我收藏的内容
点赞
收藏

51CTO技术栈公众号