if-statement - Erlang：如何在 if 语句的真实分支中“什么都不做”

Question

我有这样的if声明：

if 
    A /= B -> ok;
    true   ->
end.

我希望它什么也不做A == B。

Answer 1

Erlang 没有nothinglikevoid或的概念unit。我建议返回另一个原子，例如not_ok（甚至void或unit。）

Answer 2

最好的答案是不要使用 if，只使用用例。

case A of
   B -> ok;
   C -> throw({error,a_doesnt_equal_b_or_whatever_you_want_to_do_now})
end

通常ok或undefined或noop作为原子返回，这基本上意味着什么。

Answer 3

如前所述，任何代码都会返回一些东西。

如果你只想在一种情况下做某事，那么你可以这样写：

ok =if 
    A /= B -> do_something(A,B); % note that in this case do_something must return ok
    true -> ok
end.

如果你想获得 A、B 的新值，你可以这样写

{NewA,NewB} = if 
    A /= B -> modify(A,B); % in this case modify returns a tuple of the form {NewA,NewB}
    true -> {A,B} % keep A and B unchanged 
end.
% in the following code use only {NewA,NewB}

或者以更“erlang方式”

%in your code
...
ok = do_something_if_different(A,B),
{NewA,NewB} = modify_if_different(A,B),
...

% and the definition of functions
do_something_if_different(_A,_A) -> ok;
do_something_if_different(A,B) ->
    % your action
    ok.

modify_if_different(A,A) -> {A,A};
modify_if_different(A,B) ->
    % insert some code
    {NewA,NewB}.

最后，如果您希望它在 A == B 时崩溃

%in your code
...
ok = do_something_if_different_else_crash(A,B),
...


% and the definition of functions
do_something_if_different_else_crash(A,B) when A =/= B ->
    % your action
    ok.