PL/SQL的异常处理机制的初步探讨

   来源：赛迪网技术社区    作者：shanyuan

PL/SQL处理异常不同于其他程序语言的错误管理方法，PL/SQL的异常处理机制与ADA很相似，有一个处理错误的全包含方法。当发生错误时，程序无条件转到异常处理部分，这就要求代码要非常干净并把错误处理部分和程序的其它部分分开。oracle允许声明其他异常条件类型以扩展错误/异常处理。这种扩展使PL/SQL的异常处理非常灵活。

当一个运行时错误发生时，称为一个异常被抛出。PL/SQL程序编译时的错误不是能被处理得异常，只有在运行时的异常能被处理。在PL/SQL程序设计中异常的抛出和处理是非常重要的内容。

抛出异常

由三种方式抛出异常:

. 通过PL/SQL运行时引擎；

. 使用RAISE语句；

. 调用RAISE_APPLICATION_ERROR存储过程。

当数据库或PL/SQL在运行时发生错误时，一个异常被PL/SQL运行时引擎自动抛出。异常也可以通过RAISE语句抛出：

　　
　　RAISE exception_name;

　　

显式抛出异常是程序员处理声明的异常的习惯用法，但RAISE不限于声明了的异常，它可以抛出任何任何异常。例如，你希望用TIMEOUT_ON_RESOURCE错误检测新的运行时异常处理器，你只需简单的在程序中使用下面的语句：

　　
　　RAISE TIMEOUT_ON_RESOUCE;

　　

下面看一个订单输入系统，当库存小于订单时抛出一个inventory_too_low异常。

　　
　　DECLARE
　　inventory_too_low EXCEPTION;
　　---其他声明语句
　　BEGIN
　　.
　　.
　　IF order_rec.qty>inventory_rec.qty THEN
　　RAISE inventory_too_low;
　　END IF 
　　.
　　. 
　　EXCEPTION
　　WHEN inventory_too_low THEN
　　order_rec.staus:='backordered';
　　replenish_inventory(inventory_nbr=>
　　inventory_rec.sku,min_amount=>order_rec.qty-inventory_rec.qty);
　　END;

　　

这里replenish_inventory是一个触发器。

处理异常

PL/SQL程序块的异常部分包含了程序处理错误的代码，当异常被抛出时，一个异常陷阱就自动发生，程序控制离开执行部分转入异常部分,一旦程序进入异常部分就不能再回到同一块的执行部分。下面是异常部分的一般语法：

　　
　　EXCEPTION
　　　WHEN exception_name THEN 
　　　　Code for handing exception_name
　　　[WHEN another_exception THEN
　　　　Code for handing another_exception]
　　　[WHEN others THEN
　　　　code for handing any other exception.]

　　

用户必须在独立的WHEN子串中为每个异常设计异常处理代码，WHEN OTHERS子串必须放置在最后面作为缺省处理器处理没有显式处理的异常。当异常发生时，控制转到异常部分，ORACLE查找当前异常相应的WHEN..THEN语句，捕捉异常，THEN之后的代码被执行，如果错误陷阱代码只是退出相应的嵌套块，那么程序将继续执行内部块END后面的语句。如果没有找到相应的异常陷阱，那么将执行WHEN OTHERS。在异常部分WHEN 子串没有数量限制。

　　
　　EXCEPTION
　　
　　　WHEN inventory_too_low THEN
　　　　order_rec.staus:='backordered';
　　　　replenish_inventory(inventory_nbr=>
　　　　inventory_rec.sku,min_amount=>order_rec.qty-inventory_rec.qty);
　　　WHEN discontinued_item THEN
　　　　--code for discontinued_item processing
　　　WHEN zero_divide THEN
　　　　--code for zero_divide
　　　WHEN OTHERS THEN
　　　　--code for any other exception
　　END;

　　

当异常抛出后，控制无条件转到异常部分，这就意味着控制不能回到异常发生的位置，当异常被处理和解决后，控制返回到上一层执行部分的下一条语句。

　　
　　BEGIN
　　　DECLARE
　　　　bad_credit;
　　　BEGIN
　　　　RAISE bad_credit;
　　　　　--发生异常，控制转向；
　　　EXCEPTION
　　　　WHEN bad_credit THEN
　　　　　dbms_output.put_line('bad_credit');
　　　　END;
　　
　　　　--bad_credit异常处理后，控制转到这里
　　　EXCEPTION
　　　　WHEN OTHERS THEN
　　　　　--控制不会从bad_credit异常转到这里
　　　　　--因为bad_credit已被处理
　　END;

　　

