面对软件错误构建可靠的分布式系统_笔记05

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