PLSQL的异常传播

文章概要：

本文对主要就PLSQL的异常传播进行知识性小结，分为四个部分，PLSQL异常传播小结，编写小案例验证5种传播规则，示例了一个容易理解出错的案例，以及使用goto结合异常处理的案例。

一，异常传播规则

PLSQL块结构，典型如下：

declare
   --声明区域
begin
   --执行区域
exception
   --异常处理区域
end

上述三个区域都可以产生异常(PLSQL自动抛出来的，或者代码主动抛出来的异常)，PL/SQL采用统一异常处理机制，当异常发生时，程序会自动跳转到异常处理区域，交给异常处理程序进行异常匹配，
处理完异常后，程序的控制流程继续向外部传递。
就传播规则而言，分两大情况，5小情况。

1,执行区域产生异常时，异常传播方式分为下三种情况：
1)如果当前语句块有该异常的处理器，则程序流程转移到该异常处理器，并进行异常处理。然后，程序的控制流程传递到外层语句块，继续执行。
2)如果当前语句块没有该异常处理器，则在外层语句块的异常处理部分处理该异常。处理完异常后，程序的控制流程继续向外部传递。
3)如果当前语句块及其外层语句块都没有对该异常的处理，则该异常将传播到调用环境(比如ksql客户端)或主机环境。
简而言之，异常会向他的当前子块传播，不能被捕获，则向外层进行传递，

2,声明区域和异常处理区域产生的异常传播策略有明显不同：
会立刻传播到外层语句块的异常处理部分， 即使当前语句块有该异常的异常处理器也不会进行捕获处理。
4)如果外层语句块无法处理该异常，则异常继续向更外层传播，直到调用环境或主机环境。
5)当外层语句块捕获并处理内层块的异常后，程序流程继续 向外层传递并执行。
任何情况(指1-5五种情况)，直到异常被捕获则终止或最终到调用环境或主机环境。

二，异常传播实例

用尽可能简单的例子对上述5个情况进行实测：
1)如果当前语句块有该异常的处理器，则程序流程转移到该异常处理器，并进行异常处理。然后，程序的控制流程传递到外层语句块，继续执行。
--1

begin
   select 1/0 as result;
exception
   when others then
      raise notice '当前块捕获到异常';
end;
--运行结果
NOTICE:  当前块捕获到异常
ANONYMOUS BLOCK

--2

begin
   begin
      select 1/0 as result;
   exception
      when others then
        raise notice '内块捕获到异常';
   end;
   raise notice '继续执行程序';
exception
   when others then
      raise notice '外块捕获到异常';
end;
--运行结果
NOTICE:  内块捕获到异常
NOTICE:  继续执行程序
ANONYMOUS BLOCK

2)如果当前语句块没有该异常处理器，则在外层语句块的异常处理部分处理该异常。处理完异常后，程序的控制流程继续向外部传递。

begin
    begin
       begin
          select 1/0 as result;
       --exception        -- 注释掉异常处理块
       --   when others then
       --       raise notice '内块捕获到异常';
       end;
    exception
       when others then
          raise notice '外块捕获到异常';
    end;
    raise notice '继续执行程序';
end;    
--运行结构
NOTICE:  外块捕获到异常
NOTICE:  继续执行程序
ANONYMOUS BLOCK

3)如果当前语句块及其外层语句块都没有对该异常的处理，则该异常将传播到调用环境(比如ksql客户端)或主机环境。

begin
   select 1/0 as result;
end;
--运行结果
ERROR:  division by zero
CONTEXT:  SQL statement "select 1/0 as result"
PL/SQL function inline_code_block line 2 at SQL statement

**4)如果外层语句块无法处理该异常，则异常继续向更外层传播，直到调用环境或主机环境。 **
--1

declare
    vv CONSTANT NUMBER(2):=500; ---在本地声明部声明常量,numeric field overflow
begin
    raise notice '变量vv值为：%',vv;
exception
   when others then
      raise notice '最外层块捕获到异常';
end;
--运行结果
ERROR:  numeric field overflow
DETAIL:  A field with precision 2, scale 0 must round to an absolute value less than 10^2.
CONTEXT:  PL/SQL function inline_code_block line 3 during statement block local variable initialization

--2

declare
    declare
        vv CONSTANT NUMBER(2):=500; ---在本地声明部声明常量,numeric field overflow
    begin
        raise notice '变量vv值为：%',vv;
    exception
        when others then
          raise notice '声明区域捕获到异常';
    end;
begin
    raise notice '继续执行程序';
exception
   when others then
      raise notice '外层块捕获到异常';
