《Erlang程序设计》第四章异常

最新推荐文章于 2025-09-06 09:33:29 发布

转载最新推荐文章于 2025-09-06 09:33:29 发布 · 79 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/scheme/archive/2013/05/27/3102025.html

文章标签：

#java #xhtml

本文介绍了Erlang中的异常处理机制，包括throw、exit、error的使用，try...catch的语法结构及其编程惯例，catch原语的应用，以及如何改进错误信息和使用栈跟踪等。

第四章异常

第四章异常

第四章异常

4.1 异常

Erlang通过throw(Exception)、exit(Exception)、erlang:error(Exception)来抛出异常。
Erlang捕获异常的两种方式：

使用try…catch表达式将函数括起来(同java)
把函数调用包含在catch表达式中

4.2 抛出异常

exit(Why)

显式的产生错误

throw(Why)

抛出调用者可能会捕获的异常(同java)

erlang:error(Why)

系统级错误

4.3 try…catch

try…catch的语法结构：

%% 首先对FuncOrExpressionSequence求值
%% 如果没有产生异常则顺序进行Patterm匹配, 匹配成功后执行后面的表达式
%% 如果有异常抛出, 则顺序匹配ExPattern(ExceptionType是throw、exit、error中的一个, 默认为throw)
%% after块中的代码用于清理工作, 同java异常捕获时的finally 
try FuncOrExpressionSequence of
    Pattern1 [when Guard1] ->Expressions1;
    Pattern2 [when Guard2] ->Expressions2;
    ...
catch
    ExceptionType: ExPattern1 [when ExGuard1] ->ExExpressions1;
    ExceptionType: ExPattern2 [when ExGuard2] ->ExExpressions2;
    ...
after
    AfterExpressions
end.

其相当于在尾部带有catch和after块的case表达式。

4.3.1 缩减版本

%% 省略掉after块
try F
catch
    ...
end.

4.3.2 使用try…catch的编程惯例

%% 将三种异常方式依次捕获
try F
catch
    throw: X ->ExExpressions1;
    exit: X  ->ExExpressions2;
    error: X ->ExExpressions3
end.

4.4 catch

使用catch原语捕获异常, 返回的描述错误的元组可以提供更详细的信息。

4.5 改进错误信息

使用erlang:error处理函数的异常参数, 可以获取更清晰的错误信息。

4.6 try…catch的编程风格

4.6.1 经常会返回错误的程序

%% 可以针对两种可能的返回值分别处理 
case f(X) of
    {ok, Val}    ->Expressions1;
    {error, Why} ->Expressions2
end.
%% 也可以只处理正常返回, 而对非正常返回抛出异常
{ok, Val} = f(X),
Expressions1;
...

4.6.2 出错几率比较小的程序

检测异常的代码分支应与函数中异常抛出的分支互相匹配。

%% 函数中抛出异常的分支
f(X) ->
    case ... of
        ... ->
            ... throw({thisError, ...})
        ... ->
            ... throw({someOtherError, ...})

%% 检测异常的代码分支
try f(X)
catch
    throw:{thisError, X}      ->...
    throw:{someOtherError, X} ->...
end.

4.7 捕获所有可能的异常

%% 使用通配符'_'来匹配异常类型(throw,exit,error)和异常值 
try Expr
catch
    _:_ ->...
end.

4.8 新老两种异常处理风格

%% 旧的风格
case (catch foo(...)) of
    {'EXIT', Why} ->...
    Val           ->...
end.

%% 新的风格
try foo(...) of
    Val       ->...
catch
    exit: Why ->...
end.