当异常发生时，在块的内部没有该异常处理器时，控制将转到或传播到上一层块的异常处理部分。

　

　
　　BEGIN
　　　DECLARE ---内部块开始
　　　　bad_credit;
　　　BEGIN
　　　　RAISE bad_credit;
　　　　　--发生异常，控制转向；
　　　　EXCEPTION
　　　　WHEN ZERO_DIVIDE THEN --不能处理bad_credite异常
　　　　　dbms_output.put_line('divide by zero error');
　　　　END --结束内部块
　　
　　　　　--控制不能到达这里，因为异常没有解决；
　　　　　--异常部分
　　
　　　　EXCEPTION
　　　　WHEN OTHERS THEN
　　　　　--由于bad_credit没有解决，控制将转到这里
　　END;

　　

异常传播

没有处理的异常将沿检测异常调用程序传播到外面，当异常被处理并解决或到达程序最外层传播停止。

在声明部分抛出的异常将控制转到上一层的异常部分。

　

　
　　BEGIN
　　executable statements
　　BEGIN
　　today DATE:='SYADATE'; --ERRROR
　　BEGIN --内部块开始
　　dbms_output.put_line('this line will not execute');
　　EXCEPTION
　　WHEN OTHERS THEN
　　--异常不会在这里处理
　　END;--内部块结束
　　
　　EXCEPTION
　　WHEN OTHERS THEN
　　处理异常
　　END

　　 

执行部分抛出的异常将首先传递到同一块的异常部分，如果在同一块的异常部分没有处理这个异常的处理器，那么异常将会传播到上一层的异常部分中，一直到最外层。

在异常部分抛出的异常将控制转到上一层的异常部分。

处理异常将停止异常的传播和解决。有时用户希望在错误发生时，程序仍然能执行一些动作，要达到这个目的，可以把希望执行的动作放在异常处理器中，然后执行不带参数的RAISE语句，RAISE语句将重新抛出出现的异常，允许他继续传播。

　　
　　DECLARE
　　order_too_old EXCEPTION;
　　BEGIN
　　RAISE order_too_old;
　　EXCEPTION
　　WHEN order_too_old THEN
　　DECLARE
　　file_handle UTL_FILE.FILE_TYPE;
　　BEGIN
　　--open file
　　file_handle:=UTL_FILE.FOPEN
　　(location=>'/ora01/app/oracle/admin/test/utlsir'
　　,filename=>'error.log'
　　.open_mode=>'W');
　　--write error stack
　　UTL_FILE.PUT_LINE(filehandle,
　　DBMS_UTILITY.FORMAT_ERROR_STACK);
　　--write the call stack
　　UTL_FILE.PUT_LINE(filehandle,
　　DBMS_UTILITY.FORMAT_CALL_STACK);
　　--close error log
　　UTL_FILE.FCLOSE(file_handle);
　　RAISE; --re-raise the exception
　　END 
　　END

　　

如果从FORMAT_XXX_STACK输出一个很大的值，那么使用DBMS_OUTPUT或UTL_FILE显示错误或调用堆的异常部分自身也会抛出异常，这两个堆常规下最多能返回2000字节，但utl_file.put_line被限制在1000字节以内，而dbms_output.put_line限制在512字节内。如果使用前面的代码并且不允许这种可能性，那么在异常处理器中将抛出一个未处理的异常。

GOTO语句不能用于将控制从执行部分传递到异常部分或反之。

已命名异常

在PL/SQL块的异常部分只有已命名的异常才能被WHEN子串处理，ORACLE包含了一系列已命名的异常，这些异常都声明在STANDARD包中，这些内建异常在这里就不一一讲述，有兴趣的读者可以查阅有关资料。

常用异常处理方法

除了标准异常外，用户可以声明自己的已命名异常。比如商业规则错误，或者将自定义异常与一个数据库号相联系，甚至可以将数据库错误号赋予自定义异常。PL/SQL的这个性能极大的提高了对异常的管理和处理的能力。

声明自己的异常

如果你希望声明自己的异常，那么你可以在异常处理器中包括WHEN子句，声明的异常的作用范围与声明的变量相同。声明在外层块的异常能被该块和它的子块访问，但声明在子块的异常不能被父块处理。

例：

　　
　　　BEGIN 
　　DECLARE 
　　Insufficient_credite EXCEPTION;
　　BEGIN
　　RASISE Insufficient_credite;
　　EXCEPTION
　　WHEN Insufficient_credite THEN
　　--可以在此处理异常
　　　　　extend_credite(cust_id);
　　END　-嵌套块结束
　　EXCEPTION 
　　WHEN Insufficient_credite THEN
　　--超出范围，不能在这里处理异常 
　　　END;

　　

如果声明的异常与内建的异常同名，那么当引用异常将解决你的异常而不是内建的异常。