0

我试图做一个方法来检查两个原子的值，如果它们彼此等价，它会说它是假的，反之，如果它们不等价，它就会是真的。

我的代码如下所示：

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

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

谢谢阿列克谢！

4

2 回答 2

8

我对 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
于 2012-09-12T13:06:15.453 回答
8

运营商就是=/=这样做的！

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

if我能理解你对陈述的困惑。您应该真正阅读手册中的if和守卫，因为if 它不像许多其他语言那样工作。这是在 Erlang 中实现它的一种方法（但“如果为真，则为真”是一种反模式，所以不要完全这样做）：

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

请注意，当其中一个守卫（箭头左侧）计算为true原子时，该if语句将计算为该箭头后面的表达式。没有else子句，但您可以自己发明一个，true在箭头前加上：

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

这不是很直观，尤其是对于来自其他语言背景的人来说，我想这是模式匹配通常比if表达式更受欢迎的原因之一。

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

case X of
  Y -> false;   % X equals Y
  _ -> true     % Everything else, i.e., X is not Y
end
于 2012-09-12T14:29:08.843 回答