Erlang - 异常

异常处理在任何编程语言中都是必需的，用于处理运行时错误，以便维护应用程序的正常流程。异常通常会中断应用程序的正常流程，这就是为什么我们需要在应用程序中使用异常处理的原因。

通常，当 Erlang 中发生异常或错误时，将显示以下消息。

{"init terminating in do_boot", {undef,[{helloworld,start,[],[]}, 
{init,start_it,1,[]},{init,start_em,1,[]}]}}

崩溃转储将写入 -

erl_crash.dump
init terminating in do_boot ()

在 Erlang 中，有三种类型的异常 -

• 错误 - 调用 erlang:error(Reason) 将终止当前进程中的执行，并在您捕获它时包含最后调用的函数及其参数的堆栈跟踪。这些是导致上面运行时错误的异常类型。

• 退出 - 有两种类型的退出：'内部'退出和'外部'退出。内部退出是通过调用函数 exit/1 触发的，并使当前进程停止执行。外部退出使用 exit/2 调用，并且与 Erlang 并发方面的多个进程有关。

• 抛出 - 抛出是一类异常，用于程序员可以预期处理的情况。与退出和错误相比，它们并没有真正带有任何“崩溃该进程！”的意图，而是控制流程。当您在预期程序员处理抛出时使用它们时，通常最好使用它们记录模块中的用法。

try ... catch 是一种评估表达式的 方法，同时允许您处理成功的情况以及遇到的错误。

try catch 表达式的通用语法如下。

语法

try Expression of 
SuccessfulPattern1 [Guards] -> 
Expression1; 
SuccessfulPattern2 [Guards] -> 
Expression2 

catch 
TypeOfError:ExceptionPattern1 -> 
Expression3; 
TypeOfError:ExceptionPattern2 -> 
Expression4 
end

try 和 of 之间的表达式被称为受保护的。这意味着在该调用中发生的任何类型的异常都将被捕获。try ... of 和 catch 之间的模式和表达式与 case ... of 的行为完全相同。

最后，是 catch 部分 - 在这里，您可以将 TypeOfError 替换为 error、throw 或 exit，分别对应我们本章中看到的每种类型。如果未提供类型，则假定为 throw。

以下是 Erlang 中的一些错误和错误原因 -

下面是一个关于如何使用这些异常以及如何执行操作的示例。

• 第一个函数生成所有可能的异常类型。

• 然后我们编写一个包装器函数，在 try...catch 表达式中调用 generate_exception。

示例

-module(helloworld). 
-compile(export_all). 

generate_exception(1) -> a; 
generate_exception(2) -> throw(a); 
generate_exception(3) -> exit(a); 
generate_exception(4) -> {'EXIT', a}; 
generate_exception(5) -> erlang:error(a). 

demo1() -> 
   [catcher(I) || I <- [1,2,3,4,5]]. 
catcher(N) -> 
   try generate_exception(N) of 
      Val -> {N, normal, Val} 
   catch 
      throw:X -> {N, caught, thrown, X}; 
      exit:X -> {N, caught, exited, X}; 
      error:X -> {N, caught, error, X} 
   end. 
      
demo2() -> 
   [{I, (catch generate_exception(I))} || I <- [1,2,3,4,5]]. 
demo3() -> 
   try generate_exception(5) 
   catch 
      error:X -> 
         {X, erlang:get_stacktrace()} 
   end. 
   
lookup(N) -> 
   case(N) of 
      1 -> {'EXIT', a}; 
      2 -> exit(a) 
   end.

如果我们像 helloworld:demo() 那样运行程序，我们将得到以下输出 -

输出

[{1,normal,a},
{2,caught,thrown,a},
{3,caught,exited,a},
{4,normal,{'EXIT',a}},
{5,caught,error,a}]