exception-handling - Erlang中除以零的精确异常类型

Question

我想捕捉零除错误，但不知道我应该为此写哪个确切的模式

Result = try 5/0 catch {'EXIT',{badarith,_}} -> 0.

当我通过以下方式捕获所有异常时它可以工作

Result = try 5/0 catch _:_ -> 0.

但第一个例子给出了

** 异常错误：计算算术表达式时发生错误

那么如何正确捕捉零除法

Answer 1

您可以使用我从http://learnyousomeerlang.com/errors-and-exceptions获得的这段代码

catcher(X,Y) ->
  case catch X/Y of
   {'EXIT', {badarith,_}} -> "uh oh";
   N -> N
  end.

6> c(exceptions).
{ok,exceptions}
7> exceptions:catcher(3,3).
1.0
8> exceptions:catcher(6,3).
2.0
9> exceptions:catcher(6,0).
"uh oh"

或者

catcher(X, Y) -> 
  try 
   X/Y 
  catch 
   error:badarith -> 0 
  end. 

Answer 2

如果您对抛出的确切异常感到好奇，您总是可以通过这种方式找到

1> try 5/0 catch Class:Reason -> {Class, Reason} end.
{error,badarith}
2> try 5/0 catch error:badarith -> ok end.
ok
3> try hd(ok), 5/0 catch error:badarith -> ok end.
** exception error: bad argument
4> try hd(ok), 5/0 catch Class2:Reason2 -> {Class2, Reason2} end.
{error,badarg}
5> try hd(ok), 5/0 catch error:badarg -> ok end.                 
ok

顺便说一句，现在大多数情况下都不应该使用catch表达式。它被认为是过时的表达式，主要是为了向后兼容和很少的特殊用途而保留的。