怎么写“a == b？ X：Y“在Erlang？

说明

三元运算符的原因_？ _：_存在于许多语言中的原因是它们有两个语法类：语句和表达式.由于if-then-else结构通常属于语句类,因此在输入表达式时无法使其工作.因此你添加_？ _：_运算符到表达式类.

正如另一篇文章所述,你可以采取== b？ true：false并且只写一个== b,但这并不能解释我们可能有== b的一般情况？ X：Y表示任意表达式X和Y.另请注意,在Erlang中a == b始终为false,因此您可以认为真正要做的是用false替换整个表达式.

幸运的是,与大多数函数式语言一样,Erlang只有一个语法类,表达式.因此,您可以使用案例a == b of X – > …; Y – > …在函数的任何位置结束,包括其他表达式.换句话说,三元_？ _：_运算符在Erlang中是多余的,因为案例已经有效.

一个例子：

假设我们要返回一个简单的proplist,我们需要做一些计算

f() ->
    case a == b of
          true -> 
           [{a, 3},
            {b, <<"YE">>},
            {c, 7}];
          false ->
           [{a, 3},
            {b, <<"YE">>},
            {c, "HELLO!!!"}];
    end.

但由于案例构建是一个表达式,我们可以将其内联：

f() ->
    [{a, 3},
     {b, <<"YE">>},
     {c, case a == b of
          true -> 7;
          false -> "HELLO!!!"
         end}].

并完成了这件事.

为什么我不提倡使用IF

Erlang中的if .. end结构通常不是你想要的.在这种情况下,您希望仔细检查值a == b,它可以产生两个输出之一为true或false.在这种情况下,case-expression更直接.如果你必须检查多个不同的测试并选择第一个匹配,那么if会被更好地使用,而我们在这里只需要进行一次测试.