Erlang 错误处理

Posted 2021-04-24 IT萌新

任何程序设计语言中都会有相关的错误处理语法，Erlang 语言也不例外。

一、Erlang 语言常见错误类型

在Erlang 语言中，常见错误类型有三种，即throw、exit和erlang:error。throw用于抛出调用者可能会捕获的错误；exit错误是终止进程错误；error则是崩溃错误。

在Erlang程序中，通过throw(Why)、exit(Why)和erlang:error(Why)这三个函数来抛出三种类型错误，同时给出原因，并让用户处理或退出程序等。

二、错误处理语法

Erlang 语言中错误处理的语句完整格式如下：

try function_called_exp of    Pattern1 [Guard1]-> Exp1;    Pattern2 [Guard2]-> Exp2    ... catch    Excep_type:Excep_pattern1 [Guarda] -> Expa;    Excep_type:Excep_pattern2 [Guardb] -> Expb;    .... after    After_exp end.

该语句的执行流程为：首先执行function_called_exp，它可以是简单的函数调用，也可以是带函数调用的表达式。当表达式计算过程中没有抛出错误并成功执行后，会对of和catch之间的Pattern1、Pattern2等进行依次模式匹配，成功则执行其后的表达式。当表达式计算过程中有抛出错误时，则对catch后的错误类型进行依次匹配，并执行匹配成功类型后的表达式进行求值。after后的语句功能是清除该语句执行中所占用的资源，如果没有占用的资源，也可以不带after语句。

简单一点说的话：of后子句是对无错误时的结果处理；catch是匹配错误类型作出相应的处理；after是清理占用资源。

以下为一简单的错误处理程序实例：

%filename exptest.erl -module(exptest). -compile(export_all). triger_err(err) -> throw(throwerror); triger_err(X) when is_integer(X) -> X. call_trgr(X) ->    try triger_err(X) + 3 of        Y -> Y    catch        throw:Info -> Info    end.

编译运行结果如下图所示：

第一次调用时，传入参数为3，不会引发错误，所以由of后的语句处理，并直接返回表达式的值6；第二次调用时传入参数为err，会引发错误，所以返回结果为抛出错误后匹配子句后的表达式。