erlang 异常

erlang中错误大体分为四种：

   1. 编译错误
   2. 逻辑错误
   3. 运行时错误
   4. 用户代码生成的错误

编译错误，主要是编译器检测出的代码语法错误
逻辑错误，是指程序没有完成预期的工作，属于开发人员的问题
运行时错误，是指erlang运行时抛出的错误，比如对非数据类型执行算术运算，erlang运行时会捕获异常，并抛出。在erlang中，这类异常的类型为error
用户自定义错误，是指通过exit/1或者throw/1生成

我们把运行时错误以及用户抛出的错误称为异常(exception)，他们具有三种类型：throw, error, exit。
error型异常，通过erlang:error/1, 2生成，也可以使用早期的erlang:fault/1, 2
throw型异常，通过throw/1生成
exit型异常，通过exit/1生成

在erlang中，进程内的异常可以通过try, catch来进行捕获处理。
推荐使用try，其为新添加的语法。进程间的异常可以通过监督树(supervisor tree)，监控进程(monitor)来实现。

badarg 参数错误，参数格式或类型错误
badarith 算术表达式错误，算术表达式中含有错误的参数
{badmatch,V} 模式匹配错误，V指具体的发生匹配错误的数值
function_clause 函数子句错误，没有找到匹配的函数子句
{case_clause,V} case匹配错误，没有找到匹配的case pattern
if_clause if子句错误，没有找到为ture的if子句
{try_clause,V} try匹配错误，执行try时，没有找到匹配的pattern
undef 函数未定义错误
{badfun,F} 函数错误
{badarity,F} 函数参数个数错误
timeout_value 超时参数错误，在receive.. after语法中，after对应的超时数据错误（应为不小于0的integer或infinity
noproc Process 错误，Process不存在
{nocatch,V} throw未被catch
system_limit 系统限制错误，某些性能或数据达到系统极限

try 语法

Erlang代码  

1. try Exprs [of  
2.     Pattern1 [when GuardSeq1] ->  
3.         Body1;  
4.     ...;  
5.     PatternN [when GuardSeqN] ->  
6.         BodyN  
7. catch  
8.     [Class1:]ExceptionPattern1 [when ExceptionGuardSeq1] ->  
9.         ExceptionBody1;  
10.     ...;  
11.     [ClassN:]ExceptionPatternN [when ExceptionGuardSeqN] ->  
12.         ExceptionBodyN  
13. end  

如果try Exprs后没有of部分，则默认为Exprs的返回值。
如果在of部分或者catch部分，发生了异常，那么异常将不被处理，直接抛出。
下面的代码可以让你充分的学习，理解try语法。
test_try.erl 下载代码

Erlang代码  

1. -module(test_try).  
2. -compile([export_all]).  
3.   
4. -author('cheng litaocheng@gmail.com').  
5.   
6. %% @spec test(F1, F2) -> Result  
7. %% @doc evaluate the F , use the try to catch all kinds of error  
8. %%  F1 the Expression to be catch exception  
9. %%  F2 the Expression evaluate in the catch section  
10. test(F1, F2) when (is_function(F1, 0) andalso is_function(F2, 0)) ->  
11.     try F1()  
12.     catch  
13.         throw:X ->  
14.             {{caught, throw, X}, F2()};  
15.         exit:X ->  
16.             {{caught, exit, X}, F2()};  
17.         error:X ->  
18.             {{caught, error, X}, F2()}  
19.     after  
20.         io:format("always evaluate the after body~n")  
21.     end.  

运行:

Erlang代码  

1. 21> c(test_try).  
2. {ok,test_try}  
3. 22> test_try:test(fun() -> throw(hello) end, fun() -> ok end).  
4. always evaluate the after body  
5. {{caught,throw,hello},ok}  
6. 23> test_try:test(fun() -> exit(hello) end, fun() -> ok end).  
7. always evaluate the after body  
8. {{caught,exit,hello},ok}  
9. 24> test_try:test(fun() -> erlang:error(hello) end, fun() -> ok end).  
10. always evaluate the after body  
11. {{caught,error,hello},ok}  
12. 25> test_try:test(fun() -> erlang:error(hello) end, fun() -> throw(exception_in_catch) end).  
13. always evaluate the after body  
14. ** exception throw: exception_in_catch  
15. in function test_try:test/2 
    

http://erlangdisplay.iteye.com/blog/315417