深入理解PHP原理之异常机制

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

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

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

<?phpfunction 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 OccurredPHP 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. 记录exception3. 记录下一条要执行的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异常流程

注: 图中有一处不严谨, 即在确定是否最后一个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

原文发布于微信公众号 - php(phpdaily)

原文发表时间:2017-11-01

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏技术记录

通讯协议序列化解读(一) Protobuf详解教程

2777
来自专栏進无尽的文章

实践-小细节Ⅷ

const 这个单词翻译成中文是“常量”的意思。在程序中我们知道“常量”的值是不能变的,固定的。所以const关键字的作用就是:

954
来自专栏wOw的Android小站

[设计模式]之三:单例模式

还是试想一个情景:现在有一个自定义对话框。当主界面上的按钮被点击后,弹出对话框。 一般的设计思路是这样的:

511
来自专栏Java3y

阅读SSM项目之scm

导入项目 项目是由eclipse来编写的,我使用的开发环境是Idea,那么就需要将eclipse项目导入进去Idea中。要想项目能够启动起来。是这样干的: 导入...

31711
来自专栏吴老师移动开发

【iOS开发】UITableView和UICollectionView多种类型cell处理,更好地组织代码

开发不仅仅是完成功能,还要写出认后来人可以很容易上手维护的代码。今天就记录一下列表数据,多种类型cell时,如何更好的组织代码。从实际需求场景出发,先看一下UI...

1262
来自专栏進无尽的文章

编码篇-学会小用宏和条件编译

宏定义在C系开发中可以说占有举足轻重的作用。底层框架自不必说,为了编译优化和方便,以及跨平台能力,宏被大量使用,可以说底层开发离开define将寸步难行。而在更...

901
来自专栏freesan44

iOS中URL编码那些事

在iOS程序中,访问一些HTTP/HTTPS的资源服务时,如果url中存在中文或者特殊字符时,会导致无法正常的访问到资源或服务,想要解决这个问题,需要对url进...

682
来自专栏Angular&服务

JS的一些技巧

根据当前文字选择返回 TextRange 对象,或根据控件选择返回 ControlRange 对象。

763
来自专栏后端之路

J2Cache二级缓存'没有自动更新'

在给组内小伙伴们做完二级缓存的普及关于两级缓存的说明后,组内小伙伴使用二级缓存开发了公告功能。 功能如下: <cache name="notice" ...

1897
来自专栏向治洪

动态补丁升级

一、概述 最新github上开源了很多热补丁动态修复框架,大致有: https://github.com/dodola/HotFix https://git...

2559

扫码关注云+社区