case Expression of Pattern1 [when Guard1] -> Expr_seq1; Pattern2 [when Guard2] -> Expr_seq2; … end
if
Guard1 -> ...;
Guard2 -> ...;
...;
end.
Erlang 编程指南 第三章程顺序编程里有这么一个例子
%%test1(X) ->
%% if
%% X > -> greater;
%% X < -> smaller;
%% true -> equal
%% end.
如果把 true 改成通配符行不行?
%%test1(X) ->
%% if
%% X > -> greater;
%% X < -> smaller;
%% _ -> equal
%% end.
这将得到一个unbound 错误
如果换成case怎么实现?
test1(X) ->
case X of
X > -> greater;
X < -> smaller;
_ -> equal
end.
这样会爆 illegal pattern 的错误 X > 1 不是一个能被模式匹配的终值
应该这样
test1() -> equal;
test1(X) ->
case (X - ) div abs(X - ) of
-> greater;
- -> smaller
end.
这说明,if后面是每个 Guard(保护元表达式) 计算一值 然后匹配 true or false. 而case 是计算一次,然后从上往下匹配的, 每个pattern 只能是个确定值。