error-handling - 处理异常 Erlang 时 throw 和 catch 的区别

Question

我有一个像下面这样的简单代码来测试 Erlang 如何处理异常。throw 和 catch 的 **** 参考。

-module(exception).
-export([sum/2]).
-export([is_odd/1]).

sum(A, B) ->
    case is_odd(A) of
    odd ->
        2*A+B;
    Result ->
        Result
    end.


is_odd(A) ->
    case is_integer(A) of
    true ->
        odd;
    _ -> ****({error, "Input error"})
    end.

当我用 throw 运行透析器时，它显示警告：

exception.erl:9：变量 Result 永远无法匹配，因为前面的子句完全覆盖了“奇数”类型

可以通过添加来修复此警告

案件捕获

功能乐趣/2。

当我用 catch 运行透析器时，透析器成功通过。

我想知道接球和投掷。我们应该抛出或捕获哪种情况？

Answer 1

如果您使用 throw（用于 ****），您的函数 is_odd(A) 将只返回一个正常值：原子“奇数”。这就是 dialyzer 告诉你的：第 9 行 (Result ->) 的子句永远不会匹配。如果 is_odd(A) 返回一个值，它必须是 'odd'，所以总是选择第一个子句。

如果你写'case catch is_odd(A) of ...'，那么任何抛出的异常都会被捕获并转化为一个值。在您的情况下，这就是元组 {error, "Input error"}。（请注意，这是一种“旧式” catch Expression，在所有新代码中通常更喜欢使用现代try ... catch ... end代替。）现在突然又有两个可能的值，第 9 行的子句也可以选择，所以透析器会不要抱怨。

一般来说，对于相对罕见的情况使用异常，对于常见的事情使用正常的返回值。但是，有时将异常用作跳远（“非本地返回”）以摆脱深度递归可能是个好主意。