Erlang：从函数返回

Question

我有一个函数，其中有一系列个案陈述。

case ... of
     ...
end,

case ... of
     ...
end,

...

。

我想当某个 case 语句中出现特定 case 条件时立即从函数返回 - 这样就不会检查下一个 case 语句，并且函数只是退出/返回 我该怎么做？

Answer 1

我建议您进行重构，以充分利用 Erlang 及其模式匹配功能。

没有 return 运算符。另外，一个鲜为人知的事实是您可以执行以下操作：

Return=case ... of

case 语句可以具有“返回”值。

Answer 2

模式匹配是重构 case 语句的好方法 - 您可以执行类似的操作

testcase(1, X, Y) -> .... passed1;
testcase(2, X, Y) -> .... passed2;
testcase(N, X, Y) when N > 2 -> .... passedlarge;
testcase(_, X, Y) -> defaultcase.

，然后您的 case 语句简单地概括为：（

X = testcase(Number, Param1, Param2).

在这个人为的示例中，X 将是 Passed1、Passed2、PassedLarge 或 DefaultCase）

Answer 3

Erlang 没有return 运算符。您需要将代码重构为更小的函数。

您的原始代码有两个与逗号运算符链接的 case 表达式。我认为您在要保留的第一个 case 表达式中存在一些副作用。下面，我使用一个虚构的 return 运算符：

case ... of
  P1 -> return E1;
  P2 -> E2;
end,

case ... of
  ...
end

像这样的表达式可以使用小函数和与类似这样的模式匹配转换为真正的 Erlang 代码：

case1(P1, ...) -> E1;
case1(P2, ...) -> E2, case2(...).
case2(...) -> ...

免责声明：自从我使用它以来已经过去了 10 年。编写了 Erlang 代码，所以我的语法可能不正确。

Answer 4

在 Erlang 中，您只需使用模式匹配来触发适当的函数。如果您有太多的子句需要涵盖和处理，我还建议稍微重构一下代码。

Answer 5

一种方法是将 case 语句级联：

my_fun(X) ->
  case cond1(X) of
    true -> ret1;
    _ ->
      case cond2(X) of
        true -> ret2;
        _ ->
          ...
      end
  end.

另一种方法是将 case 语句分成子句：

my_fun(X) ->
  my_fun(cond1, X).

my_fun(cond1, X) ->
  case cond1(X) of
    true -> ret1;
    _    -> my_fun(cond2, X)
  end;

my_fun(cond2, X) ->
  case cond2(X) of
    true -> ret2;
    _    -> my_fun(cond3, X)
  end;

...

Answer 6

使用 catch/throw

调用者说：

X = (catch foo(A, B)).

then write

foo(A, B) ->
    case ... of
     ...throw(X) ..
    end,

    case ... of
     ... throw (Y)
    end,
    ...

这通常被认为是不好的编程实践 - 因为程序有多个
出口点，很难摸索