《Erlang程序設計》學習筆記-第4章 異常

第4章 異常

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的尾遞歸沒有壓棧。