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 相关文章推荐
用户的详细注册和判断
Oct 09 PHP
可定制的PHP缩略图生成程式(需要GD库支持)
Mar 06 PHP
php Rename 更改文件、文件夹名称
May 24 PHP
gd库图片下载类实现下载网页所有图片的php代码
Aug 20 PHP
PHP中文乱码解决方案
Mar 05 PHP
php判断邮箱地址是否存在的方法
Feb 13 PHP
php 指定范围内多个随机数代码实例
Jul 18 PHP
php 解析xml 的四种方法详细介绍
Oct 26 PHP
PHP 年月日的三级联动实例代码
May 24 PHP
php 读写json文件及修改json的方法
Mar 07 PHP
PHP 布尔值的自增与自减的实现方法
May 03 PHP
PHP 图片处理
Sep 16 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
第九节 绑定 [9]
2006/10/09 PHP
剖析 PHP 中的输出缓冲
2006/12/21 PHP
php中计算时间差的几种方法
2009/12/31 PHP
php ImageMagick windows下安装教程
2015/01/26 PHP
Zend Framework入门教程之Zend_Registry组件用法详解
2016/12/09 PHP
如何在Web页面上直接打开、编辑、创建Office文档
2007/03/12 Javascript
JQuery在光标位置插入内容的实现代码
2010/06/18 Javascript
基于jQuery实现左右div自适应高度完全相同的代码
2012/08/09 Javascript
js触发onchange事件的方法说明
2014/03/08 Javascript
深入理解JavaScript系列(27):设计模式之建造者模式详解
2015/03/03 Javascript
JavaScript判断用户名和密码不能为空的实现代码
2016/05/16 Javascript
Node.js Addons翻译(C/C++扩展)
2016/06/12 Javascript
jquery购物车结算功能实现方法
2020/10/29 Javascript
Vue + Webpack + Vue-loader学习教程之功能介绍篇
2017/03/14 Javascript
js 去掉字符串前后空格实现代码集合
2017/03/25 Javascript
Bootstrap 3浏览器兼容性问题及解决方案
2017/04/11 Javascript
详解redis在nodejs中的应用
2018/05/02 NodeJs
详解vue引入子组件方法
2019/02/12 Javascript
D3.js(v3)+react 实现带坐标与比例尺的柱形图 (V3版本)
2019/05/09 Javascript
JS实现判断移动端PC端功能
2020/02/21 Javascript
[40:17]2018DOTA2亚洲邀请赛 4.5 淘汰赛 LGD vs Liquid 第一场
2018/04/06 DOTA
[50:17]Newbee vs Serenity 2018国际邀请赛小组赛BO2 第二场 8.17
2018/08/18 DOTA
python使用socket远程连接错误处理方法
2015/04/29 Python
Python的SimpleHTTPServer模块用处及使用方法简介
2018/01/22 Python
python selenium自动上传有赞单号的操作方法
2018/07/05 Python
python看某个模块的版本方法
2018/10/16 Python
Python 寻找局部最高点的实现
2019/12/05 Python
浅析python表达式4+0.5值的数据类型
2020/02/26 Python
Pyspark读取parquet数据过程解析
2020/03/27 Python
继电保护工岗位职责
2014/01/05 职场文书
学习演讲稿范文
2014/05/10 职场文书
相亲大会策划方案
2014/06/05 职场文书
领导班子自我剖析材料
2014/08/16 职场文书
党的群众路线教育实践活动对照检查材料(教师)
2014/09/24 职场文书
2015年民主生活会发言材料
2014/12/15 职场文书
汽车转让协议书
2015/01/29 职场文书