面对软件错误构建可靠的分布式系统_笔记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