第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的尾递归没有压栈。