PHP 的异常处理、错误的抛出及错误回调函数

一、错误、异常 等级常量表

error：不能在编译期发现的运行期错误，不如试图用 echo 输出一个未赋值的变量，这类问题往往导致程序或逻辑无法继续下去而需要中断；

exception：程序执行过程中出现意料之外的情况，逻辑上往往是行得通的，但不符合应用场景，比如接收到一个长度超出预定格式的用户命名，因此，异常主要靠编码人员做预先做判断后抛出，捕获异常后改变程序流程来处理这些情况，不必中断程序。

 PHP 对于异常和错误的界定似乎不是很明显，尤其是低版本的PHP。

 

错误和日志记录值    常量                            说明                                              备注
1                  E_ERROR (integer)     致命的运行时错误。          |这类错误一般是不可恢复的情况，例如内存分配导致的问题。后果是导致脚本终止不再继续运行。  

2                  E_WARNING (integer)   运行时警告 (非致命错误)。  |仅给出提示信息，但是脚本不会终止运行。  

4                  E_PARSE (integer)     编译时语法解析错误。          |解析错误仅仅由分析器产生。  

8                  E_NOTICE (integer)   运行时通知。                   |表示脚本遇到可能会表现为错误的情况，但是在可以正常运行的脚本里面也可能会有类似的通知。  

16                E_CORE_ERROR(integer)   PHP初始化启动过程中发生的致命错误。  |该错误类似 E_ERROR，但是是由PHP引擎核心产生的。 since PHP 4

32                E_CORE_WARNING(integer)   PHP初始化启动过程中发生的警告 (非致命错误) 。 |类似 E_WARNING，但是是由PHP引擎核心产生的。 since PHP 4

64                E_COMPILE_ERROR(integer)   致命编译时错误。          |类似E_ERROR, 但是是由Zend脚本引擎产生的。 since PHP 4

128              E_COMPILE_WARNING(integer)    编译时警告 (非致命错误)。  |类似 E_WARNING，但是是由Zend脚本引擎产生的。 since PHP 4

256              E_USER_ERROR(integer)       用户产生的错误信息。        |类似 E_ERROR, 但是是由用户自己在代码中使用PHP函数 trigger_error()来产生的。 since PHP 4

512              E_USER_WARNING(integer)   用户产生的警告信息。         |类似 E_WARNING, 但是是由用户自己在代码中使用PHP函数 trigger_error()来产生的。 since PHP 4

1024            E_USER_NOTICE(integer)   用户产生的通知信息。        |类似 E_NOTICE, 但是是由用户自己在代码中使用PHP函数 trigger_error()来产生的。 since PHP 4

2048            E_STRICT (integer)         启用 PHP 对代码的修改建议。       |确保代码具有最佳的互操作性和向前兼容性， since PHP 5

4096            E_RECOVERABLE_ERROR(integer)   可被捕捉的致命错误。   |它表示发生了一个可能非常危险的错误，但是还没有导致PHP引擎处于不稳定的状态。 如果该错误没有被用户自定义句柄捕获 (参 见 set_error_handler())，将成为一个 E_ERROR　从而脚本会终止运行。 since PHP 5.2.0

8192            E_DEPRECATED(integer)        运行时通知。               |启用后将会对在未来版本中可能无法正常工作的代码给出警告。 since PHP 5.3.0

16384          E_USER_DEPRECATED(integer)    户产少的警告信息。   |类似 E_DEPRECATED, 但是是由用户自己在代码中使用PHP函数 trigger_error()来产生的。 since PHP 5.3.0

30719          E_ALL (integer)               E_STRICT出外的所有错误和警告信息。    

 

*30719 in PHP 5.3.x, 6143 in PHP 5.2.x, 2047 previously

 

二、error_reporting() 及 try-catch、thrown 

error_reporting() 函数可以获取(不传参时)、设定脚本处理哪些异常(并非所有异常都需要处理，例如 E_CORE_WARNING、E_NOTICE、E_DEPRECATED 是可以忽略的)，该设定将覆盖 php.ini 中 error_reporting 选项定义的异常处理设定。

例如：

