《Erlang程序设计》学习笔记-第4章 异常

第4章 异常
摘自：http://hi.baidu.com/zai215837829/blog/item/86a1953e72b230f655e7231d.html

1. 抛出异常的情况：（1）系统内部错误；（2）throw(Exception)；（3）exit(Exception)；（4）erlang:error(Exception)

2. exit(Why) 当当前进程想退出时要调用这个函数，它会产生异常。如果这个异常没有被捕获，那么系统会向所有与当前进程相连接的进程广播{'EXIT',Pid,Why}消息。

3. throw(Why) 抛出一个调用者会捕获的异常

4. erlang:error(Why) 抛出一个“崩溃错误”，这个错误调用者不会真正意识到要去处理，相当于系统内部的错误。

5. try...catch语法：

 
    try FuncOrExpressionSequence of
        Pattern1 [when Guard1] -> Expressions1;
        Pattern2 [when Guard2] -> Expressions2;
        ...    %% 最后一个不能加分号
    catch
        ExceptionType: ExPattern1 [when ExGuard1] -> ExExpressins1;
        ExceptionType: ExPattern2 [when ExGuard2] -> ExExpressins2;
        ...    %% 最后一个不能加分号
    after
        AfterExpressions    %% 这个不能加分号
    end

规则：首先对FuncOrExpressionSequence进行求值，如果没有异常则到Pattern1、Pattern2，如果有异常则到 catch，后面的ExPattern1、ExPattern2。其中ExceptionType是throw, exit, error中的一个。无论是否有异常，after后面的代码都要执行。try...catch表达式的值是Expression的值(没有异常）或 ExExpressions的值（有异常）。AfterExpressions的值会被舍弃。
问题：如果在Pattern匹配时或在Expression中出现异常会不会被catch捕捉到呢？ 那是不会被捕捉的。

6. 缩减版：

    
  try F
    catch 
        ...
    end

相当于

    try F of
        Val -> Val
    catch
        ...
    end

7. catch原语：catch原语捕捉异常后将转换为一个描述错误的一个元组。对于exit(a)，catch捕捉后的元组是{'EXIT', a}，但如果一个表达式直接返回{'EXIT', a}这样一个元组，那就不是一个exit异常了。

8. 可以在判断出现系统时用erlang:error()抛出一个异常，这样的方法比系统直接抛出的错误异常更具有可读性。

9. 对于经常会返回错误的程序，可以用case表达式来兼顾多种返回值的情况，如:

 
    case f(X) of 
        {ok, Val} -> do_something_with(Val);
        {error, Why} -> %% do something
    end,

10. 对于偶尔会出错的程序，可以用try...catch表达式，如：

 
    try f(X)
    catch
        throw:{thisErro, X} -> ...
        throw:{otherErro, X} -> ...
    end

其中在f(X)中要有对应的异常抛出才有意思，如：throw({thisError, ...})

11. 捕获所有可能的异常:
try Expr catch _:_ -> ... end
捕获所有类型为throw的异常:
try Expr catch _ -> ... end

12. 早期的erlang捕获异常的方法是这样的：

 
    case (catch foo(...)) of 
        {'EXIT', Why} -> ...
        Val -> ...
    end

这里我们可以看出try应该是case的一种扩充，所以它们的语法很像。

13. erlang:get_stacktrace()函数可以显示当前的栈跟踪信息，但其中不会有尾递归的信息，实际上erlang的尾递归没有压栈。