erlang - 我可以在Erlang成立自己的卫队吗？

Question

我在网上遇到了以下代码:

is_char(Ch) ->         
    if Ch < 0 -> false;  
       Ch > 255 -> false;
       true -> true      
    end.

is_string(Str) ->            
    case is_list(Str) of           
    false -> false;           
    true -> lists:all(is_char, Str)
    end.

它是我一直梦dream以求的Guard，因为它检查输入是否为字符串-但是，为什么我不允许在erlang中使用它，为什么呢？周围有工作吗？

我希望能够编写如下内容:

Fun(Str) when is_string(Str) -> Str;
Fun(Int) when is_integer(Int) -> io:format("~w", [Int]).

甚至更好地在邮件上使用它。

Answer 1

不允许在防护中使用用户定义的功能。这是因为保护程序中的函数必须没有副作用(例如，在函数中使用io:format)。在 guard 中，您仅限于以下情况:

用于类型测试的BIF(is_atom，is_constant，is_float，is_integer，is_list，is_number，is_pid，is_port，is_reference，is_tuple，is_binary，is_function，is_record li)

bool 运算符(not，and，or，andalso，orelse，,，;)，

关系运算符(>，>=，<，=<，=:=，==，=/=，/=)，

算术运算符(+，-，*，div，rem)，

按位运算符(band，bor，bxor，bnot，bsl，bsr)，

其他无副作用的BIF(abs/1，element/2，hd/1，length/1，node/1,2，round/1，size/1，tl/1，trunc/1，self/0)