<span style="color: #008080;" data-mce-mark="1">error_reporting</span>(<span style="color: #ff00ff;" data-mce-mark="1">E_ALL</span>&~<span style="color: #ff00ff;" data-mce-mark="1">E_NOTICE</span>) ; <span style="color: #008000;" data-mce-mark="1">//</span><span style="color: #008000;" data-mce-mark="1"> 除了E_NOTICE其他异常都会被触发 （E_ALL&~E_NOTICE 的二进制运算结果是：E_NOTICE对应位的值被设置为0,应注意到，错误和日志记录值都是一个二进制数,某一位设置为1）</span>

 

try-catch 无法在类的自动加载函数 __autoload() 内生效。

try-catch 用于捕获异常，无法捕获错误，例如 trigger_error() 触发的错误，异常和错误是不一样的。

 

<span style="color: #0000ff;">try</span><span style="color: #000000;">{

  </span><span style="color: #008000;">//</span><span style="color: #008000;"> you codes that maybe cause an error</span>
<span style="color: #000000;">
}</span><span style="color: #0000ff;">catch</span>(<span style="color: #0000ff;">Exception</span> <span style="color: #800080;">$err</span>){ <span style="color: #008000;">//</span><span style="color: #008000;"> 这个错误对象需要声明类型， Exception 是系统默认异常处理类</span>

    <span style="color: #0000ff;">echo</span> <span style="color: #800080;">$err</span>-><span style="color: #000000;">getMessage();

}

 

</span><span style="color: #008000;">//</span><span style="color: #008000;">thrown 可以抛出一个异常，如：</span>
<span style="color: #000000;">
thrown </span><span style="color: #0000ff;">new</span> <span style="color: #0000ff;">Exception</span>('an error');

 

一个例子：

<span style="color: #0000ff;">try</span><span style="color: #000000;"> {

    </span><span style="color: #0000ff;">if</span> ( <span style="color: #0000ff;">empty</span>( <span style="color: #800080;">$var1</span> ) ) <span style="color: #0000ff;">throw</span> <span style="color: #0000ff;">new</span><span style="color: #000000;"> NotEmptyException();
    </span><span style="color: #0000ff;">if</span> ( <span style="color: #0000ff;">empty</span>( <span style="color: #800080;">$var2</span> ) ) <span style="color: #0000ff;">throw</span> <span style="color: #0000ff;">new</span><span style="color: #000000;"> NotEmptyException();
    </span><span style="color: #0000ff;">if</span> ( ! <span style="color: #008080;">preg_match</span>() ) <span style="color: #0000ff;">throw</span> <span style="color: #0000ff;">new</span><span style="color: #000000;"> InvalidInputException();

    </span><span style="color: #800080;">$model</span>-><span style="color: #000000;">write();
    </span><span style="color: #800080;">$template</span>->render( 'success'<span style="color: #000000;"> );
  
} </span><span style="color: #0000ff;">catch</span> ( NotEmptyException <span style="color: #800080;">$e</span><span style="color: #000000;"> ) {

  </span><span style="color: #800080;">$template</span>->render( 'error_empty'<span style="color: #000000;"> );

} </span><span style="color: #0000ff;">catch</span> ( InvalidInputException <span style="color: #800080;">$e</span><span style="color: #000000;"> ) {

  </span><span style="color: #800080;">$template</span>->render( 'error_preg'<span style="color: #000000;"> );

}</span>

 

 

Exception 类的结构：其中大部分方法都是 禁止改写的（final ）

