Question

我试图做一个方法，它检查两个原子的值，如果它们相互对应，它会说它是假的，反之亦然，如果它们不等同，它将是真的。

我的代码如下：

b_not(X, Y) ->
if
    X=:=Y ->
        false;
else
        true;
end.

这里我的方法的名称是“b_not”，它代表boolean_not。如果X完全等于Y，我会用if语句检查它会说假。好吧，我可以做的那部分。但是当我尝试制作else语句时，问题出现了。我似乎没有得到这一部分，我试图在互联网上搜索，但我似乎没有得到它。所以如果你能告诉我if-else语句在Erlang中是如何工作的，我会很高兴的！

谢谢Alexein！

Answer 1

我对Erlang比较陌生，但这种语言并不是按照你描述的方式工作的。 if 构造，但我不相信它经常使用。

相反，您所描述的内容可以使用模式匹配来实现：

b_not(_X, _X) -> false;
b_not(_, _) -> true.

下划线模式匹配表示通配符;模式匹配以下划线开头意味着您不打算在函数中使用该值，但您确实关心匹配本身。

所以第一个模式匹配意味着“我不打算将_X用于任何东西，但两个值必须相同。”

第二种模式匹配意味着“这些是一次性值，可以是任何东西。”

许多函数都使用多个参数模式定义，Erlang决定哪些模式与调用匹配。

在这种情况下，如果相同的值被传递两次，无论是整数，原子，列表还是任何其他类型，第一个模式将匹配并返回false。否则，匹配第二个模式。

这只能起作用，因为模式是按此顺序定义的;如果他们被撤销，任何论据都会导致真实。

插图：

16> foo:b_not(3, 3).
false
17> foo:b_not(3, 4).
true
19> foo:b_not(3, 3.0).
true
20> foo:b_not(match, match).
false
21> foo:b_not(match, nomatch).
true
22> foo:b_not([1, 2], [1, 2]).
false
23> foo:b_not([1, 2], [1, 2, 3]).
true

Answer 2

这就是=/=运营商所做的事情！

b_not(X, Y) -> X =/= Y.

我能理解你对if陈述的困惑。您应该真正阅读手册中的if和guards，因为if 不像许多其他语言一样。这是在Erlang中实现它的一种方式（但是＆＃34;如果是真的那么真实＆＃34;是一种反模式，所以不要做到这一点）：

if
  X =/= Y -> true;
  X =:= Y -> false
end

请注意，当其中一个警卫（箭头左侧）评估为true原子时，if语句将评估该箭头后面的表达式。没有else条款，但您可以通过将true放在箭头前来自己创建一个：

if
  X =/= Y -> true;
  true -> false
end

这不是非常直观，特别是对于来自其他语言背景的人来说，我认为这是模式匹配通常优于if表达式的原因之一。

为了完整起见，请阅读case expression。它用于在函数体内进行模式匹配：

case X of
  Y -> false;   % X equals Y
  _ -> true     % Everything else, i.e., X is not Y
end

Erlang if else声明

2 个答案: