3.5错误处理
3.5.1异常
包括6类异常
(1)值错误value error: 类似除0错误
(2)类型错误type error:函数的参数错误
(3)模式匹配错误pattern-matching error:在case/receive/if中无法匹配
(4)显示调用exit:相当于主动抛出异常, exit(Why)抛出Why异常
(5)错误传播error propagation:进程收到一个exit信号,可以选择停掉自己,并把exit传递给所有连接的其它进程
(6)系统错误system exception:内存耗尽等
3.5.2catch原语
像其它函数一样处理异常,防止异常扩散,并记住异常的值
如果没有catch,会导致出现异常的进程死掉,并传播所有连接的进程
eg:
X = 1/0. //会抛出异常,X是未绑定值,
Y = (catch 1/0). //处理异常,且Y绑定了"异常值"
=> {'EXIT', {badarith, [........}.
3.5.3exit原语
调用exit/1显示的生成异常
eg:
sqrt(X) when X < 0 ->
exit({sqrt,X});
sqrt(X) -> ...
3.5.4throw原语
用于改变异常的语法形式
exit(P)产生异常,则(catch F)的结果是{'EXIT',P}
throw(P)产生异常,则(catch F)的结果是P
3.5.5已修正错误和未修正错误
eg:
g(X) ->
case (catch h(X)) of
{'EXIT', _} -> 10;
Val -> Val
end.
h(cat) -> exit(dog);
h(N) -> 10*N.
如果g(cat)则h(cat)直接调用exit(dog)抛出异常,
如果g(cats)则h(cats)调用10*cats,而乘法抛出异常,
都被catch处理,最后返回10