[erlang 001]erlang中的错误及异常处理

一、 erlang中的错误

1. 分类

    1) 编译错误：主要是编译器检测出的代码语法错误；

    2) 逻辑错误：是指程序没有完成预期的工作，属于开发人员的问题；

    3) 运行时错误：是指erlang运行时抛出的错误，比如对非数据类型执行算术运算，erlang运行时会捕获异常，并抛出。在erlang中，这类异常的类型为error；

    4) 用户代码生成的错误：是指通过exit/1或者throw/1生成。

2. 异常

我们把运行时错误以及用户抛出的错误称为异常(exception)，他们具有三种类型：throw, error, exit。

    1) error型异常，通过erlang:error/1, 2生成，用于抛出那些“崩溃错误”。这种异常应该是调用者不会真正意识到要去处理的那些致命错误；

    2) throw型异常，通过throw/1生成，用于抛出一个调用者可能会捕获的异常。针对throw，必须为函数添加注释，说明他会抛出这个异常。调用者可以选择：忽略这些异常/对异常进行处理；

    3) exit型异常，通过exit/1生成，当想要终止当前进程时，用这个函数。如果这个消息未被捕获，那么系统会向所有与当前进程连接的进程广播{‘EXIT‘,Pid,Reason}消息

3. 异常的捕获

在erlang中，进程内的异常可以通过try, catch来进行捕获处理。

推荐使用try，其为新添加的语法。进程间的异常可以通过监督树(supervisor tree)，监控进程(monitor)来实现。

如果是通过catch捕捉这三种异常，则返回的结果分别是：

  • throw(Any) -> Term
  • exit(Reason) -> {‘EXIT‘,Reason}
  • error(Reason) -> {‘EXIT‘,{Reason,erlang:get_stacktrace()}}

4. 一些场景的报错类型

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…catch语法

1. 语法

try FuncOrExpressionSeq of
    Pattern1 [when Guard1] -> Expressions1;
    Pattern2 [when Guard2] -> Expressions2;
    ...
catch
    ExceptionType1: ExPattern1 [when ExGuard1] -> ExExpressions1;
    ExceptionType2: ExPattern2 [when ExGuard2] -> ExExpressions2;
    ...
after
    AfterExpressions
end

返回值：try表达式具有一个值；如果try FuncOrExpressionSeq后没有of部分，则默认为FuncOrExpressionSeq的返回值；

异常处理语句发生异常：如果在of部分或者catch部分，发生了异常，那么异常将不被处理，直接抛出；

catch语句块的ExceptionType1前内容省略的话，默认的错误标签是throw

after部分：after之后的代码是用来在FuncOrExpressionSeq结束后执行清理的，这段代码一定会被执行。并且FuncOrExpressionSeq的返回值会被丢弃。

2. 测试代码

代码部分：

-module(test_try).
-compile([export_all]).
-author(‘cheng [email protected]‘).
%% @spec test(F1, F2) -> Result
%% @doc evaluate the F , use the try to catch all kinds of error
%%  F1 the Expression to be catch exception
%%  F2 the Expression evaluate in the catch section
test(F1, F2) when (is_function(F1, 0) andalso is_function(F2, 0)) ->
    try F1()
    catch
        throw:X ->
            {{caught, throw, X}, F2()};
        exit:X ->
            {{caught, exit, X}, F2()};
        error:X ->
            {{caught, error, X}, F2()}
    after
        io:format("always evaluate the after body~n")
    end.

测试结果：

21> c(test_try).
{ok,test_try}  

22> test_try:test(fun() -> throw(hello) end, fun() -> ok end).
always evaluate the after body
{{caught,throw,hello},ok}  

23> test_try:test(fun() -> exit(hello) end, fun() -> ok end).
always evaluate the after body
{{caught,exit,hello},ok}  

24> test_try:test(fun() -> erlang:error(hello) end, fun() -> ok end).
always evaluate the after body
{{caught,error,hello},ok}  

25> test_try:test(fun() -> erlang:error(hello) end, fun() -> throw(exception_in_catch) end).
always evaluate the after body
** exception throw: exception_in_catch
in function test_try:test/2

 

参考及整理自：

[1] http://erlangdisplay.iteye.com/blog/315417

[2] http://blog.sina.com.cn/s/blog_53a5047b01018wp5.html

时间： 2024-11-05 22:07:41

[erlang 001]erlang中的错误及异常处理的相关文章

PHP中的错误和异常处理

在编写php程序时,错误处理是一个重要的部分.如果程序中缺少错误检测代码,那么看上去很不专业,也为安全风险敞开了大门 例: <?php $a = fopen('test.txt','r'); //这里并没有对文件进行判断就打开了,如果文件不存在就会报错 ?> 那么正确的写法应该如下: <?php if(file_exists('test.txt')){ $f=fopen('test.txt','r'); //使用完后关闭 fclose($f); } ?> 一.PHP错误处理的三种方