<span style="color: #0000ff;">Exception</span><span style="color: #000000;"> {
</span><span style="color: #008000;">/*</span><span style="color: #008000;"> 属性 </span><span style="color: #008000;">*/</span>
<span style="color: #0000ff;">protected</span> <span style="color: #0000ff;">string</span> <span style="color: #800080;">$message</span><span style="color: #000000;"> ;
</span><span style="color: #0000ff;">protected</span> int <span style="color: #800080;">$code</span><span style="color: #000000;"> ;
</span><span style="color: #0000ff;">protected</span> <span style="color: #0000ff;">string</span> <span style="color: #800080;">$file</span><span style="color: #000000;"> ;
</span><span style="color: #0000ff;">protected</span> int <span style="color: #800080;">$line</span><span style="color: #000000;"> ;
</span><span style="color: #008000;">/*</span><span style="color: #008000;"> 方法 </span><span style="color: #008000;">*/</span>
<span style="color: #0000ff;">public</span> __construct ([ <span style="color: #0000ff;">string</span> <span style="color: #800080;">$message</span> = "" [, int <span style="color: #800080;">$code</span> = 0 [, <span style="color: #0000ff;">Exception</span> <span style="color: #800080;">$previous</span> = <span style="color: #0000ff;">null</span><span style="color: #000000;">]]] )
</span><span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">string</span> getMessage ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">异常抛出的信息</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">Exception</span> getPrevious ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">前一异常</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> int getCode ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">异常代码，这是用户自定义的</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">string</span> getFile ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">发生异常的文件路劲</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> int getLine ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">发生异常的行</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">array</span> getTrace ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">异常追踪信息(array)</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">public</span> <span style="color: #0000ff;">string</span> getTraceAsString ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">异常追踪信息(string)</span>
<span style="color: #0000ff;">public</span> <span style="color: #0000ff;">string</span> __toString ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">试图直接 将异常对象当作字符串使用时调用子函数的返回值</span>
<span style="color: #0000ff;">final</span> <span style="color: #0000ff;">private</span> void __clone ( void ) <span style="color: #008000;">//</span><span style="color: #008000;">克隆异常对象时调用</span>
}

  

扩展异常类

try-catch 可以有多个 catch 子句，从第一个 catch 子句开始，如果子句内的 异常变量 类型匹配 thrown 语句抛出的异常类型，则该子句会被执行而不再执行其他catch子句，否则继续尝试下一个 catch 子句，由于Exception 是所有 异常类的基类，因此抛出的异常都会与他匹配 ，如果需要根据不同异常类型使用不同的处理方法，应该将 Exception 类型的 catch 子句放到最后。 

 

Exception 是所有异常的基类，可以根据实际需要扩展异常类

calss MyException <span style="color: #0000ff;">extends</span> <span style="color: #0000ff;">Exception</span><span style="color: #000000;">{
   </span><span style="color: #0000ff;">public</span> errType = 'default'<span style="color: #000000;">;
   </span><span style="color: #0000ff;">public</span> <span style="color: #0000ff;">function</span> __construct(<span style="color: #800080;">$errType</span>=''<span style="color: #000000;">){
      </span><span style="color: #800080;">$this</span>->errType = <span style="color: #800080;">$errType</span><span style="color: #000000;">;
  }

}
 


</span><span style="color: #0000ff;">try</span>{  <span style="color: #008000;">//</span><span style="color: #008000;"> you codes that maybe cause an error</span>
   thrown <span style="color: #0000ff;">new</span> MyException('an error'<span style="color: #000000;">);
}</span><span style="color: #0000ff;">catch</span>(MyException <span style="color: #800080;">$err</span>){ <span style="color: #008000;">//</span><span style="color: #008000;"> 这个错误对象需要声明类型 </span>
   <span style="color: #0000ff;">echo</span> <span style="color: #800080;">$err</span>-><span style="color: #000000;">errType(); 
}</span><span style="color: #0000ff;">catch</span>(ErrorException <span style="color: #800080;">$err</span>){ <span style="color: #008000;">//</span><span style="color: #008000;">ErrorException 是 PHP 5 增加的异常类以便将错误封装为异常，可以更好地处理错误信息，继承于 Exception</span>
   <span style="color: #0000ff;">echo</span> 'error !'<span style="color: #000000;">; 
}</span><span style="color: #0000ff;">catch</span>(<span style="color: #0000ff;">Exception</span> <span style="color: #800080;">$err</span><span style="color: #000000;">){
   redirect(</span>'/error.php'<span style="color: #000000;">);
 }</span>

  

你可能会在 catch 子句中判断异常的类型，或者根据 code 等信息来决定是否处理异常，如果你写在 catch 子句的代码无法适当的处理捕获的异常，你可以在 catch 子句内继续 抛出异常。

 

三 、 Exception 异常的回调函数

<span style="color: #008080;">set_exception_handler</span>('exceptionHandlerFun')  <span style="color: #008000;">//</span><span style="color: #008000;">发生 Exception 或其 子类的 异常是会调用此函数</span>

