PHP原理之异常机制深入分析


Posted in PHP onAugust 08, 2010

PHP的异常机制的原理是什么?

在PHP每一个可独立执行的op array最后的ZEND_HANDLE_EXCEPTION是用来干什么呢?

让我们从一个问题说起, 上周的时候, blue5tar提了一个问题:”对于下面的代码, onError明明执行了, 但是onException却没有执行, 为什么?”.

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

运行结果:
Error Occurred 
PHP Fatal error: main(): Failed opening required 'laruence.php

首先, 我们要知道, Require在包含一个找不到的问题的时候, 会前后抛出俩个错误,
1. WARNING : 在PHP试图打开这个文件的时候抛出. 
2. E_COMPILE_ERROR : 从PHP打开文件的函数返回失败以后抛出

而我们知道, set_error_handler是不能捕获E_COMPILE_ERROR错误的:

The following error types cannot be handled with a user defined function: E_ERROR, E_PARSE, E_CORE_ERROR, E_CORE_WARNING, E_COMPILE_ERROR, E_COMPILE_WARNING, and most of E_STRICT raised in the file where set_error_handler() is called.

所以, 在onError中, 只能捕获到第一个WARNING错误, 而在onError中抛出的异常, 为什么没有被默认exception_handler捕获呢?

这就要说说PHP的异常机制了.

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

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

void on_throw_exception(zval *exception TSRMLS_DC) { 
1. 判断是否已经有异常抛出 
2. 记录exception 
3. 记录下一条要执行的op line的序号 
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以后才判断是否有默认异常处理函数, 如果有才调用:

//执行 
zend_execute(EG(active_op_array) TSRMLS_CC); 
if (EG(exception)) { 
if (EG(user_exception_handler)) { 
调用用户定义的默认异常处理函数 
} else { 
未捕获的异常 
} 
} else { 
没有异常 
} 
destroy_op_array(EG(active_op_array) TSRMLS_CC); 
efree(EG(active_op_array));

PHP原理之异常机制深入分析
PHP异常流程
而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.

PHP5 changelog:

Changed exception handling. Now each op_array doesn't contain ZEND_HANDLE_EXCEPTION opcode in the end. (Dmitry)

PHP 相关文章推荐
Discuz 6.0+ 批量注册用户名
Sep 13 PHP
php self,$this,const,static,-&amp;gt;的使用
Oct 22 PHP
php 引用(&amp;)详解
Nov 20 PHP
php自动获取目录下的模板的代码
Aug 08 PHP
php安全配置 如何配置使其更安全
Dec 16 PHP
解析php防止form重复提交的方法
Jul 01 PHP
深入理解PHP中的global
Aug 19 PHP
PHP利用func_get_args和func_num_args函数实现函数重载实例
Nov 12 PHP
PHP获取一年有几周以及每周开始日期和结束日期
Aug 06 PHP
php解析mht文件转换成html的实例
Mar 13 PHP
YII框架常用技巧总结
Apr 27 PHP
php实现对文件压缩简单的方法
Sep 29 PHP
php include加载文件两种方式效率比较
Aug 08 #PHP
将一维或多维的数组连接成一个字符串的php代码
Aug 08 #PHP
php简单提示框alert封装函数
Aug 08 #PHP
php递归实现无限分类生成下拉列表的函数
Aug 08 #PHP
php用数组返回无限分类的列表数据的代码
Aug 08 #PHP
php自定义函数之递归删除文件及目录
Aug 08 #PHP
php自动获取目录下的模板的代码
Aug 08 #PHP
You might like
PHP输入流php://input介绍
2012/09/18 PHP
php json_encode值中大括号与花括号区别
2013/09/30 PHP
Laravel框架路由配置总结、设置技巧大全
2014/09/03 PHP
详解Laravel服务容器的绑定与解析
2019/11/05 PHP
BOOM vs RR BO3 第二场2.13
2021/03/10 DOTA
JS 去除Array中的null值示例代码
2013/11/20 Javascript
JavaScript中DOM详解
2015/04/13 Javascript
jQuery实用技巧必备(上)
2015/11/02 Javascript
JS实现合并两个数组并去除重复项只留一个的方法
2015/12/17 Javascript
基于Vue.js的表格分页组件
2016/05/22 Javascript
实例解析angularjs的filter过滤器
2016/12/14 Javascript
详解Jquery 遍历数组之$().each方法与$.each()方法介绍
2017/01/09 Javascript
详谈commonjs模块与es6模块的区别
2017/10/18 Javascript
jQuery Ajax实现Select多级关联动态绑定数据的实例代码
2018/10/26 jQuery
vue+element-ui实现表格编辑的三种实现方式
2018/10/31 Javascript
详解ng-alain动态表单SF表单项设置必填和正则校验
2019/06/11 Javascript
微信小程序利用button控制条件标签的变量问题
2020/03/15 Javascript
Element InputNumber 计数器的实现示例
2020/08/03 Javascript
JavaScript交换变量常用4种方法解析
2020/09/02 Javascript
JavaScript实现瀑布流布局的3种方式
2020/12/27 Javascript
JS实现页面侧边栏效果探究
2021/01/08 Javascript
[10:24]郎朗助力完美“圣”典,天籁交织奏响序曲
2016/12/18 DOTA
Python 随机生成中文验证码的实例代码
2013/03/20 Python
python实现根据ip地址反向查找主机名称的方法
2015/04/29 Python
Python切片操作实例分析
2018/03/16 Python
自学python的建议和周期预算
2019/01/30 Python
Django REST Framework序列化外键获取外键的值方法
2019/07/26 Python
Python基于requests库爬取网站信息
2020/03/02 Python
Python读写Excel表格的方法
2021/03/02 Python
美国滑板店:Tactics
2020/11/08 全球购物
机械设计制造专业个人求职信
2013/09/25 职场文书
八荣八耻演讲稿
2014/09/15 职场文书
2014年最新个人对照检查材料范文
2014/09/25 职场文书
2014年法制宣传日活动方案
2014/11/02 职场文书
html5移动端禁止长按图片保存的实现
2021/04/20 HTML / CSS
在redisCluster中模糊获取key方式
2021/07/09 Redis