【PHP】解析PHP中的错误和异常处理

目录结构: contents structure [-] 错误级别 自定义处理器 设置异常日志 自定义异常类 在这篇文章中,笔者将会阐述PHP中的异常处理,希望能够对你有所帮助. 1.错误级别 PHP5中定义了16种不同的错误级别,下面仅仅粘贴其中几种. 级别常量 错误值 错误报告描述 E_ERROR 1 致命的运行时错误(阻止脚本执行) E_WARNING 2 运行时警告(非致命性错误) E_PARSE 4 从语法中解析错误 E_NOTICE 8 运行时注意消息(可能是或可能不是一个问题) E

iOS开发中xcode错误和异常处理

在开始这个的内容之前,我想先阐明两个在很多时候被混淆的概念,那就是异常 (exception) 和错误 (error). 在 Objective-C 开发中,异常往往是由程序员的错误导致的 app 无法继续运行,比如我们向一个无法响应某个消息的 NSObject 对象发送了这个消息,会得到 NSInvalidArgumentException 的异常,并告诉我们 "unrecognized selector sent to instance":比如我们使用一个超过数组元素数量的下标来试

Erlang中一些错误或者异常的标识

erlang中错误大体分为四种: 1. 编译错误    2. 逻辑错误    3. 运行时错误    4. 用户代码生成的错误 编译错误,主要是编译器检测出的代码语法错误 逻辑错误,是指程序没有完成预期的工作,属于开发人员的问题 运行时错误,是指erlang运行时抛出的错误,比如对非数据类型执行算术运算,erlang运行时会捕获异常,并抛出.在erlang中,这类异常的类型为error 用户自定义错误,是指通过exit/1或者throw/1生成 我们把运行时错误以及用户抛出的错误称为异常(exc

PHP中的错误处理、异常处理机制详解

在编写PHP程序时,错误处理是一个重要的部分.如果程序中缺少错误检测代码,那么看上去很不专业,也为安全风险敞开了大门 例: <?php $a = fopen('test.txt','r'); //这里并没有对文件进行判断就打开了,如果文件不存在就会报错 ?> 那么正确的写法应该如下: <?php if (file_exists('test.txt')) { $f = fopen('test.txt', 'r'); // 使用完后关闭 fclose($f); } ?> 一.PHP错误

转载 PHP中的错误处理、异常处理机制

在编写php程序时,错误处理是一个重要的部分.如果程序中缺少错误检测代码,那么看上去很不专业,也为安全风险敞开了大门 例: <?php $a = fopen('test.txt','r'); //这里并没有对文件进行判断就打开了,如果文件不存在就会报错 ?> 那么正确的写法应该如下: <?php if(file_exists('test.txt')){ $f=fopen('test.txt','r'); //使用完后关闭 fclose($f); } ?> 一.PHP错误处理的三种方

PHP中的错误处理、异常处理机制

PHP中的错误处理.异常处理机制 在编写php程序时,错误处理是一个重要的部分.如果程序中缺少错误检测代码,那么看上去很不专业,也为安全风险敞开了大门 例: <?php $a = fopen('test.txt','r'); //这里并没有对文件进行判断就打开了,如果文件不存在就会报错 ?> 那么正确的写法应该如下: <?php if(file_exists('test.txt')){ $f=fopen('test.txt','r'); //使用完后关闭 fclose($f); } ?&

EBS OAF开发中的错误/异常处理(ErrorHandling) (转)

原文地址 EBS OAF开发中的错误/异常处理(ErrorHandling) EBS OAF开发中的错误/异常处理(ErrorHandling) (版权声明,本人原创或者翻译的文章如需转载,如转载用于个人学习,请注明出处:否则请与本人联系,违者必究) 总览 这篇文档描述了如何在你的Model和控制器代码中抛出OAF 框架异常. 内容 l  异常类型 l  异常类 l  批量异常 l  异常示例 l  对话框页和消息对话框 异常类型 OAF框架处理三种基本类型的异常:常规(general),验证(

erlang取列表中某个值的位置

有个需求,比如在一个列表中,取出一个元素的位置,如果出现重复都取出.例如:List = [2,3,10,324,88,29,12],可以求大于某个值的位置,也可以取某个值的位置. 废话少说,直接上代码: %%测试用例 enter() -> A = [true,false,true,false,true,false,true,true], %A = [10,11,20,3,9.2,8.23,10.4,9.2], N = lists:foldr(fun(X,Y) -> case lists:nth