处理异常 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 行的子句也可以被选中，所以透析器不会抱怨。

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