<span style="color: #0000ff;">function</span> exceptionHandlerFun(<span style="color: #800080;">$errObj</span>){  <span style="color: #008000;">//</span><span style="color: #008000;"> Exception 异常的回调函数 只有一个参数，就是抛出的异常对象。

 //.......</span>
<span style="color: #000000;">
}</span>

 

 Exception 异常的回调函数并不能像  set_error_handler 的回调函数那样通过返回 true 来使异常被消除，即使回调函数处理了异常，后继代码也不会被继续执行，因此想继续执行后续代码必须使用 try-catch，在 try-catch 内被捕获的异常不会触发 exception_handler。

 

但是有一个例外：抛出的异常即使没有被处理，脚本结束回调函数可以被执行。

 

register_shutdown_function(callback functionName[,argument1,argument2,...]);

例如：

<span style="color: #0000ff;">function</span><span style="color: #000000;"> shutdownfunction(){

    </span><span style="color: #0000ff;">echo</span> 'script is end'<span style="color: #000000;">;

}

</span><span style="color: #008080;">register_shutdown_function</span>("shutdownfunction");　

 

因为 shutdownfunction() 在脚本结束时被执行，所以 这个回调函数之内可以调用脚本中任意位置的函数，即使该函数定义在 错误抛出位置之后(函数定义是在 脚本编译期完成的)。

 

四、trigger_error(string errorMsg[,int user_error_type]) 

 该函数用于主动触发一个错误： user_error_type 只能是 E_ALL、E_USER_ERROR、 E_USER_WARNING、 E_USER_NOTICE 或其组合的值。

 

注册 error (包括系统抛出的 Error 和 用户抛出的 Error )的处理函数和消除 error：

<span style="color: #008080;" data-mce-mark="1">set_error_handler</span>(<span style="color: #0000ff;" data-mce-mark="1">callback</span> functionName[,user_error_type]); <span style="color: #008000;" data-mce-mark="1">//</span><span style="color: #008000;" data-mce-mark="1"> 为 trigger_error() 设置一个回调函数来处理错误，包括系统抛出的错误和用户使用 trigger_error() 函数触发的错误。</span>

 

 

可选参数 user_error_type ：

如果设定此参数，则 trigger_error 抛出的错误类型符合 在user_error_type 的定义范围才能触发回调函数。

这个值的设置类似于 error_reporting() 函数 。

 

第一个参数（callbeck functionName）：

一个函数名，该函数 可以有 5 个参数，其中前 2 个必选，依次是：

trigger_error 抛出的 user_error_type、trigger_error 抛出的 errorMsg、抛出错误的文件的绝对路劲、抛出错误的行号、抛出错误时的上下文环境 (一个数组，包含了trigger_error() 所在作用域内的所有变量、函数、类等数据 )

回调函数的返回值： 如果返回 false ，系统错误处理机制仍然继续抛出该错误，返回 true 或 无返回值 则消除错误。

 

你可以使用 set_error_handler() 来将 PHP 程序 抛出的错误代理给 ErrorException使错误可以类似异常那样显示：

<span style="color: #0000ff;">function</span> error_handler(<span style="color: #800080;">$errorType</span>, <span style="color: #800080;">$errorMsg</span>, <span style="color: #800080;">$errorFile</span>, <span style="color: #800080;">$errorLine</span><span style="color: #000000;"> ) {
    </span><span style="color: #0000ff;">echo</span> '<div style="color:red;">error_handler is called!</div>'<span style="color: #000000;">;
    </span><span style="color: #0000ff;">throw</span> <span style="color: #0000ff;">new</span> ErrorException(<span style="color: #800080;">$errorMsg</span>, 0, <span style="color: #800080;">$errorType</span>, <span style="color: #800080;">$errorFile</span>, <span style="color: #800080;">$errorLine</span><span style="color: #000000;">);
}
</span><span style="color: #008080;">set_error_handler</span>('error_handler'<span style="color: #000000;">);
</span><span style="color: #008080;">count</span>();

 

 用户使用 trigger_error()  触发的错误不会被 try-catch 异常捕获语句捕获。