Erlang 编程/guards

Erlang Guards

Guard 结构

Erlang 中合法的 guards 是布尔函数，放置在关键字 “when” 之后，箭头 “->” 之前。 Guards 可能会出现在函数定义的一部分或 “receive”、'if'、“case” 和 “try/catch” 表达式中。

我们可以在函数定义中使用 guard
示例程序：guardian.erl

-module(guardian).
-compile(export_all).
   
the_answer_is(N) when N =:= 42 -> true;
the_answer_is(N) -> false.
   
% ============================================= >% 
%
% Example output:
%
% c(guardian).
% ok
%
% guardian:the_answer_is(42).
% true
%
% guardian:the_answer_is(21).
% false

和 Fun 定义

 F = fun
   (N) when N =:= 42 -> true;
   (N) -> false
 end.

receive 表达式

 receive
   {answer, N} when N =:= 42 -> true;
   {answer, N} -> false
 end.

if 表达式

 if 
   N =:= 42 -> true;
   true -> false
 end.

case 表达式

 case L of
   {answer, N} when N =:= 42 -> true;
   _ -> false
 end.

和 try/catch

 try find(L) of
    {answer, N} when N =:= 42 -> true;
    _ -> false
 catch
    {notanumber, R} when is_list(R) -> alist;
    {notanumber, R} when is_float(R) -> afloat
    _ -> noidea
 end.

你会注意到，在这些示例中，删除 guard 并修改模式匹配（而不是使用 guard）会更清晰（在实际代码中）。

文学编程说明：以下划线开头（例如 “_”）的匿名匹配变量通常不推荐使用。相反，使用一些描述性的变量名（例如 “_AnyNode”）会比较好。另一方面，对于像这样的教程代码来说，描述性变量比有帮助更让人分心。

 case L of
   {node, N} when N =:= 42 -> true;
   _AnyNode -> false
 end.

多个 guards

可以在同一个函数定义或表达式中使用多个 guards。当使用多个 guards 时，分号 “; ” 表示布尔 “或”，而逗号 “,” 表示布尔 “与”。

the_answer_is(N) when N == 42, is_integer(N) -> true;
geq_1_or_leq_2(N) when N >= 1; N =< 2 -> true;

Guard 函数

在 guard 中可以使用一些内置函数（BIF）。基本上，我们只能用 is_type(A) 检查类型，用 type_size() 或 length(L) 检查列表的长度。

is_alive/0                     
is_boolean/1                    
is_builtin/3                    
is_constant/1                   
is_float/1                      
is_function/2      is_function(Z, Arity)               
is_function/1                  
is_integer/1                    
is_list/1                       
is_number/1                     
is_pid/1                        
is_port/1                      
is_record/3                    
is_record/2                     
is_reference/1                 
is_tuple/1      

tuple_size/1
is_binary/1
is_bitstring/1
bit_size/1
byte_size/1        
length(Z) > N 
map_size(M)

A > B
A < B
A == B
A =< B
A >= B
A /= B
A =:= B     exactly equal
A =/= B     exactly not equal

注意：所有 erlang 数据类型都有自然的排序。

atom < reference < port < pid < tuple < list ...