end;
--运行结果
ERROR:  numeric field overflow
DETAIL:  A field with precision 2, scale 0 must round to an absolute value less than 10^2.
CONTEXT:  PL/SQL function inline_code_block line 4 during statement block local variable initialization

--3

begin
    declare
        vv CONSTANT NUMBER(2):=500; ---在本地声明部声明常量,numeric field overflow
    begin
        raise notice '变量vv值为：%',vv;
    exception
        when others then
          raise notice '声明区域捕获到异常';
    end;
    raise notice '继续执行程序';
exception
   when others then
      raise notice '外层块捕获到异常';
end;
--运行结果：
NOTICE:  外层块捕获到异常
ANONYMOUS BLOCK

5)当外层语句块捕获并处理内层块的异常后，程序流程继续向外层传递并执行。

begin
    begin
        declare
            vv CONSTANT NUMBER(2):=500; ---在本地声明部声明常量,numeric field overflow
        begin
            raise notice '变量vv值为：%',vv;
        exception
            when others then
              raise notice '声明区域捕获到异常';
        end;
        raise notice '继续执行程序1';
    exception
       when others then
          raise notice '外层块捕获到异常';
    end;
    raise notice '继续执行程序2';
end;
--运行结果
NOTICE:  外层块捕获到异常
NOTICE:  继续执行程序2
ANONYMOUS BLOCK

三，一个易理解错误的例子

再来看一个容易理解出错的案例：

declare
   --声明区域
   function func_test ()  return int
   as
   declare
      a int;
   begin
       a = 10;
       select a/0;
       return 1;
   exception
       when others then
          raise notice '函数内捕获到异常';
   end;
begin
    raise notice '测试';
    select func_test();
exception
    when others then
          raise notice '块外捕获到异常';
end
--运行结果：
NOTICE:  测试
NOTICE:  函数内捕获到异常
NOTICE:  块外捕获到异常

 func_test
-----------

(0 rows)

这个案例在函数内和快外都捕捉到了异常，难道异常传播了两次？实际不是，看下面这个例子一目了然

declare
   --声明区域
   function func_test ()  return int
   as
   declare
      a int;
   begin
       a = 10;
       select a/0;
       return 1;
   exception
       when zero_divide  then
          raise notice '函数内捕获到异常--》%',sqlerrm;
   end;
begin
    raise notice '测试';
    select func_test();
exception
    when others then
          raise notice '块外捕获到异常--》%',sqlerrm;
end
--运行结果
NOTICE:  测试
NOTICE:  函数内捕获到异常--》division by zero
NOTICE:  块外捕获到异常--》control reached end of function without RETURN

 func_test
-----------

(0 rows)

到此实际上已经真相大白，是因为嵌套函数func_test的exception没有返回值造成。
这个例子从侧面说明了，不管何时，尽量通过异常名称捕获异常，针对特定的错误进行处理，尽量少使用OTHERS异常处理器。
但在最外层块的异常处理部分放置OTHERS异常处理器，避免有未被处理的异常，是没有问题的。

四，GOTO结合异常处理

如前文所说PL/SQL采用统一异常处理机制，当异常发生时，程序会自动跳转到异常处理区域，交给异常处理程序进行异常匹配，
处理完异常后，程序的控制流程继续向外部传递顺序执行下去。
如果在处理完异常后，修复了异常后，我们不希望异常向外部传递后顺序执行下去呢？我们可以用GOTO进行跳转。
GOTO语句不能跳转到异常控制程序。同样，GOTO语句也不能从异常控制程序跳转到当前块。
例如，下面的GOTO语句就是非法的：

declare
    a int;
begin
    a = 0;
    <<zero_divide_label>>
    a = 10/a;
    raise notice '测试结果：%',a;
exception
    when zero_divide then
          raise notice '块外捕获到异常--》%',sqlerrm;
          a = 1;
          GOTO zero_divide_label;   ----非法的跳转到当前块
end
--运行结果
ERROR:  illegal GOTO statement, cannot transfer control to label 'zero_divide_label'
CONTEXT:  compilation of PL/SQL function "inline_code_block" near line 3

但是，GOTO语句可以从一个异常控制程序中跳转到一个封闭块，上述代码调整为：

修复除零异常后重新执行原预期代码

declare
    a int;
begin
    a = 0;
    <<zero_divide_label>>
    begin
        a = 10/a;
        raise notice '测试结果：%',a;
    exception
        when zero_divide then
            raise notice '块外捕获到异常--》%',sqlerrm;
            a = 1;
            GOTO zero_divide_label;    ----合法的跳转到当前块
    end;
end
--运行结果
NOTICE:  块外捕获到异常--》division by zero
NOTICE:  测试结果：10
ANONYMOUS BLOCK