第四章 异常
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.
4.9 栈跟踪
erlang:get_stacktrace()可以查看栈跟踪信息, 即如果调用不发生异常那么这些信息中就包括了函数的调用路径。
